blob: 5a89a18fadc24c0e5fae69b5ca634bf04f49c3e4 (
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))))
(SETF (|shellEntry| #0# 0) '(|AbelianSemiGroup|))
#0#))
(DEFUN |AbelianSemiGroup| ()
(COND
(|AbelianSemiGroup;AL|)
(T (SETQ |AbelianSemiGroup;AL| (|AbelianSemiGroup;|)))))
(MAKEPROP '|AbelianSemiGroup| 'NILADIC T)
|
