diff options
Diffstat (limited to 'src/algebra/strap')
-rw-r--r-- | src/algebra/strap/ABELGRP.lsp | 13 | ||||
-rw-r--r-- | src/algebra/strap/DFLOAT.lsp | 19 | ||||
-rw-r--r-- | src/algebra/strap/INT.lsp | 27 | ||||
-rw-r--r-- | src/algebra/strap/SINT.lsp | 30 |
4 files changed, 53 insertions, 36 deletions
diff --git a/src/algebra/strap/ABELGRP.lsp b/src/algebra/strap/ABELGRP.lsp index 467559ce..cd7922b8 100644 --- a/src/algebra/strap/ABELGRP.lsp +++ b/src/algebra/strap/ABELGRP.lsp @@ -4,14 +4,15 @@ (DEFPARAMETER |AbelianGroup;AL| 'NIL) (DEFUN |AbelianGroup;| () - (PROG (#0=#:G1399) + (PROG (#0=#:G1400) (RETURN (PROG1 (LETT #0# - (|Join| (|CancellationAbelianMonoid|) - (|mkCategory| '|domain| - '(((- ($ $)) T) ((- ($ $ $)) T) - ((* ($ (|Integer|) $)) T)) - NIL '((|Integer|)) NIL)) + (|sublisV| (PAIR '(#1=#:G1399) (LIST '(|Integer|))) + (|Join| (|CancellationAbelianMonoid|) + (|LeftLinearSet| '#1#) + (|mkCategory| '|domain| + '(((- ($ $)) T) ((- ($ $ $)) T)) NIL + 'NIL NIL))) |AbelianGroup|) (|setShellEntry| #0# 0 '(|AbelianGroup|)))))) diff --git a/src/algebra/strap/DFLOAT.lsp b/src/algebra/strap/DFLOAT.lsp index 58577fe4..582076db 100644 --- a/src/algebra/strap/DFLOAT.lsp +++ b/src/algebra/strap/DFLOAT.lsp @@ -1031,7 +1031,7 @@ (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)) (CONS '#(|FloatingPointSystem&| |RealNumberSystem&| |Field&| |EuclideanDomain&| NIL |UniqueFactorizationDomain&| |GcdDomain&| @@ -1039,9 +1039,10 @@ |Algebra&| |DifferentialRing&| NIL |OrderedRing&| |Module&| NIL NIL |Module&| NIL NIL |Ring&| NIL NIL NIL NIL NIL NIL NIL - |AbelianGroup&| NIL NIL NIL |AbelianMonoid&| - |Monoid&| NIL |OrderedSet&| - |AbelianSemiGroup&| |SemiGroup&| + |AbelianGroup&| NIL NIL NIL NIL NIL + |AbelianMonoid&| |Monoid&| NIL |OrderedSet&| + NIL NIL NIL NIL |AbelianSemiGroup&| + |SemiGroup&| NIL |TranscendentalFunctionCategory&| |RetractableTo&| |RetractableTo&| NIL |SetCategory&| NIL @@ -1072,9 +1073,15 @@ (|OrderedAbelianMonoid|) (|CancellationAbelianMonoid|) (|OrderedAbelianSemiGroup|) + (|LinearSet| 112) (|LinearSet| $$) (|AbelianMonoid|) (|Monoid|) (|PatternMatchable| 109) (|OrderedSet|) + (|LeftLinearSet| 112) + (|RightLinearSet| 112) + (|LeftLinearSet| $$) + (|RightLinearSet| $$) (|AbelianSemiGroup|) (|SemiGroup|) + (|LeftLinearSet| 26) (|TranscendentalFunctionCategory|) (|RetractableTo| 112) (|RetractableTo| 26) (|RealConstant|) @@ -1150,8 +1157,8 @@ 20 1 0 0 0 105 1 0 0 0 1 2 0 0 0 113 1 2 0 0 0 0 107 2 0 19 0 0 1 2 0 19 0 0 1 2 0 19 0 0 62 2 0 19 0 0 1 2 0 19 - 0 0 54 2 0 0 0 26 63 2 0 0 0 0 45 1 0 - 0 0 55 2 0 0 0 0 57 2 0 0 0 0 56 2 0 + 0 0 54 2 0 0 0 26 63 2 0 0 0 0 45 2 0 + 0 0 0 57 1 0 0 0 55 2 0 0 0 0 56 2 0 0 0 0 67 2 0 0 0 112 149 2 0 0 0 26 66 2 0 0 0 113 1 2 0 0 0 24 1 2 0 0 112 0 1 2 0 0 0 112 1 2 0 0 0 0 58 2 diff --git a/src/algebra/strap/INT.lsp b/src/algebra/strap/INT.lsp index 2d9d4f7a..038285e5 100644 --- a/src/algebra/strap/INT.lsp +++ b/src/algebra/strap/INT.lsp @@ -623,17 +623,19 @@ (|unitsKnown| . 0)) (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)) (CONS '#(|IntegerNumberSystem&| |EuclideanDomain&| |UniqueFactorizationDomain&| NIL NIL |GcdDomain&| |IntegralDomain&| |Algebra&| NIL NIL |DifferentialRing&| |OrderedRing&| NIL NIL |Module&| NIL |Ring&| NIL NIL NIL NIL NIL - |AbelianGroup&| NIL NIL NIL |AbelianMonoid&| - |Monoid&| NIL NIL |OrderedSet&| - |AbelianSemiGroup&| |SemiGroup&| NIL - |RetractableTo&| |SetCategory&| NIL NIL NIL - NIL NIL NIL NIL NIL NIL NIL |BasicType&| NIL) + |AbelianGroup&| NIL NIL NIL NIL + |AbelianMonoid&| |Monoid&| NIL NIL + |OrderedSet&| NIL NIL |AbelianSemiGroup&| + |SemiGroup&| NIL NIL |RetractableTo&| + |SetCategory&| NIL NIL NIL NIL NIL NIL NIL NIL + NIL NIL |BasicType&| NIL) (CONS '#((|IntegerNumberSystem|) (|EuclideanDomain|) (|UniqueFactorizationDomain|) @@ -653,10 +655,13 @@ (|OrderedAbelianMonoid|) (|CancellationAbelianMonoid|) (|OrderedAbelianSemiGroup|) - (|AbelianMonoid|) (|Monoid|) - (|StepThrough|) (|PatternMatchable| 17) - (|OrderedSet|) (|AbelianSemiGroup|) - (|SemiGroup|) (|RealConstant|) + (|LinearSet| $$) (|AbelianMonoid|) + (|Monoid|) (|StepThrough|) + (|PatternMatchable| 17) (|OrderedSet|) + (|LeftLinearSet| $$) + (|RightLinearSet| $$) + (|AbelianSemiGroup|) (|SemiGroup|) + (|LeftLinearSet| 17) (|RealConstant|) (|RetractableTo| 17) (|SetCategory|) (|OpenMath|) (|ConvertibleTo| 14) (|ConvertibleTo| 55) @@ -713,7 +718,7 @@ 0 9 27 2 0 11 12 0 28 1 0 14 0 26 1 0 0 0 1 2 0 0 0 7 1 2 0 9 0 0 1 2 0 9 0 0 1 2 0 9 0 0 33 2 0 9 0 0 1 2 0 9 0 - 0 10 2 0 0 0 0 39 1 0 0 0 16 2 0 0 0 + 0 10 1 0 0 0 16 2 0 0 0 0 39 2 0 0 0 0 37 2 0 0 0 7 81 2 0 0 0 137 1 2 0 0 0 0 52 2 0 0 17 0 80 2 0 0 7 0 1 2 0 0 137 0 1))))) diff --git a/src/algebra/strap/SINT.lsp b/src/algebra/strap/SINT.lsp index b3ec9c35..cf309a77 100644 --- a/src/algebra/strap/SINT.lsp +++ b/src/algebra/strap/SINT.lsp @@ -599,19 +599,19 @@ (|leftUnitary| . 0) (|unitsKnown| . 0)) (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)) (CONS '#(|IntegerNumberSystem&| |EuclideanDomain&| |UniqueFactorizationDomain&| NIL NIL |GcdDomain&| |IntegralDomain&| |Algebra&| NIL NIL |DifferentialRing&| |OrderedRing&| NIL NIL |Module&| NIL |Ring&| NIL NIL NIL NIL NIL - |AbelianGroup&| NIL NIL NIL NIL + |AbelianGroup&| NIL NIL NIL NIL NIL |AbelianMonoid&| |Monoid&| NIL NIL NIL - |OrderedSet&| |AbelianSemiGroup&| |SemiGroup&| - |Logic&| NIL |RetractableTo&| |SetCategory&| - NIL NIL NIL NIL NIL NIL NIL NIL NIL - |BasicType&| NIL) + |OrderedSet&| NIL NIL |AbelianSemiGroup&| + |SemiGroup&| NIL |Logic&| NIL |RetractableTo&| + |SetCategory&| NIL NIL NIL NIL NIL NIL NIL NIL + NIL |BasicType&| NIL) (CONS '#((|IntegerNumberSystem|) (|EuclideanDomain|) (|UniqueFactorizationDomain|) @@ -632,12 +632,16 @@ (|CancellationAbelianMonoid|) (|OrderedFinite|) (|OrderedAbelianSemiGroup|) - (|AbelianMonoid|) (|Monoid|) (|Finite|) - (|StepThrough|) (|PatternMatchable| 5) - (|OrderedSet|) (|AbelianSemiGroup|) - (|SemiGroup|) (|Logic|) (|RealConstant|) - (|RetractableTo| 5) (|SetCategory|) - (|OpenMath|) (|ConvertibleTo| 98) + (|LinearSet| $$) (|AbelianMonoid|) + (|Monoid|) (|Finite|) (|StepThrough|) + (|PatternMatchable| 5) (|OrderedSet|) + (|LeftLinearSet| $$) + (|RightLinearSet| $$) + (|AbelianSemiGroup|) (|SemiGroup|) + (|LeftLinearSet| 5) (|Logic|) + (|RealConstant|) (|RetractableTo| 5) + (|SetCategory|) (|OpenMath|) + (|ConvertibleTo| 98) (|ConvertibleTo| 96) (|CombinatorialFunctionCategory|) (|ConvertibleTo| 100) |