blob: 7e50c7f2ae60d18598a74854a9e345d89d365bfd (
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=#:G1372
(|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)
|
