diff options
Diffstat (limited to 'src/algebra/strap/DIFRING-.lsp')
-rw-r--r-- | src/algebra/strap/DIFRING-.lsp | 33 |
1 files changed, 14 insertions, 19 deletions
diff --git a/src/algebra/strap/DIFRING-.lsp b/src/algebra/strap/DIFRING-.lsp index 02ec25d9..a10aba70 100644 --- a/src/algebra/strap/DIFRING-.lsp +++ b/src/algebra/strap/DIFRING-.lsp @@ -1,36 +1,31 @@ (/VERSIONCHECK 2) -(DECLAIM (FTYPE (FUNCTION (|%Thing| |%Shell|) |%Thing|) - |DIFRING-;D;2S;1|)) - (DECLAIM (FTYPE (FUNCTION (|%Thing| (|%IntegerSection| 0) |%Shell|) |%Thing|) - |DIFRING-;differentiate;SNniS;2|)) + |DIFRING-;differentiate;SNniS;1|)) (DECLAIM (FTYPE (FUNCTION (|%Thing| (|%IntegerSection| 0) |%Shell|) |%Thing|) - |DIFRING-;D;SNniS;3|)) - -(DEFUN |DIFRING-;D;2S;1| (|r| $) (SPADCALL |r| (|getShellEntry| $ 7))) + |DIFRING-;D;SNniS;2|)) -(DEFUN |DIFRING-;differentiate;SNniS;2| (|r| |n| $) +(DEFUN |DIFRING-;differentiate;SNniS;1| (|r| |n| $) (PROG (|i|) (RETURN - (SEQ (SEQ (LETT |i| 1 |DIFRING-;differentiate;SNniS;2|) G190 + (SEQ (SEQ (LETT |i| 1 |DIFRING-;differentiate;SNniS;1|) G190 (COND ((QSGREATERP |i| |n|) (GO G191))) (SEQ (EXIT (LETT |r| (SPADCALL |r| (|getShellEntry| $ 7)) - |DIFRING-;differentiate;SNniS;2|))) + |DIFRING-;differentiate;SNniS;1|))) (SETQ |i| (QSADD1 |i|)) (GO G190) G191 (EXIT NIL)) (EXIT |r|))))) -(DEFUN |DIFRING-;D;SNniS;3| (|r| |n| $) - (SPADCALL |r| |n| (|getShellEntry| $ 11))) +(DEFUN |DIFRING-;D;SNniS;2| (|r| |n| $) + (SPADCALL |r| |n| (|getShellEntry| $ 10))) (DEFUN |DifferentialRing&| (|#1|) (LET* ((|dv$1| (|devaluate| |#1|)) - (|dv$| (LIST '|DifferentialRing&| |dv$1|)) ($ (|newShell| 13)) + (|dv$| (LIST '|DifferentialRing&| |dv$1|)) ($ (|newShell| 12)) (|pv$| (|buildPredVector| 0 0 NIL))) (|setShellEntry| $ 0 |dv$|) (|setShellEntry| $ 3 |pv$|) @@ -40,14 +35,14 @@ (MAKEPROP '|DifferentialRing&| '|infovec| (LIST '#(NIL NIL NIL NIL NIL NIL (|local| |#1|) - (0 . |differentiate|) |DIFRING-;D;2S;1| - (|NonNegativeInteger|) |DIFRING-;differentiate;SNniS;2| - (5 . |differentiate|) |DIFRING-;D;SNniS;3|) + (0 . |differentiate|) (|NonNegativeInteger|) + |DIFRING-;differentiate;SNniS;1| (5 . |differentiate|) + |DIFRING-;D;SNniS;2|) '#(|differentiate| 11 D 17) 'NIL (CONS (|makeByteWordVec2| 1 'NIL) (CONS '#() (CONS '#() - (|makeByteWordVec2| 12 - '(1 6 0 0 7 2 6 0 0 9 11 2 0 0 0 9 10 2 - 0 0 0 9 12 1 0 0 0 8))))) + (|makeByteWordVec2| 11 + '(1 6 0 0 7 2 6 0 0 8 10 2 0 0 0 8 9 2 + 0 0 0 8 11))))) '|lookupComplete|)) |