blob: 46363f44c21b7a48d74892de883288c79c21553c (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
|
(/VERSIONCHECK 2)
(DEFPARAMETER |AbelianSemiGroup;AL| 'NIL)
(DEFUN |AbelianSemiGroup;| ()
(LET ((#0=#:G1397
(|Join| (|SetCategory|)
(|mkCategory| '|domain|
'(((+ ($ $ $)) T)
((* ($ (|PositiveInteger|) $)) T))
NIL '((|PositiveInteger|)) NIL))))
(|setShellEntry| #0# 0 '(|AbelianSemiGroup|))
#0#))
(DEFUN |AbelianSemiGroup| ()
(COND
(|AbelianSemiGroup;AL|)
(T (SETQ |AbelianSemiGroup;AL| (|AbelianSemiGroup;|)))))
(MAKEPROP '|AbelianSemiGroup| 'NILADIC T)
|
