aboutsummaryrefslogtreecommitdiff
path: root/src/algebra/strap/INT.lsp
diff options
context:
space:
mode:
Diffstat (limited to 'src/algebra/strap/INT.lsp')
-rw-r--r--src/algebra/strap/INT.lsp13
1 files changed, 7 insertions, 6 deletions
diff --git a/src/algebra/strap/INT.lsp b/src/algebra/strap/INT.lsp
index 2bd30e1b..c489ab5c 100644
--- a/src/algebra/strap/INT.lsp
+++ b/src/algebra/strap/INT.lsp
@@ -612,16 +612,16 @@
(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))
(CONS '#(|IntegerNumberSystem&| |EuclideanDomain&|
|UniqueFactorizationDomain&| NIL NIL
|GcdDomain&| |IntegralDomain&| |Algebra&| NIL
NIL |OrderedRing&| NIL NIL |Module&| NIL NIL
|Ring&| NIL NIL NIL NIL NIL NIL
|AbelianGroup&| NIL NIL NIL NIL
- |AbelianMonoid&| |Monoid&| NIL NIL
- |OrderedSet&| NIL NIL |AbelianSemiGroup&|
- |SemiGroup&| NIL |DifferentialSpace&|
+ |AbelianMonoid&| |Monoid&| NIL NIL NIL NIL NIL
+ |AbelianSemiGroup&| |SemiGroup&| NIL
+ |DifferentialSpace&| |OrderedType&|
|SetCategory&| NIL |RetractableTo&|
|DifferentialDomain&| |BasicType&| NIL NIL NIL
NIL NIL NIL NIL NIL NIL NIL NIL NIL)
@@ -653,8 +653,9 @@
(|RightLinearSet| $$)
(|AbelianSemiGroup|) (|SemiGroup|)
(|LeftLinearSet| 17)
- (|DifferentialSpace|) (|SetCategory|)
- (|RealConstant|) (|RetractableTo| 17)
+ (|DifferentialSpace|) (|OrderedType|)
+ (|SetCategory|) (|RealConstant|)
+ (|RetractableTo| 17)
(|DifferentialDomain| $$) (|BasicType|)
(|OpenMath|) (|ConvertibleTo| 14)
(|ConvertibleTo| 55)