aboutsummaryrefslogtreecommitdiff
path: root/src/algebra/strap/RING.lsp
diff options
context:
space:
mode:
Diffstat (limited to 'src/algebra/strap/RING.lsp')
-rw-r--r--src/algebra/strap/RING.lsp22
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)