aboutsummaryrefslogtreecommitdiff
path: root/src/algebra/strap
diff options
context:
space:
mode:
authordos-reis <gdr@axiomatics.org>2010-10-27 19:36:50 +0000
committerdos-reis <gdr@axiomatics.org>2010-10-27 19:36:50 +0000
commitcc748e363c46f17de6eee6e2fdf99fff3c340346 (patch)
tree6d9e1b4b74d901da754ec4e2c51155de0457c87c /src/algebra/strap
parent977f775f6a923edd1eb52b7b1c3a3d963e62049d (diff)
downloadopen-axiom-cc748e363c46f17de6eee6e2fdf99fff3c340346.tar.gz
* interp/c-util.boot (makeCommonEnvironment): Use list node pointer
comparaison, not object comparaison.
Diffstat (limited to 'src/algebra/strap')
-rw-r--r--src/algebra/strap/BOOLEAN.lsp2
-rw-r--r--src/algebra/strap/SINT.lsp11
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|)