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 | |
| parent | 5da51971d3bd899bb327021730a528de9107329d (diff) | |
| download | open-axiom-2bbc83eac50582a5ffab2860f4279aac28f9c429.tar.gz | |
* algebra/dpolcat.spad.pamphlet (DifferentialVariableCategory):
Extend DifferentialSpace.
Diffstat (limited to 'src/algebra')
| -rw-r--r-- | src/algebra/Makefile.in | 1 | ||||
| -rw-r--r-- | src/algebra/Makefile.pamphlet | 1 | ||||
| -rw-r--r-- | src/algebra/dpolcat.spad.pamphlet | 8 |
3 files changed, 3 insertions, 7 deletions
diff --git a/src/algebra/Makefile.in b/src/algebra/Makefile.in index a520dce5..28826e1b 100644 --- a/src/algebra/Makefile.in +++ b/src/algebra/Makefile.in @@ -493,6 +493,7 @@ axiom_algebra_layer_4_objects = \ $(addsuffix .$(FASLEXT),$(axiom_algebra_layer_4))) $(OUT)/KERNEL.$(FASLEXT): $(OUT)/KERNEL2.$(FASLEXT) +$(OUT)/DVARCAT.$(FASLEXT): $(OUT)/DIFFSPC.$(FASLEXT) axiom_algebra_layer_5 = \ CHARNZ DVARCAT DVARCAT- ELEMFUN \ diff --git a/src/algebra/Makefile.pamphlet b/src/algebra/Makefile.pamphlet index 128ce269..0019edc1 100644 --- a/src/algebra/Makefile.pamphlet +++ b/src/algebra/Makefile.pamphlet @@ -472,6 +472,7 @@ axiom_algebra_layer_4_objects = \ <<layer5>>= $(OUT)/KERNEL.$(FASLEXT): $(OUT)/KERNEL2.$(FASLEXT) +$(OUT)/DVARCAT.$(FASLEXT): $(OUT)/DIFFSPC.$(FASLEXT) axiom_algebra_layer_5 = \ CHARNZ DVARCAT DVARCAT- ELEMFUN \ 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) |