code.lsp

(DEFPARAMETER |AbelianGroup;AL| NIL) 

(DEFUN |AbelianGroup;| ()
  (LET ((#1=#:G543
         (|sublisV| (|pairList| '(#2=#:G542) '((|Integer|)))
                    (|Join| (|CancellationAbelianMonoid|)
                            (|LeftLinearSet| '#2#)
                            (|mkCategory| '|domain|
                                          '(((- ($ $)) T) ((- ($ $ $)) T)) NIL
                                          'NIL NIL)))))
    (PROGN (SETF (|shellEntry| #1# 0) '(|AbelianGroup|)) #1#))) 

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

(SETF (|dbConstructorDefault| (|constructorDB| '|AbelianGroup|))
        '|AbelianGroup&|) 

(SETF (|dbConstructorForm| (|constructorDB| '|AbelianGroup|)) '(|AbelianGroup|)) 

(SETF (|dbConstructorKind| (|constructorDB| '|AbelianGroup|)) '|category|) 

(SETF (|dbConstructorModemap| (|constructorDB| '|AbelianGroup|))
        '(((|AbelianGroup|) (|Category|)) (T |AbelianGroup|))) 

(SETF (|dbDualSignature| (|constructorDB| '|AbelianGroup|)) '(T)) 

(SETF (|dbCategory| (|constructorDB| '|AbelianGroup|))
        '(|Join| (|CancellationAbelianMonoid|) (|LeftLinearSet| (|Integer|))
                 (CATEGORY |domain| (SIGNATURE - ($ $)) (SIGNATURE - ($ $ $))))) 

(SETF (|dbSourceFile| (|constructorDB| '|AbelianGroup|)) '"catdef.spad") 

(SETF (|dbModemaps| (|constructorDB| '|AbelianGroup|))
        '((- (*1 *1 *1) (|ofCategory| *1 (|AbelianGroup|)))
          (- (*1 *1 *1 *1) (|ofCategory| *1 (|AbelianGroup|))))) 

(SETF (|dbOperations| (|constructorDB| '|AbelianGroup|))
        '((~= (#1=((|Boolean|) $ $) 7 T ELT))
          (|zero?| ((#2=(|Boolean|) $) 22 T ELT))
          (|subtractIfCan| (((|Maybe| $) $ $) 26 T ELT))
          (|sample| (#3=($) 23 T CONST)) (|opposite?| ((#2# $ $) 20 T ELT))
          (|latex| (((|String|) $) 11 T ELT))
          (|hash| (((|SingleInteger|) $) 12 T ELT))
          (|coerce| (((|OutputForm|) $) 13 T ELT)) (|before?| (#1# 6 T ELT))
          (|Zero| (#3# 24 T CONST)) (= (#1# 8 T ELT))
          (- (($ $) 30 T ELT) (($ $ $) 29 T ELT)) (+ (($ $ $) 18 T ELT))
          (* (($ (|PositiveInteger|) $) 17 T ELT)
             (($ (|NonNegativeInteger|) $) 21 T ELT)
             (($ (|Integer|) $) 31 T ELT)))) 

(SETF (|dbAbbreviation| (|constructorDB| '|AbelianGroup|)) 'ABELGRP) 

(SETF (|dbPrincipals| (|constructorDB| '|AbelianGroup|))
        '(((|CancellationAbelianMonoid|) . T)
          ((|LeftLinearSet| (|Integer|)) . T))) 

(SETF (|dbAncestors| (|constructorDB| '|AbelianGroup|))
        '(((|AbelianMonoid|) . T) ((|AbelianSemiGroup|) . T)
          ((|BasicType|) . T) ((|CancellationAbelianMonoid|) . T)
          ((|CoercibleTo| (|OutputForm|)) . T)
          ((|LeftLinearSet| (|Integer|)) . T) ((|SetCategory|) . T)
          ((|Type|) . T)))