aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authordos-reis <gdr@axiomatics.org>2010-06-17 06:44:19 +0000
committerdos-reis <gdr@axiomatics.org>2010-06-17 06:44:19 +0000
commit10470f0842cd1881d10778985b272f7c07aae524 (patch)
tree52dfb04cddbef21f9f02d0f2224843a6cc8a3655
parent17259d6a532d10a2e38815f6cc394d35d7f31bd9 (diff)
downloadopen-axiom-10470f0842cd1881d10778985b272f7c07aae524.tar.gz
* algebra/strap/DIFRING-.lsp: Remove.
-rw-r--r--src/ChangeLog4
-rw-r--r--src/algebra/strap/DIFRING-.lsp48
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|))