diff options
Diffstat (limited to 'src/algebra/strap')
| -rw-r--r-- | src/algebra/strap/BOOLEAN.lsp | 2 | ||||
| -rw-r--r-- | src/algebra/strap/SINT.lsp | 11 |
2 files changed, 7 insertions, 6 deletions
diff --git a/src/algebra/strap/BOOLEAN.lsp b/src/algebra/strap/BOOLEAN.lsp index 370802b3..f23f32a4 100644 --- a/src/algebra/strap/BOOLEAN.lsp +++ b/src/algebra/strap/BOOLEAN.lsp @@ -197,7 +197,7 @@ 172 < 178 |/\\| 184) 'NIL (CONS (|makeByteWordVec2| 1 '(0 0 0 0 0 0 0 0 0 0 0 0)) - (CONS '#(NIL NIL NIL NIL NIL |SetCategory&| + (CONS '#(NIL NIL NIL NIL |BooleanLogic&| |SetCategory&| |OrderedType&| |Logic&| |BasicType&| NIL NIL NIL) (CONS '#((|OrderedFinite|) (|OrderedSet|) diff --git a/src/algebra/strap/SINT.lsp b/src/algebra/strap/SINT.lsp index e6b37647..cfb59ef4 100644 --- a/src/algebra/strap/SINT.lsp +++ b/src/algebra/strap/SINT.lsp @@ -627,11 +627,12 @@ |Ring&| NIL NIL NIL NIL NIL NIL |AbelianGroup&| NIL NIL NIL NIL NIL |AbelianMonoid&| |Monoid&| NIL NIL NIL NIL NIL - NIL |AbelianSemiGroup&| |SemiGroup&| NIL NIL - |DifferentialSpace&| |OrderedType&| - |SetCategory&| |Logic&| NIL |RetractableTo&| - |DifferentialDomain&| |BasicType&| NIL NIL NIL - NIL NIL NIL NIL NIL NIL NIL NIL) + NIL |AbelianSemiGroup&| |SemiGroup&| NIL + |BooleanLogic&| |DifferentialSpace&| + |OrderedType&| |SetCategory&| |Logic&| NIL + |RetractableTo&| |DifferentialDomain&| + |BasicType&| NIL NIL NIL NIL NIL NIL NIL NIL + NIL NIL NIL) (CONS '#((|IntegerNumberSystem|) (|EuclideanDomain|) (|UniqueFactorizationDomain|) |