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