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/strap/DFLOAT.lsp | |
| parent | 2bbc83eac50582a5ffab2860f4279aac28f9c429 (diff) | |
| download | open-axiom-1ed74da03b758f49e7aa31dc1ac8a8a0860467ab.tar.gz | |
* algebra/catdef.spad.pamphlet (DifferentialRing): Now extends
DifferentialSpace.
Diffstat (limited to 'src/algebra/strap/DFLOAT.lsp')
| -rw-r--r-- | src/algebra/strap/DFLOAT.lsp | 18 |
1 files changed, 9 insertions, 9 deletions
diff --git a/src/algebra/strap/DFLOAT.lsp b/src/algebra/strap/DFLOAT.lsp index 4cb323b5..33acb279 100644 --- a/src/algebra/strap/DFLOAT.lsp +++ b/src/algebra/strap/DFLOAT.lsp @@ -1004,18 +1004,17 @@ (CONS (|makeByteWordVec2| 1 '(0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 - 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0)) + 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0)) (CONS '#(|FloatingPointSystem&| |RealNumberSystem&| |Field&| |EuclideanDomain&| NIL |UniqueFactorizationDomain&| |GcdDomain&| |DivisionRing&| |IntegralDomain&| |Algebra&| - |Algebra&| |DifferentialRing&| NIL - |OrderedRing&| |Module&| NIL NIL |Module&| NIL - NIL |Ring&| NIL NIL NIL NIL NIL NIL NIL - |AbelianGroup&| NIL NIL NIL NIL NIL - |AbelianMonoid&| |Monoid&| NIL |OrderedSet&| - NIL NIL NIL NIL |AbelianSemiGroup&| - |SemiGroup&| NIL + |Algebra&| NIL NIL |OrderedRing&| |Module&| + NIL NIL |Module&| NIL NIL |Ring&| NIL NIL NIL + NIL NIL NIL NIL |AbelianGroup&| NIL NIL NIL + NIL NIL |AbelianMonoid&| |Monoid&| + |DifferentialSpace&| NIL |OrderedSet&| NIL NIL + NIL NIL |AbelianSemiGroup&| |SemiGroup&| NIL |TranscendentalFunctionCategory&| |DifferentialDomain&| |RetractableTo&| |RetractableTo&| NIL |SetCategory&| NIL @@ -1048,6 +1047,7 @@ (|OrderedAbelianSemiGroup|) (|LinearSet| 114) (|LinearSet| $$) (|AbelianMonoid|) (|Monoid|) + (|DifferentialSpace|) (|PatternMatchable| 111) (|OrderedSet|) (|LeftLinearSet| 114) (|RightLinearSet| 114) @@ -1129,7 +1129,7 @@ 0 0 83 1 0 0 0 92 1 0 0 0 80 1 0 0 0 119 0 0 0 23 0 0 0 43 2 0 11 9 0 21 3 0 11 9 0 19 22 1 0 8 0 18 2 0 8 0 19 - 20 1 0 0 0 107 1 0 0 0 1 2 0 0 0 115 + 20 1 0 0 0 107 2 0 0 0 115 1 1 0 0 0 1 2 0 0 0 0 109 2 0 19 0 0 56 2 0 19 0 0 54 2 0 19 0 0 64 2 0 19 0 0 55 2 0 19 0 0 53 2 0 0 0 26 65 2 0 0 0 0 |