aboutsummaryrefslogtreecommitdiff
path: root/src/algebra/strap/CABMON.lsp
diff options
context:
space:
mode:
Diffstat (limited to 'src/algebra/strap/CABMON.lsp')
-rw-r--r--src/algebra/strap/CABMON.lsp22
1 files changed, 0 insertions, 22 deletions
diff --git a/src/algebra/strap/CABMON.lsp b/src/algebra/strap/CABMON.lsp
deleted file mode 100644
index d1719927..00000000
--- a/src/algebra/strap/CABMON.lsp
+++ /dev/null
@@ -1,22 +0,0 @@
-
-(/VERSIONCHECK 2)
-
-(DEFPARAMETER |CancellationAbelianMonoid;AL| 'NIL)
-
-(DEFUN |CancellationAbelianMonoid;| ()
- (LET ((#0=#:G1372
- (|Join| (|AbelianMonoid|)
- (|mkCategory| '|domain|
- '(((|subtractIfCan| ((|Union| $ "failed") $ $))
- T))
- NIL 'NIL NIL))))
- (SETF (|shellEntry| #0# 0) '(|CancellationAbelianMonoid|))
- #0#))
-
-(DEFUN |CancellationAbelianMonoid| ()
- (COND
- (|CancellationAbelianMonoid;AL|)
- (T (SETQ |CancellationAbelianMonoid;AL|
- (|CancellationAbelianMonoid;|)))))
-
-(MAKEPROP '|CancellationAbelianMonoid| 'NILADIC T)