diff options
| author | dos-reis <gdr@axiomatics.org> | 2010-06-16 15:22:19 +0000 |
|---|---|---|
| committer | dos-reis <gdr@axiomatics.org> | 2010-06-16 15:22:19 +0000 |
| commit | 1ed74da03b758f49e7aa31dc1ac8a8a0860467ab (patch) | |
| tree | 485553e2050c3a86e17019c443656d27e903a3c9 /src/algebra/catdef.spad.pamphlet | |
| parent | 2bbc83eac50582a5ffab2860f4279aac28f9c429 (diff) | |
| download | open-axiom-1ed74da03b758f49e7aa31dc1ac8a8a0860467ab.tar.gz | |
* algebra/catdef.spad.pamphlet (DifferentialRing): Now extends
DifferentialSpace.
Diffstat (limited to 'src/algebra/catdef.spad.pamphlet')
| -rw-r--r-- | src/algebra/catdef.spad.pamphlet | 11 |
1 files changed, 1 insertions, 10 deletions
diff --git a/src/algebra/catdef.spad.pamphlet b/src/algebra/catdef.spad.pamphlet index 815e4d43..ddd378dc 100644 --- a/src/algebra/catdef.spad.pamphlet +++ b/src/algebra/catdef.spad.pamphlet @@ -428,16 +428,7 @@ DifferentialSpace(): Category == DifferentialDomain % with ++ \spad{differentiate(x+y) = differentiate(x)+differentiate(y)} ++ \spad{differentiate(x*y) = x*differentiate(y) + differentiate(x)*y} -DifferentialRing(): Category == Join(Ring,DifferentialDomain %) with - differentiate: (%, NonNegativeInteger) -> % - ++ differentiate(x, n) returns the n-th derivative of x. - D: (%, NonNegativeInteger) -> % - ++ D(x, n) returns the n-th derivative of x. - add - differentiate(r, n) == - for i in 1..n repeat r := differentiate r - r - D(r,n) == differentiate(r,n) +DifferentialRing(): Category == Join(Ring,DifferentialSpace) @ |