code.lsp

(DEFPARAMETER |AbelianMonoid;AL| NIL) 

(DEFUN |AbelianMonoid;| ()
  (LET ((#1=#:G541
         (|Join| (|AbelianSemiGroup|)
                 (|mkCategory| '|domain|
                               '(((|Zero| ($) |constant|) T)
                                 ((|sample| ($) |constant|) T)
                                 ((|zero?| ((|Boolean|) $)) T)
                                 ((* ($ (|NonNegativeInteger|) $)) T)
                                 ((|opposite?| ((|Boolean|) $ $)) T))
                               NIL '((|Boolean|) (|NonNegativeInteger|)) NIL))))
    (PROGN (SETF (|shellEntry| #1# 0) '(|AbelianMonoid|)) #1#))) 

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

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

(SETF (|dbConstructorForm| (|constructorDB| '|AbelianMonoid|))
        '(|AbelianMonoid|)) 

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

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

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

(SETF (|dbCategory| (|constructorDB| '|AbelianMonoid|))
        '(|Join| (|AbelianSemiGroup|)
                 (CATEGORY |domain| (SIGNATURE |Zero| ($) |constant|)
                  (SIGNATURE |sample| ($) |constant|)
                  (SIGNATURE |zero?| ((|Boolean|) $))
                  (SIGNATURE * ($ (|NonNegativeInteger|) $))
                  (SIGNATURE |opposite?| ((|Boolean|) $ $))))) 

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

(SETF (|dbModemaps| (|constructorDB| '|AbelianMonoid|))
        '((|Zero| (*1 *1) (|ofCategory| *1 (|AbelianMonoid|)))
          (|sample| (*1 *1) (|ofCategory| *1 (|AbelianMonoid|)))
          (|zero?| (*1 *2 *1)
           (AND (|ofCategory| *1 (|AbelianMonoid|))
                (|isDomain| *2 (|Boolean|))))
          (* (*1 *1 *2 *1)
             (AND (|ofCategory| *1 (|AbelianMonoid|))
                  (|isDomain| *2 (|NonNegativeInteger|))))
          (|opposite?| (*1 *2 *1 *1)
           (AND (|ofCategory| *1 (|AbelianMonoid|))
                (|isDomain| *2 (|Boolean|)))))) 

(SETF (|dbOperations| (|constructorDB| '|AbelianMonoid|))
        '((~= (#1=((|Boolean|) $ $) 7 T ELT))
          (|zero?| (((|Boolean|) $) 22 T ELT)) (|sample| (($) 23 T CONST))
          (|opposite?| (((|Boolean|) $ $) 20 T ELT))
          (|latex| (((|String|) $) 11 T ELT))
          (|hash| (((|SingleInteger|) $) 12 T ELT))
          (|coerce| (((|OutputForm|) $) 13 T ELT)) (|before?| (#1# 6 T ELT))
          (|Zero| (($) 24 T CONST)) (= (#1# 8 T ELT)) (+ (($ $ $) 18 T ELT))
          (* (($ (|PositiveInteger|) $) 17 T ELT)
             (($ (|NonNegativeInteger|) $) 21 T ELT)))) 

(SETF (|dbAbbreviation| (|constructorDB| '|AbelianMonoid|)) 'ABELMON) 

(SETF (|dbPrincipals| (|constructorDB| '|AbelianMonoid|))
        '(((|AbelianSemiGroup|) . T))) 

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