diff options
Diffstat (limited to 'src/algebra/strap/ABELMON.lsp')
-rw-r--r-- | src/algebra/strap/ABELMON.lsp | 23 |
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) |