diff options
Diffstat (limited to 'src/algebra/strap/RING.lsp')
-rw-r--r-- | src/algebra/strap/RING.lsp | 22 |
1 files changed, 0 insertions, 22 deletions
diff --git a/src/algebra/strap/RING.lsp b/src/algebra/strap/RING.lsp deleted file mode 100644 index 5632415b..00000000 --- a/src/algebra/strap/RING.lsp +++ /dev/null @@ -1,22 +0,0 @@ - -(/VERSIONCHECK 2) - -(DEFPARAMETER |Ring;AL| 'NIL) - -(DEFUN |Ring;| () - (LET ((#0=#:G1373 - (|sublisV| (PAIR '(#1=#:G1372) '((|Integer|))) - (|Join| (|Rng|) (|Monoid|) (|LeftModule| '$) - (|CoercibleFrom| '#1#) - (|mkCategory| '|package| - '(((|characteristic| - ((|NonNegativeInteger|)) |constant|) - T)) - '((|unitsKnown| T)) - '((|NonNegativeInteger|)) NIL))))) - (SETF (|shellEntry| #0# 0) '(|Ring|)) - #0#)) - -(DEFUN |Ring| () (COND (|Ring;AL|) (T (SETQ |Ring;AL| (|Ring;|))))) - -(MAKEPROP '|Ring| 'NILADIC T) |