1 files changed, 46 insertions, 0 deletions
diff --git a/src/algebra/strap/DIFRING-.lsp b/src/algebra/strap/DIFRING-.lsp
new file mode 100644
index 00000000..1fb59bfb
--- /dev/null
+++ b/src/algebra/strap/DIFRING-.lsp
@@ -0,0 +1,46 @@
+
+(/VERSIONCHECK 2) 
+
+(DEFUN |DIFRING-;D;2S;1| (|r| $) (SPADCALL |r| (QREFELT $ 7))) 
+
+(DEFUN |DIFRING-;differentiate;SNniS;2| (|r| |n| $)
+  (PROG (|i|)
+    (RETURN
+      (SEQ (SEQ (LETT |i| 1 |DIFRING-;differentiate;SNniS;2|) G190
+                (COND ((QSGREATERP |i| |n|) (GO G191)))
+                (SEQ (EXIT (LETT |r| (SPADCALL |r| (QREFELT $ 7))
+                                 |DIFRING-;differentiate;SNniS;2|)))
+                (LETT |i| (QSADD1 |i|)
+                      |DIFRING-;differentiate;SNniS;2|)
+                (GO G190) G191 (EXIT NIL))
+           (EXIT |r|))))) 
+
+(DEFUN |DIFRING-;D;SNniS;3| (|r| |n| $)
+  (SPADCALL |r| |n| (QREFELT $ 11))) 
+
+(DEFUN |DifferentialRing&| (|#1|)
+  (PROG (|dv$1| |dv$| $ |pv$|)
+    (RETURN
+      (PROGN
+        (LETT |dv$1| (|devaluate| |#1|) . #0=(|DifferentialRing&|))
+        (LETT |dv$| (LIST '|DifferentialRing&| |dv$1|) . #0#)
+        (LETT $ (GETREFV 13) . #0#)
+        (QSETREFV $ 0 |dv$|)
+        (QSETREFV $ 3 (LETT |pv$| (|buildPredVector| 0 0 NIL) . #0#))
+        (|stuffDomainSlots| $)
+        (QSETREFV $ 6 |#1|)
+        $)))) 
+
+(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|)
+          '#(|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)))))
+          '|lookupComplete|))