From 10470f0842cd1881d10778985b272f7c07aae524 Mon Sep 17 00:00:00 2001 From: dos-reis Date: Thu, 17 Jun 2010 06:44:19 +0000 Subject: * algebra/strap/DIFRING-.lsp: Remove. --- src/ChangeLog | 4 ++++ src/algebra/strap/DIFRING-.lsp | 48 ------------------------------------------ 2 files changed, 4 insertions(+), 48 deletions(-) delete mode 100644 src/algebra/strap/DIFRING-.lsp diff --git a/src/ChangeLog b/src/ChangeLog index 713731fb..e7aee0b7 100644 --- a/src/ChangeLog +++ b/src/ChangeLog @@ -1,3 +1,7 @@ +2010-06-17 Gabriel Dos Reis + + * algebra/strap/DIFRING-.lsp: Remove. + 2010-06-17 Gabriel Dos Reis * algebra/catdef.spad.pamphlet (PartialDifferentialSpace): New. 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|)) -- cgit v1.2.3