aboutsummaryrefslogtreecommitdiff
path: root/src/algebra/strap/ABELGRP.lsp
diff options
context:
space:
mode:
Diffstat (limited to 'src/algebra/strap/ABELGRP.lsp')
-rw-r--r--src/algebra/strap/ABELGRP.lsp9
1 files changed, 7 insertions, 2 deletions
diff --git a/src/algebra/strap/ABELGRP.lsp b/src/algebra/strap/ABELGRP.lsp
index f667c2d5..c1c07bac 100644
--- a/src/algebra/strap/ABELGRP.lsp
+++ b/src/algebra/strap/ABELGRP.lsp
@@ -4,13 +4,13 @@
(DEFPARAMETER |AbelianGroup;AL| 'NIL)
(DEFUN |AbelianGroup| ()
- (LET (#:G1388)
+ (LET (#:G1397)
(COND
(|AbelianGroup;AL|)
(T (SETQ |AbelianGroup;AL| (|AbelianGroup;|))))))
(DEFUN |AbelianGroup;| ()
- (PROG (#0=#:G1386)
+ (PROG (#0=#:G1395)
(RETURN
(PROG1 (LETT #0#
(|Join| (|CancellationAbelianMonoid|)
@@ -21,4 +21,9 @@
|AbelianGroup|)
(SETELT #0# 0 '(|AbelianGroup|))))))
+(SETQ |$CategoryFrame|
+ (|put| '|AbelianGroup| '|isCategory| T
+ (|addModemap| '|AbelianGroup| '(|AbelianGroup|)
+ '((|Category|)) T '|AbelianGroup| |$CategoryFrame|)))
+
(MAKEPROP '|AbelianGroup| 'NILADIC T)