diff options
Diffstat (limited to 'src/algebra/strap/PI.lsp')
-rw-r--r-- | src/algebra/strap/PI.lsp | 59 |
1 files changed, 0 insertions, 59 deletions
diff --git a/src/algebra/strap/PI.lsp b/src/algebra/strap/PI.lsp deleted file mode 100644 index 109f6a2a..00000000 --- a/src/algebra/strap/PI.lsp +++ /dev/null @@ -1,59 +0,0 @@ - -(/VERSIONCHECK 2) - -(|noteSubDomainInfo| '|PositiveInteger| '(|NonNegativeInteger|) - '(|%ilt| 0 |#1|)) - -(DEFUN |PositiveInteger| () - (DECLARE (SPECIAL |$ConstructorCache|)) - (LET ((#0=#:G1376 (HGET |$ConstructorCache| '|PositiveInteger|))) - (COND - (#0# (|CDRwithIncrement| (CDAR #0#))) - (T (UNWIND-PROTECT - (PROG1 (CDDAR (HPUT |$ConstructorCache| '|PositiveInteger| - (LIST (CONS NIL - (CONS 1 (|PositiveInteger;|)))))) - (SETQ #0# T)) - (COND - ((NOT #0#) (HREM |$ConstructorCache| '|PositiveInteger|)))))))) - -(DEFUN |PositiveInteger;| () - (DECLARE (SPECIAL |$ConstructorCache|)) - (LET ((|dv$| '(|PositiveInteger|)) ($ (|newShell| 16)) - (|pv$| (|buildPredVector| 0 0 NIL))) - (SETF (|shellEntry| $ 0) |dv$|) - (SETF (|shellEntry| $ 3) |pv$|) - (|haddProp| |$ConstructorCache| '|PositiveInteger| NIL (CONS 1 $)) - (|stuffDomainSlots| $) - $)) - -(MAKEPROP '|PositiveInteger| '|infovec| - (LIST '#(NIL NIL NIL NIL NIL (|NonNegativeInteger|) (0 . |Zero|) - (|Integer|) (4 . |Zero|) (|Boolean|) (8 . >) - (|PositiveInteger|) (|Union| $ '"failed") (|String|) - (|OutputForm|) (|SingleInteger|)) - '#(~= 14 |sample| 20 |recip| 24 |one?| 29 |min| 34 |max| 40 - |latex| 46 |hash| 51 |gcd| 56 |coerce| 62 |before?| 67 - |One| 73 >= 77 > 83 = 89 <= 95 < 101 + 107 ** 113 * 125) - '(((|commutative| "*") . 0)) - (CONS (|makeByteWordVec2| 1 '(0 0 0 0 0 0 0 0 0 0)) - (CONS '#(NIL |Monoid&| NIL |SemiGroup&| - |AbelianSemiGroup&| |SetCategory&| - |OrderedType&| |BasicType&| NIL NIL) - (CONS '#((|OrderedAbelianSemiGroup|) (|Monoid|) - (|OrderedSet|) (|SemiGroup|) - (|AbelianSemiGroup|) (|SetCategory|) - (|OrderedType|) (|BasicType|) (|Type|) - (|CoercibleTo| 14)) - (|makeByteWordVec2| 15 - '(0 5 0 6 0 7 0 8 2 5 9 0 0 10 2 0 9 0 - 0 1 0 0 0 1 1 0 12 0 1 1 0 9 0 1 2 0 - 0 0 0 1 2 0 0 0 0 1 1 0 13 0 1 1 0 15 - 0 1 2 0 0 0 0 1 1 0 14 0 1 2 0 9 0 0 - 1 0 0 0 1 2 0 9 0 0 1 2 0 9 0 0 1 2 0 - 9 0 0 1 2 0 9 0 0 1 2 0 9 0 0 1 2 0 0 - 0 0 1 2 0 0 0 11 1 2 0 0 0 5 1 2 0 0 - 0 0 1 2 0 0 11 0 1))))) - '|lookupComplete|)) - -(MAKEPROP '|PositiveInteger| 'NILADIC T) |