aboutsummaryrefslogtreecommitdiff
path: root/src/algebra/strap/ABELSG.lsp
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)