diff options
Diffstat (limited to 'src/algebra/strap')
| -rw-r--r-- | src/algebra/strap/DIFRING-.lsp | 48 |
1 files changed, 0 insertions, 48 deletions
diff --git a/src/algebra/strap/DIFRING-.lsp b/src/algebra/strap/DIFRING-.lsp deleted file mode 100644 index a10aba70..00000000 --- a/src/algebra/strap/DIFRING-.lsp +++ /dev/null @@ -1,48 +0,0 @@ - -(/VERSIONCHECK 2) - -(DECLAIM (FTYPE (FUNCTION (|%Thing| (|%IntegerSection| 0) |%Shell|) - |%Thing|) - |DIFRING-;differentiate;SNniS;1|)) - -(DECLAIM (FTYPE (FUNCTION (|%Thing| (|%IntegerSection| 0) |%Shell|) - |%Thing|) - |DIFRING-;D;SNniS;2|)) - -(DEFUN |DIFRING-;differentiate;SNniS;1| (|r| |n| $) - (PROG (|i|) - (RETURN - (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;1|))) - (SETQ |i| (QSADD1 |i|)) (GO G190) G191 (EXIT NIL)) - (EXIT |r|))))) - -(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| 12)) - (|pv$| (|buildPredVector| 0 0 NIL))) - (|setShellEntry| $ 0 |dv$|) - (|setShellEntry| $ 3 |pv$|) - (|stuffDomainSlots| $) - (|setShellEntry| $ 6 |#1|) - $)) - -(MAKEPROP '|DifferentialRing&| '|infovec| - (LIST '#(NIL NIL NIL NIL NIL NIL (|local| |#1|) - (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| 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|)) |