diff options
author | dos-reis <gdr@axiomatics.org> | 2008-08-17 08:59:26 +0000 |
---|---|---|
committer | dos-reis <gdr@axiomatics.org> | 2008-08-17 08:59:26 +0000 |
commit | 5e504b6abaef6cf7e7c58c17e26bec33856b60c0 (patch) | |
tree | fc93b37d696d3c1ca38437a5ad9a815a85fe46b7 /src/algebra/strap/NNI.lsp | |
parent | ffb91646c6f11e84fa886aa5abc2de61ba291cc1 (diff) | |
download | open-axiom-5e504b6abaef6cf7e7c58c17e26bec33856b60c0.tar.gz |
* algebra/Makefile.pamphlet (all-algstrap): New.
* algebra/strap: Update cached Lisp translation.
Diffstat (limited to 'src/algebra/strap/NNI.lsp')
-rw-r--r-- | src/algebra/strap/NNI.lsp | 306 |
1 files changed, 170 insertions, 136 deletions
diff --git a/src/algebra/strap/NNI.lsp b/src/algebra/strap/NNI.lsp index 7952eb34..10211893 100644 --- a/src/algebra/strap/NNI.lsp +++ b/src/algebra/strap/NNI.lsp @@ -1,148 +1,182 @@ -(|/VERSIONCHECK| 2) +(/VERSIONCHECK 2) -(SETQ |$CategoryFrame| - (|put| - #1=(QUOTE |NonNegativeInteger|) - (QUOTE |SuperDomain|) - #2=(QUOTE (|Integer|)) - (|put| - #2# - #3=(QUOTE |SubDomain|) - (CONS - (QUOTE - (|NonNegativeInteger| - COND ((|<| |#1| 0) (QUOTE NIL)) ((QUOTE T) (QUOTE T)))) - (DELASC #1# (|get| #2# #3# |$CategoryFrame|))) - |$CategoryFrame|))) +(SETQ |$CategoryFrame| + (|put| #0='|NonNegativeInteger| '|SuperDomain| #1='(|Integer|) + (|put| #1# '|SubDomain| + (CONS '(|NonNegativeInteger| COND ((< |#1| 0) 'NIL) + ('T 'T)) + (DELASC #0# + (|get| #1# '|SubDomain| + |$CategoryFrame|))) + |$CategoryFrame|))) -(PUT - (QUOTE |NNI;sup;3$;1|) - (QUOTE |SPADreplace|) - (QUOTE MAX)) +(PUT '|NNI;sup;3$;1| '|SPADreplace| 'MAX) -(DEFUN |NNI;sup;3$;1| (|x| |y| |$|) (MAX |x| |y|)) +(DEFUN |NNI;sup;3$;1| (|x| |y| $) (MAX |x| |y|)) -(PUT - (QUOTE |NNI;shift;$I$;2|) - (QUOTE |SPADreplace|) - (QUOTE ASH)) +(PUT '|NNI;shift;$I$;2| '|SPADreplace| 'ASH) -(DEFUN |NNI;shift;$I$;2| (|x| |n| |$|) (ASH |x| |n|)) +(DEFUN |NNI;shift;$I$;2| (|x| |n| $) (ASH |x| |n|)) -(DEFUN |NNI;subtractIfCan;2$U;3| (|x| |y| |$|) - (PROG (|c|) - (RETURN - (SEQ - (LETT |c| (|-| |x| |y|) |NNI;subtractIfCan;2$U;3|) - (EXIT - (COND - ((|<| |c| 0) (CONS 1 "failed")) - ((QUOTE T) (CONS 0 |c|)))))))) +(DEFUN |NNI;subtractIfCan;2$U;3| (|x| |y| $) + (PROG (|c|) + (RETURN + (SEQ (LETT |c| (- |x| |y|) |NNI;subtractIfCan;2$U;3|) + (EXIT (COND + ((< |c| 0) (CONS 1 "failed")) + ('T (CONS 0 |c|)))))))) -(DEFUN |NonNegativeInteger| NIL - (PROG NIL - (RETURN - (PROG (#1=#:G96708) - (RETURN - (COND - ((LETT #1# - (HGET |$ConstructorCache| (QUOTE |NonNegativeInteger|)) - |NonNegativeInteger|) - (|CDRwithIncrement| (CDAR #1#))) - ((QUOTE T) - (|UNWIND-PROTECT| - (PROG1 - (CDDAR - (HPUT - |$ConstructorCache| - (QUOTE |NonNegativeInteger|) - (LIST (CONS NIL (CONS 1 (|NonNegativeInteger;|)))))) - (LETT #1# T |NonNegativeInteger|)) - (COND - ((NOT #1#) - (HREM - |$ConstructorCache| - (QUOTE |NonNegativeInteger|)))))))))))) +(DEFUN |NonNegativeInteger| () + (PROG () + (RETURN + (PROG (#0=#:G1406) + (RETURN + (COND + ((LETT #0# (HGET |$ConstructorCache| '|NonNegativeInteger|) + |NonNegativeInteger|) + (|CDRwithIncrement| (CDAR #0#))) + ('T + (UNWIND-PROTECT + (PROG1 (CDDAR (HPUT |$ConstructorCache| + '|NonNegativeInteger| + (LIST + (CONS NIL + (CONS 1 (|NonNegativeInteger;|)))))) + (LETT #0# T |NonNegativeInteger|)) + (COND + ((NOT #0#) + (HREM |$ConstructorCache| '|NonNegativeInteger|))))))))))) -(DEFUN |NonNegativeInteger;| NIL - (PROG (|dv$| |$| |pv$|) - (RETURN - (PROGN - (LETT |dv$| (QUOTE (|NonNegativeInteger|)) . #1=(|NonNegativeInteger|)) - (LETT |$| (GETREFV 17) . #1#) - (QSETREFV |$| 0 |dv$|) - (QSETREFV |$| 3 (LETT |pv$| (|buildPredVector| 0 0 NIL) . #1#)) - (|haddProp| - |$ConstructorCache| - (QUOTE |NonNegativeInteger|) - NIL - (CONS 1 |$|)) - (|stuffDomainSlots| |$|) |$|)))) +(DEFUN |NonNegativeInteger;| () + (PROG (|dv$| $ |pv$|) + (RETURN + (PROGN + (LETT |dv$| '(|NonNegativeInteger|) + . #0=(|NonNegativeInteger|)) + (LETT $ (|newShell| 17) . #0#) + (|setShellEntry| $ 0 |dv$|) + (|setShellEntry| $ 3 + (LETT |pv$| (|buildPredVector| 0 0 NIL) . #0#)) + (|haddProp| |$ConstructorCache| '|NonNegativeInteger| NIL + (CONS 1 $)) + (|stuffDomainSlots| $) + $)))) -(MAKEPROP - (QUOTE |NonNegativeInteger|) - (QUOTE |infovec|) - (LIST - (QUOTE - #(NIL NIL NIL NIL NIL - (|Integer|) - |NNI;sup;3$;1| - |NNI;shift;$I$;2| - (|Union| |$| (QUOTE "failed")) - |NNI;subtractIfCan;2$U;3| - (|Record| (|:| |quotient| |$|) (|:| |remainder| |$|)) - (|PositiveInteger|) - (|Boolean|) - (|NonNegativeInteger|) - (|SingleInteger|) - (|String|) - (|OutputForm|))) - (QUOTE - #(|~=| 0 |zero?| 6 |sup| 11 |subtractIfCan| 17 |shift| 23 |sample| 29 - |rem| 33 |recip| 39 |random| 44 |quo| 49 |one?| 55 |min| 60 |max| 66 - |latex| 72 |hash| 77 |gcd| 82 |exquo| 88 |divide| 94 |coerce| 100 - |^| 105 |Zero| 117 |One| 121 |>=| 125 |>| 131 |=| 137 |<=| 143 - |<| 149 |+| 155 |**| 161 |*| 173)) - (QUOTE (((|commutative| "*") . 0))) - (CONS - (|makeByteWordVec2| 1 (QUOTE (0 0 0 0 0 0 0 0 0 0 0 0 0))) - (CONS - (QUOTE - #(NIL NIL NIL NIL NIL - |Monoid&| - |AbelianMonoid&| - |OrderedSet&| - |SemiGroup&| - |AbelianSemiGroup&| - |SetCategory&| - |BasicType&| - NIL)) - (CONS - (QUOTE - #((|OrderedAbelianMonoidSup|) - (|OrderedCancellationAbelianMonoid|) - (|OrderedAbelianMonoid|) - (|OrderedAbelianSemiGroup|) - (|CancellationAbelianMonoid|) - (|Monoid|) - (|AbelianMonoid|) - (|OrderedSet|) - (|SemiGroup|) - (|AbelianSemiGroup|) - (|SetCategory|) - (|BasicType|) - (|CoercibleTo| 16))) - (|makeByteWordVec2| 16 - (QUOTE - (2 0 12 0 0 1 1 0 12 0 1 2 0 0 0 0 6 2 0 8 0 0 9 2 0 0 0 5 7 0 0 - 0 1 2 0 0 0 0 1 1 0 8 0 1 1 0 0 0 1 2 0 0 0 0 1 1 0 12 0 1 2 0 - 0 0 0 1 2 0 0 0 0 1 1 0 15 0 1 1 0 14 0 1 2 0 0 0 0 1 2 0 8 0 0 - 1 2 0 10 0 0 1 1 0 16 0 1 2 0 0 0 11 1 2 0 0 0 13 1 0 0 0 1 0 0 - 0 1 2 0 12 0 0 1 2 0 12 0 0 1 2 0 12 0 0 1 2 0 12 0 0 1 2 0 12 - 0 0 1 2 0 0 0 0 1 2 0 0 0 11 1 2 0 0 0 13 1 2 0 0 0 0 1 2 0 0 - 11 0 1 2 0 0 13 0 1)))))) - (QUOTE |lookupComplete|))) +(MAKEPROP '|NonNegativeInteger| '|infovec| + (LIST '#(NIL NIL NIL NIL NIL (|Integer|) |NNI;sup;3$;1| + |NNI;shift;$I$;2| (|Union| $ '"failed") + |NNI;subtractIfCan;2$U;3| + (|Record| (|:| |quotient| $) (|:| |remainder| $)) + (|PositiveInteger|) (|Boolean|) (|NonNegativeInteger|) + (|SingleInteger|) (|String|) (|OutputForm|)) + '#(~= 0 |zero?| 6 |sup| 11 |subtractIfCan| 17 |shift| 23 + |sample| 29 |rem| 33 |recip| 39 |random| 44 |quo| 49 + |one?| 55 |min| 60 |max| 66 |latex| 72 |hash| 77 |gcd| 82 + |exquo| 88 |divide| 94 |coerce| 100 ^ 105 |Zero| 117 |One| + 121 >= 125 > 131 = 137 <= 143 < 149 + 155 ** 161 * 173) + '(((|commutative| "*") . 0)) + (CONS (|makeByteWordVec2| 1 '(0 0 0 0 0 0 0 0 0 0 0 0 0)) + (CONS '#(NIL NIL NIL NIL NIL |Monoid&| |AbelianMonoid&| + |OrderedSet&| |SemiGroup&| |AbelianSemiGroup&| + |SetCategory&| |BasicType&| NIL) + (CONS '#((|OrderedAbelianMonoidSup|) + (|OrderedCancellationAbelianMonoid|) + (|OrderedAbelianMonoid|) + (|CancellationAbelianMonoid|) + (|OrderedAbelianSemiGroup|) (|Monoid|) + (|AbelianMonoid|) (|OrderedSet|) + (|SemiGroup|) (|AbelianSemiGroup|) + (|SetCategory|) (|BasicType|) + (|CoercibleTo| 16)) + (|makeByteWordVec2| 16 + '(2 0 12 0 0 1 1 0 12 0 1 2 0 0 0 0 6 2 + 0 8 0 0 9 2 0 0 0 5 7 0 0 0 1 2 0 0 0 + 0 1 1 0 8 0 1 1 0 0 0 1 2 0 0 0 0 1 1 + 0 12 0 1 2 0 0 0 0 1 2 0 0 0 0 1 1 0 + 15 0 1 1 0 14 0 1 2 0 0 0 0 1 2 0 8 0 + 0 1 2 0 10 0 0 1 1 0 16 0 1 2 0 0 0 + 11 1 2 0 0 0 13 1 0 0 0 1 0 0 0 1 2 0 + 12 0 0 1 2 0 12 0 0 1 2 0 12 0 0 1 2 + 0 12 0 0 1 2 0 12 0 0 1 2 0 0 0 0 1 2 + 0 0 0 11 1 2 0 0 0 13 1 2 0 0 0 0 1 2 + 0 0 13 0 1 2 0 0 11 0 1))))) + '|lookupComplete|)) -(MAKEPROP (QUOTE |NonNegativeInteger|) (QUOTE NILADIC) T) +(SETQ |$CategoryFrame| + (|put| '|NonNegativeInteger| '|isFunctor| + '(((|random| ($ $)) T (ELT $ NIL)) + ((|shift| ($ $ (|Integer|))) T (ELT $ 7)) + ((|exquo| ((|Union| $ "failed") $ $)) T (ELT $ NIL)) + ((|divide| + ((|Record| (|:| |quotient| $) (|:| |remainder| $)) + $ $)) + T (ELT $ NIL)) + ((|gcd| ($ $ $)) T (ELT $ NIL)) + ((|rem| ($ $ $)) T (ELT $ NIL)) + ((|quo| ($ $ $)) T (ELT $ NIL)) + ((* ($ $ $)) T (ELT $ NIL)) + ((** ($ $ (|PositiveInteger|))) T (ELT $ NIL)) + ((^ ($ $ (|PositiveInteger|))) T (ELT $ NIL)) + ((|One| ($)) T (CONST $ NIL)) + ((|one?| ((|Boolean|) $)) T (ELT $ NIL)) + ((** ($ $ (|NonNegativeInteger|))) T (ELT $ NIL)) + ((^ ($ $ (|NonNegativeInteger|))) T (ELT $ NIL)) + ((|recip| ((|Union| $ "failed") $)) T (ELT $ NIL)) + ((|sup| ($ $ $)) T (ELT $ 6)) + ((|subtractIfCan| ((|Union| $ "failed") $ $)) T + (ELT $ 9)) + ((|Zero| ($)) T (CONST $ NIL)) + ((|sample| ($)) T (CONST $ NIL)) + ((|zero?| ((|Boolean|) $)) T (ELT $ NIL)) + ((* ($ (|NonNegativeInteger|) $)) T (ELT $ NIL)) + ((+ ($ $ $)) T (ELT $ NIL)) + ((* ($ (|PositiveInteger|) $)) T (ELT $ NIL)) + ((|min| ($ $ $)) T (ELT $ NIL)) + ((|max| ($ $ $)) T (ELT $ NIL)) + ((<= ((|Boolean|) $ $)) T (ELT $ NIL)) + ((>= ((|Boolean|) $ $)) T (ELT $ NIL)) + ((> ((|Boolean|) $ $)) T (ELT $ NIL)) + ((< ((|Boolean|) $ $)) T (ELT $ NIL)) + ((|latex| ((|String|) $)) T (ELT $ NIL)) + ((|hash| ((|SingleInteger|) $)) T (ELT $ NIL)) + ((|coerce| ((|OutputForm|) $)) T (ELT $ NIL)) + ((= ((|Boolean|) $ $)) T (ELT $ NIL)) + ((~= ((|Boolean|) $ $)) T (ELT $ NIL))) + (|addModemap| '|NonNegativeInteger| + '(|NonNegativeInteger|) + '((|Join| (|OrderedAbelianMonoidSup|) (|Monoid|) + (CATEGORY |domain| (SIGNATURE |quo| ($ $ $)) + (SIGNATURE |rem| ($ $ $)) + (SIGNATURE |gcd| ($ $ $)) + (SIGNATURE |divide| + ((|Record| (|:| |quotient| $) + (|:| |remainder| $)) + $ $)) + (SIGNATURE |exquo| + ((|Union| $ "failed") $ $)) + (SIGNATURE |shift| ($ $ (|Integer|))) + (SIGNATURE |random| ($ $)) + (ATTRIBUTE (|commutative| "*"))))) + T '|NonNegativeInteger| + (|put| '|NonNegativeInteger| '|mode| + '(|Mapping| + (|Join| (|OrderedAbelianMonoidSup|) + (|Monoid|) + (CATEGORY |domain| + (SIGNATURE |quo| ($ $ $)) + (SIGNATURE |rem| ($ $ $)) + (SIGNATURE |gcd| ($ $ $)) + (SIGNATURE |divide| + ((|Record| (|:| |quotient| $) + (|:| |remainder| $)) + $ $)) + (SIGNATURE |exquo| + ((|Union| $ "failed") $ $)) + (SIGNATURE |shift| + ($ $ (|Integer|))) + (SIGNATURE |random| ($ $)) + (ATTRIBUTE (|commutative| "*"))))) + |$CategoryFrame|)))) +(MAKEPROP '|NonNegativeInteger| 'NILADIC T) |