diff options
Diffstat (limited to 'src/algebra/strap/RING.lsp')
| -rw-r--r-- | src/algebra/strap/RING.lsp | 30 |
1 files changed, 13 insertions, 17 deletions
diff --git a/src/algebra/strap/RING.lsp b/src/algebra/strap/RING.lsp index c2acbb0c..3eb33dcf 100644 --- a/src/algebra/strap/RING.lsp +++ b/src/algebra/strap/RING.lsp @@ -4,23 +4,19 @@ (DEFPARAMETER |Ring;AL| 'NIL) (DEFUN |Ring;| () - (PROG (#0=#:G1397) - (RETURN - (PROG1 (LETT #0# - (|sublisV| (PAIR '(#1=#:G1396) (LIST '(|Integer|))) - (|Join| (|Rng|) (|Monoid|) (|LeftModule| '$) - (|CoercibleFrom| '#1#) - (|mkCategory| '|package| - '(((|characteristic| - ((|NonNegativeInteger|)) - |constant|) - T)) - '((|unitsKnown| T)) - '((|NonNegativeInteger|)) NIL))) - |Ring|) - (|setShellEntry| #0# 0 '(|Ring|)))))) + (LET ((#0=#:G1397 + (|sublisV| (PAIR '(#1=#:G1396) (LIST '(|Integer|))) + (|Join| (|Rng|) (|Monoid|) (|LeftModule| '$) + (|CoercibleFrom| '#1#) + (|mkCategory| '|package| + '(((|characteristic| + ((|NonNegativeInteger|)) |constant|) + T)) + '((|unitsKnown| T)) + '((|NonNegativeInteger|)) NIL))))) + (|setShellEntry| #0# 0 '(|Ring|)) + #0#)) -(DEFUN |Ring| () - (LET () (COND (|Ring;AL|) (T (SETQ |Ring;AL| (|Ring;|)))))) +(DEFUN |Ring| () (COND (|Ring;AL|) (T (SETQ |Ring;AL| (|Ring;|))))) (MAKEPROP '|Ring| 'NILADIC T) |