diff options
Diffstat (limited to 'src/algebra/strap/DIVRING.lsp')
| -rw-r--r-- | src/algebra/strap/DIVRING.lsp | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/src/algebra/strap/DIVRING.lsp b/src/algebra/strap/DIVRING.lsp index ca4bf2ab..dbe30695 100644 --- a/src/algebra/strap/DIVRING.lsp +++ b/src/algebra/strap/DIVRING.lsp @@ -19,7 +19,6 @@ (|Join| (|EntireRing|) (|Algebra| '#1#) (|mkCategory| '|domain| '(((** ($ $ (|Integer|))) T) - ((^ ($ $ (|Integer|))) T) ((|inv| ($ $)) T)) NIL '((|Integer|)) NIL))) |DivisionRing|) |