diff options
Diffstat (limited to 'src/algebra/strap/ABELMON.lsp')
| -rw-r--r-- | src/algebra/strap/ABELMON.lsp | 14 |
1 files changed, 7 insertions, 7 deletions
diff --git a/src/algebra/strap/ABELMON.lsp b/src/algebra/strap/ABELMON.lsp index e13a5932..f0eaa266 100644 --- a/src/algebra/strap/ABELMON.lsp +++ b/src/algebra/strap/ABELMON.lsp @@ -3,14 +3,8 @@ (DEFPARAMETER |AbelianMonoid;AL| 'NIL) -(DEFUN |AbelianMonoid| () - (LET (#:G1397) - (COND - (|AbelianMonoid;AL|) - (T (SETQ |AbelianMonoid;AL| (|AbelianMonoid;|)))))) - (DEFUN |AbelianMonoid;| () - (PROG (#0=#:G1395) + (PROG (#0=#:G1398) (RETURN (PROG1 (LETT #0# (|Join| (|AbelianSemiGroup|) @@ -25,6 +19,12 @@ |AbelianMonoid|) (SETELT #0# 0 '(|AbelianMonoid|)))))) +(DEFUN |AbelianMonoid| () + (LET () + (COND + (|AbelianMonoid;AL|) + (T (SETQ |AbelianMonoid;AL| (|AbelianMonoid;|)))))) + (SETQ |$CategoryFrame| (|put| '|AbelianMonoid| '|isCategory| T (|addModemap| '|AbelianMonoid| '(|AbelianMonoid|) |