aboutsummaryrefslogtreecommitdiff
path: root/src/algebra/strap/ABELMON.lsp
blob: cfdd1b16b6ca408f58c8724048b0041049cef614 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
(/VERSIONCHECK 2) 

(DEFPARAMETER |AbelianMonoid;AL| 'NIL) 

(DEFUN |AbelianMonoid;| ()
  (LET ((#0=#:G1398
            (|Join| (|AbelianSemiGroup|)
                    (|mkCategory| '|domain|
                        '(((|Zero| ($) |constant|) T)
                          ((|sample| ($) |constant|) T)
                          ((|zero?| ((|Boolean|) $)) T)
                          ((* ($ (|NonNegativeInteger|) $)) T))
                        NIL '((|NonNegativeInteger|) (|Boolean|)) NIL))))
    (|setShellEntry| #0# 0 '(|AbelianMonoid|))
    #0#)) 

(DEFUN |AbelianMonoid| ()
  (COND
    (|AbelianMonoid;AL|)
    (T (SETQ |AbelianMonoid;AL| (|AbelianMonoid;|))))) 

(MAKEPROP '|AbelianMonoid| 'NILADIC T)