aboutsummaryrefslogtreecommitdiff
path: root/src/algebra/strap/ABELMON.lsp
diff options
context:
space:
mode:
Diffstat (limited to 'src/algebra/strap/ABELMON.lsp')
-rw-r--r--src/algebra/strap/ABELMON.lsp23
1 files changed, 0 insertions, 23 deletions
diff --git a/src/algebra/strap/ABELMON.lsp b/src/algebra/strap/ABELMON.lsp
deleted file mode 100644
index 6d804db3..00000000
--- a/src/algebra/strap/ABELMON.lsp
+++ /dev/null
@@ -1,23 +0,0 @@
-
-(/VERSIONCHECK 2)
-
-(DEFPARAMETER |AbelianMonoid;AL| 'NIL)
-
-(DEFUN |AbelianMonoid;| ()
- (LET ((#0=#:G1373
- (|Join| (|AbelianSemiGroup|)
- (|mkCategory| '|domain|
- '(((|Zero| ($) |constant|) T)
- ((|sample| ($) |constant|) T)
- ((|zero?| ((|Boolean|) $)) T)
- ((* ($ (|NonNegativeInteger|) $)) T))
- NIL '((|NonNegativeInteger|) (|Boolean|)) NIL))))
- (SETF (|shellEntry| #0# 0) '(|AbelianMonoid|))
- #0#))
-
-(DEFUN |AbelianMonoid| ()
- (COND
- (|AbelianMonoid;AL|)
- (T (SETQ |AbelianMonoid;AL| (|AbelianMonoid;|)))))
-
-(MAKEPROP '|AbelianMonoid| 'NILADIC T)