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.lsp9
1 files changed, 1 insertions, 8 deletions
diff --git a/src/algebra/strap/DIFRING.lsp b/src/algebra/strap/DIFRING.lsp
index 8777af26..b0e48f64 100644
--- a/src/algebra/strap/DIFRING.lsp
+++ b/src/algebra/strap/DIFRING.lsp
@@ -4,14 +4,7 @@
(DEFPARAMETER |DifferentialRing;AL| 'NIL)
(DEFUN |DifferentialRing;| ()
- (LET ((#0=#:G1397
- (|Join| (|Ring|) (|DifferentialDomain| '$)
- (|mkCategory| '|domain|
- '(((|differentiate|
- ($ $ (|NonNegativeInteger|)))
- T)
- ((D ($ $ (|NonNegativeInteger|))) T))
- NIL '((|NonNegativeInteger|)) NIL))))
+ (LET ((#0=#:G1397 (|Join| (|Ring|) (|DifferentialSpace|))))
(|setShellEntry| #0# 0 '(|DifferentialRing|))
#0#))