diff options
| author | dos-reis <gdr@axiomatics.org> | 2010-06-15 15:37:19 +0000 |
|---|---|---|
| committer | dos-reis <gdr@axiomatics.org> | 2010-06-15 15:37:19 +0000 |
| commit | 2b41f1bdaab0f71eebea39ec388371acd3777d62 (patch) | |
| tree | 91773fcf7fcf5af43cb3aaa5a819ea9800c63ea7 /src/algebra/catdef.spad.pamphlet | |
| parent | 82929c32be58e92dccd449f8a874dc1419980f50 (diff) | |
| download | open-axiom-2b41f1bdaab0f71eebea39ec388371acd3777d62.tar.gz | |
* algebra/catdef.spad.pamphlet (DifferentialSpace): New.
Diffstat (limited to 'src/algebra/catdef.spad.pamphlet')
| -rw-r--r-- | src/algebra/catdef.spad.pamphlet | 25 |
1 files changed, 25 insertions, 0 deletions
diff --git a/src/algebra/catdef.spad.pamphlet b/src/algebra/catdef.spad.pamphlet index 0a1a435b..815e4d43 100644 --- a/src/algebra/catdef.spad.pamphlet +++ b/src/algebra/catdef.spad.pamphlet @@ -383,6 +383,31 @@ DifferentialDomain(T: Type): Category == Type with @ +<<category DIFFSPC DifferentialSpace>>= +)abbrev category DIFFSPC DifferentialSpace +++ Author: Gabriel Dos Reis +++ Date Created: June 13, 2010 +++ Date Last Modified: June 15, 2010 +++ Description: +++ This category is like \spadtype{DifferentialDomain} where the +++ target of the differentiation operator is the same as its source. +DifferentialSpace(): Category == DifferentialDomain % with + differentiate: (%, NonNegativeInteger) -> % + ++ \spad{differentiate(x,n)} returns the \spad{n}-th + ++ derivative of \spad{x}. + D: (%, NonNegativeInteger) -> % + ++ \spad{D(x, n)} returns the \spad{n}-th derivative of \spad{x}. + add + differentiate(r, n) == + for i in 1..n repeat r := differentiate r + r + D(r,n) == + differentiate(r,n) + +@ + + + \section{category DIFRING DifferentialRing} <<category DIFRING DifferentialRing>>= )abbrev category DIFRING DifferentialRing |