diff options
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) |