code.lsp

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

(DEFUN |ABELSG-;*;Pi2$;1| (|n| |x| $) (SPADCALL |n| |x| (|shellEntry| $ 9))) 

(DEFUN |AbelianSemiGroup&| (|#1|)
  (LET* ((|dv$1| (|devaluate| |#1|))
         (|dv$| (LIST '|AbelianSemiGroup&| |dv$1|))
         ($ (|newShell| 11))
         (|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| $ 10) (CONS #'|ABELSG-;*;Pi2$;1| $))))
     $))) 

(MAKEPROP '|AbelianSemiGroup&| '|infovec|
          (LIST
           '#(NIL NIL NIL NIL NIL NIL (|local| |#1|) (|RepeatedDoubling| 6)
              (|PositiveInteger|) (0 . |double|) (6 . *))
           '#(* 12) 'NIL
           (CONS (|makeByteWordVec2| 1 'NIL)
                 (CONS '#()
                       (CONS '#()
                             (|makeByteWordVec2| 10
                                                 '(2 7 6 8 6 9 2 0 0 8 0 10 2 0
                                                   0 8 0 10)))))
           '|lookupComplete|)) 

(SETF (|dbTemplate| (|constructorDB| '|AbelianSemiGroup&|))
        #(NIL NIL NIL NIL NIL NIL (|local| |#1|) (|RepeatedDoubling| 6)
          (|PositiveInteger|) (0 . |double|) (6 . *))) 

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

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

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

(SETF (|dbConstructorModemap| (|constructorDB| '|AbelianSemiGroup&|))
        '(((|AbelianSemiGroup&| |#1|)
           (CATEGORY |package| (SIGNATURE * (|#1| (|PositiveInteger|) |#1|)))
           (|AbelianSemiGroup|))
          (T |AbelianSemiGroup&|))) 

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

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

(SETF (|dbOperations| (|constructorDB| '|AbelianSemiGroup&|))
        '((* (($ (|PositiveInteger|) $) 10 T ELT)))) 

(SETF (|dbOperationTable| (|constructorDB| '|AbelianSemiGroup&|)) #(* 12)) 

(SETF (|dbCapsuleDefinitions| (|constructorDB| '|AbelianSemiGroup&|))
        '((|ABELSG-;*;Pi2$;1| ($ (|PositiveInteger|) $)))) 

(SETF (|dbAbbreviation| (|constructorDB| '|AbelianSemiGroup&|)) 'ABELSG-)