
(/VERSIONCHECK 2) 

(DEFPARAMETER |Group;AL| 'NIL) 

(DEFUN |Group| ()
  (LET (#:G1818) (COND (|Group;AL|) (T (SETQ |Group;AL| (|Group;|)))))) 

(DEFUN |Group;| ()
  (PROG (#0=#:G1816)
    (RETURN
      (PROG1 (LETT #0#
                   (|Join| (|Monoid|) (|unitsKnown|)
                           (|mkCategory| '|domain|
                               '(((|inv| ($ $)) T) ((/ ($ $ $)) T)
                                 ((** ($ $ (|Integer|))) T)
                                 ((^ ($ $ (|Integer|))) T)
                                 ((|conjugate| ($ $ $)) T)
                                 ((|commutator| ($ $ $)) T))
                               NIL '((|Integer|)) NIL))
                   |Group|)
        (SETELT #0# 0 '(|Group|)))))) 

(MAKEPROP '|Group| 'NILADIC T) 
