diff options
Diffstat (limited to 'src/algebra/strap/DIFRING.lsp')
| -rw-r--r-- | src/algebra/strap/DIFRING.lsp | 5 |
1 files changed, 2 insertions, 3 deletions
diff --git a/src/algebra/strap/DIFRING.lsp b/src/algebra/strap/DIFRING.lsp index 2d5ab93c..8777af26 100644 --- a/src/algebra/strap/DIFRING.lsp +++ b/src/algebra/strap/DIFRING.lsp @@ -5,10 +5,9 @@ (DEFUN |DifferentialRing;| () (LET ((#0=#:G1397 - (|Join| (|Ring|) + (|Join| (|Ring|) (|DifferentialDomain| '$) (|mkCategory| '|domain| - '(((|differentiate| ($ $)) T) ((D ($ $)) T) - ((|differentiate| + '(((|differentiate| ($ $ (|NonNegativeInteger|))) T) ((D ($ $ (|NonNegativeInteger|))) T)) |