(/VERSIONCHECK 2) (DEFPARAMETER |Ring;AL| 'NIL) (DEFUN |Ring;| () (PROG (#0=#:G1397) (RETURN (PROG1 (LETT #0# (|Join| (|Rng|) (|Monoid|) (|LeftModule| '$) (|mkCategory| '|domain| '(((|characteristic| ((|NonNegativeInteger|))) T) ((|coerce| ($ (|Integer|))) T)) '((|unitsKnown| T)) '((|Integer|) (|NonNegativeInteger|)) NIL)) |Ring|) (|setShellEntry| #0# 0 '(|Ring|)))))) (DEFUN |Ring| () (LET () (COND (|Ring;AL|) (T (SETQ |Ring;AL| (|Ring;|)))))) (MAKEPROP '|Ring| 'NILADIC T)