diff options
| author | dos-reis <gdr@axiomatics.org> | 2010-06-16 03:19:56 +0000 |
|---|---|---|
| committer | dos-reis <gdr@axiomatics.org> | 2010-06-16 03:19:56 +0000 |
| commit | 2bbc83eac50582a5ffab2860f4279aac28f9c429 (patch) | |
| tree | b52e3554cb835b9bdea7b380c054283a0d1b3247 /src/algebra/dpolcat.spad.pamphlet | |
| parent | 5da51971d3bd899bb327021730a528de9107329d (diff) | |
| download | open-axiom-2bbc83eac50582a5ffab2860f4279aac28f9c429.tar.gz | |
* algebra/dpolcat.spad.pamphlet (DifferentialVariableCategory):
Extend DifferentialSpace.
Diffstat (limited to 'src/algebra/dpolcat.spad.pamphlet')
| -rw-r--r-- | src/algebra/dpolcat.spad.pamphlet | 8 |
1 files changed, 1 insertions, 7 deletions
diff --git a/src/algebra/dpolcat.spad.pamphlet b/src/algebra/dpolcat.spad.pamphlet index c5da0b47..1ec8f105 100644 --- a/src/algebra/dpolcat.spad.pamphlet +++ b/src/algebra/dpolcat.spad.pamphlet @@ -69,7 +69,7 @@ ++ all differential polynomials, providing a graded ring ++ structure. DifferentialVariableCategory(S:OrderedSet): Category == - Join(OrderedSet, RetractableTo S) with + Join(OrderedSet, DifferentialSpace, RetractableTo S) with -- Examples: -- v:=makeVariable('s,5) makeVariable : (S, NonNegativeInteger) -> $ @@ -89,12 +89,6 @@ DifferentialVariableCategory(S:OrderedSet): Category == weight : $ -> NonNegativeInteger ++ weight(v) returns the weight of the derivative v. -- Example: weight(v) - differentiate : $ -> $ - ++ differentiate(v) returns the derivative of v. - -- Example: differentiate(v) - differentiate : ($, NonNegativeInteger) -> $ - ++ differentiate(v, n) returns the n-th derivative of v. - -- Example: differentiate(v,2) coerce : S -> $ ++ coerce(s) returns s, viewed as the zero-th order derivative of s. -- Example: coerce('s); differentiate(%,5) |