code.lsp

(DECLAIM
 (FTYPE (FUNCTION (|%Thing| |%Shell|) |%Boolean|) |ABELMON-;zero?;$B;1|)) 

(DECLAIM
 (FTYPE (FUNCTION ((|%IntegerSection| 1) |%Thing| |%Shell|) |%Thing|)
  |ABELMON-;*;Pi2$;2|)) 

(DECLAIM (FTYPE (FUNCTION (|%Shell|) |%Thing|) |ABELMON-;sample;$;3|)) 

(DECLAIM
 (FTYPE (FUNCTION ((|%IntegerSection| 0) |%Thing| |%Shell|) |%Thing|)
  |ABELMON-;*;Nni2$;4|)) 

(DECLAIM
 (FTYPE (FUNCTION (|%Thing| |%Thing| |%Shell|) |%Boolean|)
  |ABELMON-;opposite?;2$B;5|)) 

(DEFUN |ABELMON-;zero?;$B;1| (|x| $)
  (SPADCALL |x| (|spadConstant| $ 7) (|shellEntry| $ 9))) 

(DEFUN |ABELMON-;*;Pi2$;2| (|n| |x| $) (SPADCALL |n| |x| (|shellEntry| $ 12))) 

(DEFUN |ABELMON-;sample;$;3| ($) (|spadConstant| $ 7)) 

(DEFUN |ABELMON-;*;Nni2$;4| (|n| |x| $)
  (COND ((ZEROP |n|) (|spadConstant| $ 7))
        (T (SPADCALL |n| |x| (|shellEntry| $ 18))))) 

(DEFUN |ABELMON-;opposite?;2$B;5| (|x| |y| $)
  (SPADCALL (SPADCALL |x| |y| (|shellEntry| $ 20)) (|shellEntry| $ 21))) 

(DEFUN |AbelianMonoid&| (|#1|)
  (LET* ((|dv$1| (|devaluate| |#1|))
         (|dv$| (LIST '|AbelianMonoid&| |dv$1|))
         ($ (|newShell| 23))
         (|pv$| (|buildPredVector| 0 0 NIL)))
    (PROGN
     (SETF (|shellEntry| $ 0) |dv$|)
     (SETF (|shellEntry| $ 3) |pv$|)
     (|stuffDomainSlots| $)
     (SETF (|shellEntry| $ 6) |#1|)
     (COND ((|HasCategory| |#1| '(|Ring|)))
           (T (SETF (|shellEntry| $ 19) (CONS #'|ABELMON-;*;Nni2$;4| $))))
     $))) 

(MAKEPROP '|AbelianMonoid&| '|infovec|
          (LIST
           '#(NIL NIL NIL NIL NIL NIL (|local| |#1|) (0 . |Zero|) (|Boolean|)
              (4 . =) |ABELMON-;zero?;$B;1| (|NonNegativeInteger|) (10 . *)
              (|PositiveInteger|) |ABELMON-;*;Pi2$;2|
              (|%constant| (|ABELMON-;sample;$;3| $)) (16 . |zero?|)
              (|RepeatedDoubling| 6) (21 . |double|) (27 . *) (33 . +)
              (39 . |zero?|) |ABELMON-;opposite?;2$B;5|)
           '#(|zero?| 44 |sample| 49 |opposite?| 53 * 59) 'NIL
           (CONS (|makeByteWordVec2| 1 'NIL)
                 (CONS '#()
                       (CONS '#()
                             (|makeByteWordVec2| 22
                                                 '(0 6 0 7 2 6 8 0 0 9 2 6 0 11
                                                   0 12 1 11 8 0 16 2 17 6 13 6
                                                   18 2 0 0 11 0 19 2 6 0 0 0
                                                   20 1 6 8 0 21 1 0 8 0 10 0 0
                                                   0 15 2 0 8 0 0 22 2 0 0 11 0
                                                   19 2 0 0 13 0 14)))))
           '|lookupComplete|)) 

(SETF (|dbTemplate| (|constructorDB| '|AbelianMonoid&|))
        #(NIL NIL NIL NIL NIL NIL (|local| |#1|) (0 . |Zero|) (|Boolean|)
          (4 . =) |ABELMON-;zero?;$B;1| (|NonNegativeInteger|) (10 . *)
          (|PositiveInteger|) |ABELMON-;*;Pi2$;2|
          (|%constant| (|ABELMON-;sample;$;3| $)) (16 . |zero?|)
          (|RepeatedDoubling| 6) (21 . |double|) (27 . *) (33 . +)
          (39 . |zero?|) |ABELMON-;opposite?;2$B;5|)) 

(SETF (|dbLookupFunction| (|constructorDB| '|AbelianMonoid&|))
        '|lookupComplete|) 

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

(SETF (|dbConstructorKind| (|constructorDB| '|AbelianMonoid&|)) '|package|) 

(SETF (|dbConstructorModemap| (|constructorDB| '|AbelianMonoid&|))
        '(((|AbelianMonoid&| |#1|)
           (CATEGORY |package| (SIGNATURE |opposite?| ((|Boolean|) |#1| |#1|))
            (SIGNATURE * (|#1| (|NonNegativeInteger|) |#1|))
            (SIGNATURE |zero?| ((|Boolean|) |#1|))
            (SIGNATURE |sample| (|#1|) |constant|)
            (SIGNATURE * (|#1| (|PositiveInteger|) |#1|)))
           (|AbelianMonoid|))
          (T |AbelianMonoid&|))) 

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

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

(SETF (|dbOperations| (|constructorDB| '|AbelianMonoid&|))
        '((|zero?| (((|Boolean|) $) 10 T ELT)) (|sample| (($) 15 T CONST))
          (|opposite?| (((|Boolean|) $ $) 22 T ELT))
          (* (($ (|PositiveInteger|) $) 14 T ELT)
             (($ (|NonNegativeInteger|) $) 19 T ELT)))) 

(SETF (|dbOperationTable| (|constructorDB| '|AbelianMonoid&|))
        #(|zero?| 44 |sample| 49 |opposite?| 53 * 59)) 

(SETF (|dbCapsuleDefinitions| (|constructorDB| '|AbelianMonoid&|))
        '((|ABELMON-;opposite?;2$B;5| ((|Boolean|) $ $))
          (|ABELMON-;*;Nni2$;4| ($ (|NonNegativeInteger|) $))
          (|ABELMON-;sample;$;3| ($))
          (|ABELMON-;*;Pi2$;2| ($ (|PositiveInteger|) $))
          (|ABELMON-;zero?;$B;1| ((|Boolean|) $)))) 

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