diff options
author | dos-reis <gdr@axiomatics.org> | 2010-10-27 08:36:45 +0000 |
---|---|---|
committer | dos-reis <gdr@axiomatics.org> | 2010-10-27 08:36:45 +0000 |
commit | 88431a10d86db0b69fb67339dcacf088d005482b (patch) | |
tree | 4c513999f071ffe782b50f061b21320936147a88 /src/algebra/strap/SINT.lsp | |
parent | 388a4332860c39a19fedbe2bdc4dbc8b411115e6 (diff) | |
download | open-axiom-88431a10d86db0b69fb67339dcacf088d005482b.tar.gz |
* algebra/boolean.spad.pamphlet (Logic): Now extend Type.
Diffstat (limited to 'src/algebra/strap/SINT.lsp')
-rw-r--r-- | src/algebra/strap/SINT.lsp | 20 |
1 files changed, 11 insertions, 9 deletions
diff --git a/src/algebra/strap/SINT.lsp b/src/algebra/strap/SINT.lsp index 701ae24d..fa11e006 100644 --- a/src/algebra/strap/SINT.lsp +++ b/src/algebra/strap/SINT.lsp @@ -476,7 +476,7 @@ (+ (- |$ShortMaximum| |$ShortMinimum|) 1)) (DEFUN |SINT;index;Pi$;55| (|i| $) - (LET ((#0=#:G1464 (- (+ |i| |$ShortMinimum|) 1))) + (LET ((#0=#:G1439 (- (+ |i| |$ShortMinimum|) 1))) (|check-subtype| (SMINTP #0#) '(|SingleInteger|) #0#))) (DEFUN |SINT;lookup;$Pi;56| (|x| $) @@ -509,7 +509,7 @@ (DEFUN |SingleInteger| () (DECLARE (SPECIAL |$ConstructorCache|)) - (PROG (#0=#:G1499) + (PROG (#0=#:G1474) (RETURN (COND ((SETQ #0# (HGET |$ConstructorCache| '|SingleInteger|)) @@ -628,10 +628,11 @@ |AbelianGroup&| NIL NIL NIL NIL NIL |AbelianMonoid&| |Monoid&| NIL NIL NIL NIL NIL NIL |AbelianSemiGroup&| |SemiGroup&| NIL - |Logic&| |DifferentialSpace&| |OrderedType&| - |SetCategory&| NIL NIL |RetractableTo&| - |DifferentialDomain&| |BasicType&| NIL NIL NIL - NIL NIL NIL NIL NIL NIL NIL NIL) + |DifferentialSpace&| |OrderedType&| + |SetCategory&| |Logic&| NIL NIL + |RetractableTo&| |DifferentialDomain&| + |BasicType&| NIL NIL NIL NIL NIL NIL NIL NIL + NIL NIL NIL) (CONS '#((|IntegerNumberSystem|) (|EuclideanDomain|) (|UniqueFactorizationDomain|) @@ -659,10 +660,11 @@ (|LeftLinearSet| $$) (|RightLinearSet| $$) (|AbelianSemiGroup|) (|SemiGroup|) - (|LeftLinearSet| 5) (|Logic|) + (|LeftLinearSet| 5) (|DifferentialSpace|) (|OrderedType|) - (|SetCategory|) (|BooleanLogic|) - (|RealConstant|) (|RetractableTo| 5) + (|SetCategory|) (|Logic|) + (|BooleanLogic|) (|RealConstant|) + (|RetractableTo| 5) (|DifferentialDomain| $$) (|BasicType|) (|OpenMath|) (|ConvertibleTo| 100) (|ConvertibleTo| 101) |