diff options
Diffstat (limited to 'src/algebra/strap/MONOID-.lsp')
-rw-r--r-- | src/algebra/strap/MONOID-.lsp | 59 |
1 files changed, 24 insertions, 35 deletions
diff --git a/src/algebra/strap/MONOID-.lsp b/src/algebra/strap/MONOID-.lsp index cd87b5fc..399e1f43 100644 --- a/src/algebra/strap/MONOID-.lsp +++ b/src/algebra/strap/MONOID-.lsp @@ -1,24 +1,21 @@ (/VERSIONCHECK 2) -(DEFUN |MONOID-;^;SNniS;1| (|x| |n| $) - (SPADCALL |x| |n| (|getShellEntry| $ 8))) +(DEFUN |MONOID-;one?;SB;1| (|x| $) + (SPADCALL |x| (|spadConstant| $ 7) (|getShellEntry| $ 9))) -(DEFUN |MONOID-;one?;SB;2| (|x| $) - (SPADCALL |x| (|spadConstant| $ 10) (|getShellEntry| $ 12))) +(DEFUN |MONOID-;sample;S;2| ($) (|spadConstant| $ 7)) -(DEFUN |MONOID-;sample;S;3| ($) (|spadConstant| $ 10)) - -(DEFUN |MONOID-;recip;SU;4| (|x| $) +(DEFUN |MONOID-;recip;SU;3| (|x| $) (COND - ((SPADCALL |x| (|spadConstant| $ 10) (|getShellEntry| $ 12)) + ((SPADCALL |x| (|spadConstant| $ 7) (|getShellEntry| $ 9)) (CONS 0 |x|)) ('T (CONS 1 "failed")))) -(DEFUN |MONOID-;**;SNniS;5| (|x| |n| $) +(DEFUN |MONOID-;**;SNniS;4| (|x| |n| $) (COND - ((ZEROP |n|) (|spadConstant| $ 10)) - ('T (SPADCALL |x| |n| (|getShellEntry| $ 19))))) + ((ZEROP |n|) (|spadConstant| $ 7)) + ('T (SPADCALL |x| |n| (|getShellEntry| $ 16))))) (DEFUN |Monoid&| (|#1|) (PROG (|dv$1| |dv$| $ |pv$|) @@ -26,7 +23,7 @@ (PROGN (LETT |dv$1| (|devaluate| |#1|) . #0=(|Monoid&|)) (LETT |dv$| (LIST '|Monoid&| |dv$1|) . #0#) - (LETT $ (|newShell| 21) . #0#) + (LETT $ (|newShell| 19) . #0#) (|setShellEntry| $ 0 |dv$|) (|setShellEntry| $ 3 (LETT |pv$| (|buildPredVector| 0 0 NIL) . #0#)) @@ -35,41 +32,37 @@ $)))) (MAKEPROP '|Monoid&| '|infovec| - (LIST '#(NIL NIL NIL NIL NIL NIL (|local| |#1|) - (|NonNegativeInteger|) (0 . **) |MONOID-;^;SNniS;1| - (6 . |One|) (|Boolean|) (10 . =) |MONOID-;one?;SB;2| - |MONOID-;sample;S;3| (|Union| $ '"failed") - |MONOID-;recip;SU;4| (|PositiveInteger|) - (|RepeatedSquaring| 6) (16 . |expt|) |MONOID-;**;SNniS;5|) - '#(|sample| 22 |recip| 26 |one?| 31 ^ 36 ** 42) 'NIL + (LIST '#(NIL NIL NIL NIL NIL NIL (|local| |#1|) (0 . |One|) + (|Boolean|) (4 . =) |MONOID-;one?;SB;1| + |MONOID-;sample;S;2| (|Union| $ '"failed") + |MONOID-;recip;SU;3| (|PositiveInteger|) + (|RepeatedSquaring| 6) (10 . |expt|) + (|NonNegativeInteger|) |MONOID-;**;SNniS;4|) + '#(|sample| 16 |recip| 20 |one?| 25 ** 30) 'NIL (CONS (|makeByteWordVec2| 1 'NIL) (CONS '#() (CONS '#() - (|makeByteWordVec2| 20 - '(2 6 0 0 7 8 0 6 0 10 2 6 11 0 0 12 2 - 18 6 6 17 19 0 0 0 14 1 0 15 0 16 1 0 - 11 0 13 2 0 0 0 7 9 2 0 0 0 7 20))))) + (|makeByteWordVec2| 18 + '(0 6 0 7 2 6 8 0 0 9 2 15 6 6 14 16 0 + 0 0 11 1 0 12 0 13 1 0 8 0 10 2 0 0 0 + 17 18))))) '|lookupComplete|)) (SETQ |$CategoryFrame| (|put| '|Monoid&| '|isFunctor| - '(((|recip| ((|Union| $ "failed") $)) T (ELT $ 16)) - ((^ ($ $ (|NonNegativeInteger|))) T (ELT $ 9)) - ((** ($ $ (|NonNegativeInteger|))) T (ELT $ 20)) - ((|one?| ((|Boolean|) $)) T (ELT $ 13)) - ((|sample| ($)) T (ELT $ 14)) - ((^ ($ $ (|PositiveInteger|))) T (ELT $ NIL)) + '(((|recip| ((|Union| $ "failed") $)) T (ELT $ 13)) + ((** ($ $ (|NonNegativeInteger|))) T (ELT $ 18)) + ((|one?| ((|Boolean|) $)) T (ELT $ 10)) + ((|sample| ($)) T (ELT $ 11)) ((** ($ $ (|PositiveInteger|))) T (ELT $ NIL))) (|addModemap| '|Monoid&| '(|Monoid&| |#1|) '((CATEGORY |domain| (SIGNATURE |recip| ((|Union| |#1| "failed") |#1|)) - (SIGNATURE ^ (|#1| |#1| (|NonNegativeInteger|))) (SIGNATURE ** (|#1| |#1| (|NonNegativeInteger|))) (SIGNATURE |one?| ((|Boolean|) |#1|)) (SIGNATURE |sample| (|#1|)) - (SIGNATURE ^ (|#1| |#1| (|PositiveInteger|))) (SIGNATURE ** (|#1| |#1| (|PositiveInteger|)))) (|Monoid|)) T '|Monoid&| @@ -78,14 +71,10 @@ (CATEGORY |domain| (SIGNATURE |recip| ((|Union| |#1| "failed") |#1|)) - (SIGNATURE ^ - (|#1| |#1| (|NonNegativeInteger|))) (SIGNATURE ** (|#1| |#1| (|NonNegativeInteger|))) (SIGNATURE |one?| ((|Boolean|) |#1|)) (SIGNATURE |sample| (|#1|)) - (SIGNATURE ^ - (|#1| |#1| (|PositiveInteger|))) (SIGNATURE ** (|#1| |#1| (|PositiveInteger|)))) (|Monoid|)) |