aboutsummaryrefslogtreecommitdiff
path: root/src/algebra/strap
diff options
context:
space:
mode:
Diffstat (limited to 'src/algebra/strap')
-rw-r--r--src/algebra/strap/ABELGRP.lsp13
-rw-r--r--src/algebra/strap/DFLOAT.lsp19
-rw-r--r--src/algebra/strap/INT.lsp27
-rw-r--r--src/algebra/strap/SINT.lsp30
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)
generated by cgit v1.2.3 (git 2.39.1) at 2024-07-06 23:32:28 +0000