
(/VERSIONCHECK 2) 

(DEFUN |PSCAT-;*;I2S;1| (|n| |ps| $)
  (COND
    ((ZEROP |n|) (|spadConstant| $ 10))
    ('T
     (SPADCALL (CONS #'|PSCAT-;*;I2S;1!0| (VECTOR $ |n|)) |ps|
         (QREFELT $ 14))))) 

(DEFUN |PSCAT-;*;I2S;1!0| (|#1| $$)
  (SPADCALL (QREFELT $$ 1) |#1| (QREFELT (QREFELT $$ 0) 12))) 

(DEFUN |PSCAT-;*;Coef2S;2| (|r| |ps| $)
  (COND
    ((SPADCALL |r| (QREFELT $ 17)) (|spadConstant| $ 10))
    ('T
     (SPADCALL (CONS #'|PSCAT-;*;Coef2S;2!0| (VECTOR $ |r|)) |ps|
         (QREFELT $ 14))))) 

(DEFUN |PSCAT-;*;Coef2S;2!0| (|#1| $$)
  (SPADCALL (QREFELT $$ 1) |#1| (QREFELT (QREFELT $$ 0) 18))) 

(DEFUN |PSCAT-;*;SCoefS;3| (|ps| |r| $)
  (COND
    ((SPADCALL |r| (QREFELT $ 17)) (|spadConstant| $ 10))
    ('T
     (SPADCALL (CONS #'|PSCAT-;*;SCoefS;3!0| (VECTOR $ |r|)) |ps|
         (QREFELT $ 14))))) 

(DEFUN |PSCAT-;*;SCoefS;3!0| (|#1| $$)
  (SPADCALL |#1| (QREFELT $$ 1) (QREFELT (QREFELT $$ 0) 18))) 

(DEFUN |PSCAT-;-;2S;4| (|ps| $)
  (SPADCALL (CONS #'|PSCAT-;-;2S;4!0| $) |ps| (QREFELT $ 14))) 

(DEFUN |PSCAT-;-;2S;4!0| (|#1| $) (SPADCALL |#1| (QREFELT $ 21))) 

(DEFUN |PSCAT-;*;F2S;5| (|r| |ps| $)
  (COND
    ((SPADCALL |r| (QREFELT $ 24)) (|spadConstant| $ 10))
    ('T
     (SPADCALL (CONS #'|PSCAT-;*;F2S;5!0| (VECTOR $ |r|)) |ps|
         (QREFELT $ 14))))) 

(DEFUN |PSCAT-;*;F2S;5!0| (|#1| $$)
  (SPADCALL (QREFELT $$ 1) |#1| (QREFELT (QREFELT $$ 0) 25))) 

(DEFUN |PSCAT-;*;SFS;6| (|ps| |r| $)
  (COND
    ((SPADCALL |r| (QREFELT $ 24)) (|spadConstant| $ 10))
    ('T
     (SPADCALL (CONS #'|PSCAT-;*;SFS;6!0| (VECTOR $ |r|)) |ps|
         (QREFELT $ 14))))) 

(DEFUN |PSCAT-;*;SFS;6!0| (|#1| $$)
  (SPADCALL |#1| (QREFELT $$ 1) (QREFELT (QREFELT $$ 0) 27))) 

(DEFUN |PSCAT-;/;SCoefS;7| (|ps| |r| $)
  (SPADCALL (CONS #'|PSCAT-;/;SCoefS;7!0| (VECTOR $ |r|)) |ps|
      (QREFELT $ 14))) 

(DEFUN |PSCAT-;/;SCoefS;7!0| (|#1| $$)
  (SPADCALL |#1| (QREFELT $$ 1) (QREFELT (QREFELT $$ 0) 29))) 

(DEFUN |PowerSeriesCategory&| (|#1| |#2| |#3| |#4|)
  (PROG (DV$1 DV$2 DV$3 DV$4 |dv$| $ |pv$|)
    (RETURN
      (PROGN
        (LETT DV$1 (|devaluate| |#1|) . #0=(|PowerSeriesCategory&|))
        (LETT DV$2 (|devaluate| |#2|) . #0#)
        (LETT DV$3 (|devaluate| |#3|) . #0#)
        (LETT DV$4 (|devaluate| |#4|) . #0#)
        (LETT |dv$|
              (LIST '|PowerSeriesCategory&| DV$1 DV$2 DV$3 DV$4) . #0#)
        (LETT $ (GETREFV 33) . #0#)
        (QSETREFV $ 0 |dv$|)
        (QSETREFV $ 3 (LETT |pv$| (|buildPredVector| 0 0 NIL) . #0#))
        (|stuffDomainSlots| $)
        (QSETREFV $ 6 |#1|)
        (QSETREFV $ 7 |#2|)
        (QSETREFV $ 8 |#3|)
        (QSETREFV $ 9 |#4|)
        (COND
          ((|HasCategory| |#2| '(|Algebra| (|Fraction| (|Integer|))))
           (PROGN
             (QSETREFV $ 26
                 (CONS (|dispatchFunction| |PSCAT-;*;F2S;5|) $))
             (QSETREFV $ 28
                 (CONS (|dispatchFunction| |PSCAT-;*;SFS;6|) $)))))
        (COND
          ((|HasCategory| |#2| '(|Field|))
           (QSETREFV $ 30
               (CONS (|dispatchFunction| |PSCAT-;/;SCoefS;7|) $))))
        $)))) 

(MAKEPROP '|PowerSeriesCategory&| '|infovec|
    (LIST '#(NIL NIL NIL NIL NIL NIL (|local| |#1|) (|local| |#2|)
             (|local| |#3|) (|local| |#4|) (0 . |Zero|) (|Integer|)
             (4 . *) (|Mapping| 7 7) (10 . |map|) |PSCAT-;*;I2S;1|
             (|Boolean|) (16 . |zero?|) (21 . *) |PSCAT-;*;Coef2S;2|
             |PSCAT-;*;SCoefS;3| (27 . -) |PSCAT-;-;2S;4|
             (|Fraction| 11) (32 . |zero?|) (37 . *) (43 . *) (49 . *)
             (55 . *) (61 . /) (67 . /) (|PositiveInteger|)
             (|NonNegativeInteger|))
          '#(/ 73 - 79 * 84) 'NIL
          (CONS (|makeByteWordVec2| 1 'NIL)
                (CONS '#()
                      (CONS '#()
                            (|makeByteWordVec2| 30
                                '(0 6 0 10 2 7 0 11 0 12 2 6 0 13 0 14
                                  1 7 16 0 17 2 7 0 0 0 18 1 7 0 0 21 1
                                  23 16 0 24 2 7 0 23 0 25 2 0 0 23 0
                                  26 2 7 0 0 23 27 2 0 0 0 23 28 2 7 0
                                  0 0 29 2 0 0 0 7 30 2 0 0 0 7 30 1 0
                                  0 0 22 2 0 0 23 0 26 2 0 0 0 23 28 2
                                  0 0 0 7 20 2 0 0 7 0 19 2 0 0 11 0
                                  15)))))
          '|lookupComplete|)) 
