diff options
| author | dos-reis <gdr@axiomatics.org> | 2010-06-17 06:44:19 +0000 |
|---|---|---|
| committer | dos-reis <gdr@axiomatics.org> | 2010-06-17 06:44:19 +0000 |
| commit | 10470f0842cd1881d10778985b272f7c07aae524 (patch) | |
| tree | 52dfb04cddbef21f9f02d0f2224843a6cc8a3655 /src | |
| parent | 17259d6a532d10a2e38815f6cc394d35d7f31bd9 (diff) | |
| download | open-axiom-10470f0842cd1881d10778985b272f7c07aae524.tar.gz | |
* algebra/strap/DIFRING-.lsp: Remove.
Diffstat (limited to 'src')
| -rw-r--r-- | src/ChangeLog | 4 | ||||
| -rw-r--r-- | src/algebra/strap/DIFRING-.lsp | 48 |
2 files changed, 4 insertions, 48 deletions
diff --git a/src/ChangeLog b/src/ChangeLog index 713731fb..e7aee0b7 100644 --- a/src/ChangeLog +++ b/src/ChangeLog @@ -1,5 +1,9 @@ 2010-06-17 Gabriel Dos Reis <gdr@cs.tamu.edu> + * algebra/strap/DIFRING-.lsp: Remove. + +2010-06-17 Gabriel Dos Reis <gdr@cs.tamu.edu> + * algebra/catdef.spad.pamphlet (PartialDifferentialSpace): New. (PartialDifferentialRing): Now extend PartialDifferentialSpace. 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|)) |