diff options
Diffstat (limited to 'src/algebra/strap/DIVRING.lsp')
-rw-r--r-- | src/algebra/strap/DIVRING.lsp | 13 |
1 files changed, 6 insertions, 7 deletions
diff --git a/src/algebra/strap/DIVRING.lsp b/src/algebra/strap/DIVRING.lsp index 374ffbcf..8b678a03 100644 --- a/src/algebra/strap/DIVRING.lsp +++ b/src/algebra/strap/DIVRING.lsp @@ -5,13 +5,12 @@ (DEFUN |DivisionRing;| () (LET ((#0=#:G1375 - (|sublisV| - (PAIR '(#1=#:G1374) (LIST '(|Fraction| (|Integer|)))) - (|Join| (|EntireRing|) (|Algebra| '#1#) - (|mkCategory| '|domain| - '(((** ($ $ (|Integer|))) T) - ((|inv| ($ $)) T)) - NIL '((|Integer|)) NIL))))) + (|sublisV| (PAIR '(#1=#:G1374) '((|Fraction| (|Integer|)))) + (|Join| (|EntireRing|) (|Algebra| '#1#) + (|mkCategory| '|domain| + '(((** ($ $ (|Integer|))) T) + ((|inv| ($ $)) T)) + NIL '((|Integer|)) NIL))))) (|setShellEntry| #0# 0 '(|DivisionRing|)) #0#)) |