diff options
Diffstat (limited to 'src/algebra/strap/DIVRING-.lsp')
-rw-r--r-- | src/algebra/strap/DIVRING-.lsp | 58 |
1 files changed, 0 insertions, 58 deletions
diff --git a/src/algebra/strap/DIVRING-.lsp b/src/algebra/strap/DIVRING-.lsp deleted file mode 100644 index 8f00ceb9..00000000 --- a/src/algebra/strap/DIVRING-.lsp +++ /dev/null @@ -1,58 +0,0 @@ - -(/VERSIONCHECK 2) - -(DECLAIM (FTYPE (FUNCTION (|%Thing| |%Integer| |%Shell|) |%Thing|) - |DIVRING-;**;SIS;1|)) - -(DECLAIM (FTYPE (FUNCTION (|%Thing| |%Thing| |%Shell|) |%Thing|) - |DIVRING-;*;F2S;2|)) - -(DEFUN |DIVRING-;**;SIS;1| (|x| |n| $) - (COND - ((ZEROP |n|) (|spadConstant| $ 10)) - ((SPADCALL |x| (|shellEntry| $ 11)) - (COND ((MINUSP |n|) (|error| "division by zero")) (T |x|))) - ((MINUSP |n|) - (SPADCALL (SPADCALL |x| (|shellEntry| $ 15)) (- |n|) - (|shellEntry| $ 19))) - (T (SPADCALL |x| |n| (|shellEntry| $ 19))))) - -(DEFUN |DIVRING-;*;F2S;2| (|q| |x| $) - (SPADCALL - (SPADCALL (SPADCALL |q| (|shellEntry| $ 22)) - (SPADCALL - (SPADCALL (SPADCALL |q| (|shellEntry| $ 23)) - (|shellEntry| $ 24)) - (|shellEntry| $ 15)) - (|shellEntry| $ 25)) - |x| (|shellEntry| $ 26))) - -(DEFUN |DivisionRing&| (|#1|) - (LET* ((|dv$1| (|devaluate| |#1|)) - (|dv$| (LIST '|DivisionRing&| |dv$1|)) ($ (|newShell| 29)) - (|pv$| (|buildPredVector| 0 0 NIL))) - (SETF (|shellEntry| $ 0) |dv$|) - (SETF (|shellEntry| $ 3) |pv$|) - (|stuffDomainSlots| $) - (SETF (|shellEntry| $ 6) |#1|) - $)) - -(MAKEPROP '|DivisionRing&| '|infovec| - (LIST '#(NIL NIL NIL NIL NIL NIL (|local| |#1|) (|Boolean|) - (|Integer|) (0 . |zero?|) (5 . |One|) (9 . |zero?|) - (14 . |Zero|) (18 . |Zero|) (22 . <) (28 . |inv|) (33 . -) - (|PositiveInteger|) (|RepeatedSquaring| 6) (38 . |expt|) - |DIVRING-;**;SIS;1| (|Fraction| 8) (44 . |numer|) - (49 . |denom|) (54 . |coerce|) (59 . *) (65 . *) - |DIVRING-;*;F2S;2| (|NonNegativeInteger|)) - '#(** 71 * 77) 'NIL - (CONS (|makeByteWordVec2| 1 'NIL) - (CONS '#() - (CONS '#() - (|makeByteWordVec2| 27 - '(1 8 7 0 9 0 6 0 10 1 6 7 0 11 0 6 0 - 12 0 8 0 13 2 8 7 0 0 14 1 6 0 0 15 1 - 8 0 0 16 2 18 6 6 17 19 1 21 8 0 22 1 - 21 8 0 23 1 6 0 8 24 2 6 0 8 0 25 2 6 - 0 0 0 26 2 0 0 0 8 20 2 0 0 21 0 27))))) - '|lookupComplete|)) |