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