diff options
Diffstat (limited to 'src/algebra/strap/CABMON.lsp')
| -rw-r--r-- | src/algebra/strap/CABMON.lsp | 10 |
1 files changed, 8 insertions, 2 deletions
diff --git a/src/algebra/strap/CABMON.lsp b/src/algebra/strap/CABMON.lsp index d1059b38..0d547bd5 100644 --- a/src/algebra/strap/CABMON.lsp +++ b/src/algebra/strap/CABMON.lsp @@ -4,14 +4,14 @@ (DEFPARAMETER |CancellationAbelianMonoid;AL| 'NIL) (DEFUN |CancellationAbelianMonoid| () - (LET (#:G1387) + (LET (#:G1396) (COND (|CancellationAbelianMonoid;AL|) (T (SETQ |CancellationAbelianMonoid;AL| (|CancellationAbelianMonoid;|)))))) (DEFUN |CancellationAbelianMonoid;| () - (PROG (#0=#:G1385) + (PROG (#0=#:G1394) (RETURN (PROG1 (LETT #0# (|Join| (|AbelianMonoid|) @@ -23,4 +23,10 @@ |CancellationAbelianMonoid|) (SETELT #0# 0 '(|CancellationAbelianMonoid|)))))) +(SETQ |$CategoryFrame| + (|put| '|CancellationAbelianMonoid| '|isCategory| T + (|addModemap| '|CancellationAbelianMonoid| + '(|CancellationAbelianMonoid|) '((|Category|)) T + '|CancellationAbelianMonoid| |$CategoryFrame|))) + (MAKEPROP '|CancellationAbelianMonoid| 'NILADIC T) |