blob: 61670471b1fcb3758c981d4d2e6e3e11d7ec3c9b (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
|
(/VERSIONCHECK 2)
(DEFPARAMETER |AbelianGroup;AL| 'NIL)
(DEFUN |AbelianGroup;| ()
(LET ((#0=#:G1374
(|sublisV| (PAIR '(#1=#:G1373) (LIST '(|Integer|)))
(|Join| (|CancellationAbelianMonoid|)
(|LeftLinearSet| '#1#)
(|mkCategory| '|domain|
'(((- ($ $)) T) ((- ($ $ $)) T)) NIL
'NIL NIL)))))
(|setShellEntry| #0# 0 '(|AbelianGroup|))
#0#))
(DEFUN |AbelianGroup| ()
(COND
(|AbelianGroup;AL|)
(T (SETQ |AbelianGroup;AL| (|AbelianGroup;|)))))
(MAKEPROP '|AbelianGroup| 'NILADIC T)
|
