aboutsummaryrefslogtreecommitdiff
path: root/src/algebra/strap/DIFRING-.lsp
diff options
context:
space:
mode:
Diffstat (limited to 'src/algebra/strap/DIFRING-.lsp')
-rw-r--r--src/algebra/strap/DIFRING-.lsp11
1 files changed, 11 insertions, 0 deletions
diff --git a/src/algebra/strap/DIFRING-.lsp b/src/algebra/strap/DIFRING-.lsp
index 8f7e8ff9..0c2afaf6 100644
--- a/src/algebra/strap/DIFRING-.lsp
+++ b/src/algebra/strap/DIFRING-.lsp
@@ -1,6 +1,17 @@
(/VERSIONCHECK 2)
+(DECLAIM (FTYPE (FUNCTION (|%Thing| |%Shell|) |%Thing|)
+ |DIFRING-;D;2S;1|))
+
+(DECLAIM (FTYPE (FUNCTION (|%Thing| (|%IntegerSection| 0) |%Shell|)
+ |%Thing|)
+ |DIFRING-;differentiate;SNniS;2|))
+
+(DECLAIM (FTYPE (FUNCTION (|%Thing| (|%IntegerSection| 0) |%Shell|)
+ |%Thing|)
+ |DIFRING-;D;SNniS;3|))
+
(DEFUN |DIFRING-;D;2S;1| (|r| $) (SPADCALL |r| (|getShellEntry| $ 7)))
(DEFUN |DIFRING-;differentiate;SNniS;2| (|r| |n| $)