diff options
Diffstat (limited to 'src/algebra/strap/ABELSG.lsp')
| -rw-r--r-- | src/algebra/strap/ABELSG.lsp | 25 |
1 files changed, 11 insertions, 14 deletions
diff --git a/src/algebra/strap/ABELSG.lsp b/src/algebra/strap/ABELSG.lsp index cd0db00c..ace6b216 100644 --- a/src/algebra/strap/ABELSG.lsp +++ b/src/algebra/strap/ABELSG.lsp @@ -4,21 +4,18 @@ (DEFPARAMETER |AbelianSemiGroup;AL| 'NIL) (DEFUN |AbelianSemiGroup;| () - (PROG (#0=#:G1396) - (RETURN - (PROG1 (LETT #0# - (|Join| (|SetCategory|) - (|mkCategory| '|domain| - '(((+ ($ $ $)) T) - ((* ($ (|PositiveInteger|) $)) T)) - NIL '((|PositiveInteger|)) NIL)) - |AbelianSemiGroup|) - (|setShellEntry| #0# 0 '(|AbelianSemiGroup|)))))) + (LET ((#0=#:G1396 + (|Join| (|SetCategory|) + (|mkCategory| '|domain| + '(((+ ($ $ $)) T) + ((* ($ (|PositiveInteger|) $)) T)) + NIL '((|PositiveInteger|)) NIL)))) + (|setShellEntry| #0# 0 '(|AbelianSemiGroup|)) + #0#)) (DEFUN |AbelianSemiGroup| () - (LET () - (COND - (|AbelianSemiGroup;AL|) - (T (SETQ |AbelianSemiGroup;AL| (|AbelianSemiGroup;|)))))) + (COND + (|AbelianSemiGroup;AL|) + (T (SETQ |AbelianSemiGroup;AL| (|AbelianSemiGroup;|))))) (MAKEPROP '|AbelianSemiGroup| 'NILADIC T) |