
(/VERSIONCHECK 2) 

(DEFUN |ISUMP;pmul| (|c| |p| $)
  (PROG (|pn| |rec|)
    (RETURN
     (SEQ
      (LETT |pn|
            (QCAR
             (LETT |rec| (SPADCALL |p| (QREFELT $ 13)) . #1=(|ISUMP;pmul|)))
            . #1#)
      (EXIT
       (CONS
        (SPADCALL (CONS #'|ISUMP;pmul!0| (VECTOR |c| $)) |pn| (QREFELT $ 21))
        (QCDR |rec|))))))) 

(DEFUN |ISUMP;pmul!0| (|x| $$)
  (PROG ($ |c|)
    (LETT $ (QREFELT $$ 1) . #1=(|ISUMP;pmul|))
    (LETT |c| (QREFELT $$ 0) . #1#)
    (RETURN
     (PROGN (SPADCALL (SPADCALL |x| (QREFELT $ 16)) |c| (QREFELT $ 17)))))) 

(DEFUN |ISUMP;sum;PVSR;2| (|p| |v| |s| $)
  (PROG (|indef|)
    (RETURN
     (SEQ (LETT |indef| (SPADCALL |p| |v| (QREFELT $ 23)) |ISUMP;sum;PVSR;2|)
          (EXIT
           (CONS
            (SPADCALL
             (SPADCALL (QCAR |indef|) |v|
                       (SPADCALL (|spadConstant| $ 25)
                                 (SPADCALL |s| (QREFELT $ 27)) (QREFELT $ 28))
                       (QREFELT $ 29))
             (SPADCALL (QCAR |indef|) |v| (SPADCALL |s| (QREFELT $ 30))
                       (QREFELT $ 29))
             (QREFELT $ 31))
            (QCDR |indef|))))))) 

(DEFUN |ISUMP;sum;PVR;3| (|p| |v| $)
  (PROG (|vp| #1=#:G677 #2=#:G676 #3=#:G678 #4=#:G683 #5=#:G687 |di| #6=#:G688
         |pi| |d| |ld| |lp| |rec| |up| |uc| |ud|)
    (RETURN
     (SEQ
      (LETT |up| (SPADCALL |p| |v| (QREFELT $ 34)) . #7=(|ISUMP;sum;PVR;3|))
      (LETT |lp| NIL . #7#) (LETT |ld| NIL . #7#)
      (SEQ G190
           (COND
            ((NULL
              (COND ((SPADCALL |up| (|spadConstant| $ 37) (QREFELT $ 39)) 'NIL)
                    ('T 'T)))
             #8=(GO G191)))
           (SEQ (LETT |ud| (SPADCALL |up| (QREFELT $ 41)) . #7#)
                (LETT |uc| (SPADCALL |up| (QREFELT $ 42)) . #7#)
                (LETT |up| (SPADCALL |up| (QREFELT $ 43)) . #7#)
                (LETT |rec|
                      (|ISUMP;pmul| |uc|
                       (SPADCALL (SPADCALL 1 (+ |ud| 1) (QREFELT $ 44))
                                 (SPADCALL (+ |ud| 1) (QREFELT $ 46))
                                 (QREFELT $ 47))
                       $)
                      . #7#)
                (LETT |lp| (CONS (QCAR |rec|) |lp|) . #7#)
                (EXIT (LETT |ld| (CONS (QCDR |rec|) |ld|) . #7#)))
           NIL #9=(GO G190) G191 (EXIT NIL))
      (LETT |d| (SPADCALL |ld| (QREFELT $ 49)) . #7#)
      (LETT |vp|
            (PROGN
             (LETT #1# NIL . #7#)
             (SEQ (LETT |pi| NIL . #7#) (LETT #6# |lp| . #7#)
                  (LETT |di| NIL . #7#) (LETT #5# |ld| . #7#) G190
                  (COND
                   ((OR (ATOM #5#) (PROGN (LETT |di| (CAR #5#) . #7#) NIL)
                        (ATOM #6#) (PROGN (LETT |pi| (CAR #6#) . #7#) NIL))
                    #8#))
                  (SEQ
                   (EXIT
                    (PROGN
                     (LETT #3#
                           (SPADCALL
                            (PROG2
                                (LETT #4# (SPADCALL |d| |di| (QREFELT $ 51))
                                      . #7#)
                                (QCDR #4#)
                              (|check-union| (QEQCAR #4# 0) (|Integer|) #4#))
                            |pi| (QREFELT $ 52))
                           . #7#)
                     (COND
                      (#1# (LETT #2# (SPADCALL #2# #3# (QREFELT $ 53)) . #7#))
                      ('T (PROGN (LETT #2# #3# . #7#) (LETT #1# 'T . #7#)))))))
                  (LETT #5# (PROG1 (CDR #5#) (LETT #6# (CDR #6#) . #7#)) . #7#)
                  #9# G191 (EXIT NIL))
             (COND (#1# #2#) ('T (|spadConstant| $ 37))))
            . #7#)
      (EXIT (CONS (SPADCALL |vp| |v| (QREFELT $ 54)) |d|)))))) 

(DEFUN |InnerPolySum| (&REST #1=#:G689)
  (PROG ()
    (RETURN
     (PROG (#2=#:G690)
       (RETURN
        (COND
         ((LETT #2#
                (|lassocShiftWithFunction| (|devaluateList| #1#)
                                           (HGET |$ConstructorCache|
                                                 '|InnerPolySum|)
                                           '|domainEqualList|)
                . #3=(|InnerPolySum|))
          (|CDRwithIncrement| #2#))
         ('T
          (UNWIND-PROTECT
              (PROG1 (APPLY (|function| |InnerPolySum;|) #1#)
                (LETT #2# T . #3#))
            (COND
             ((NOT #2#) (HREM |$ConstructorCache| '|InnerPolySum|))))))))))) 

(DEFUN |InnerPolySum;| (|#1| |#2| |#3| |#4|)
  (PROG (|pv$| $ |dv$| DV$4 DV$3 DV$2 DV$1)
    (RETURN
     (PROGN
      (LETT DV$1 (|devaluate| |#1|) . #1=(|InnerPolySum|))
      (LETT DV$2 (|devaluate| |#2|) . #1#)
      (LETT DV$3 (|devaluate| |#3|) . #1#)
      (LETT DV$4 (|devaluate| |#4|) . #1#)
      (LETT |dv$| (LIST '|InnerPolySum| DV$1 DV$2 DV$3 DV$4) . #1#)
      (LETT $ (GETREFV 55) . #1#)
      (QSETREFV $ 0 |dv$|)
      (QSETREFV $ 3 (LETT |pv$| (|buildPredVector| 0 0 NIL) . #1#))
      (|haddProp| |$ConstructorCache| '|InnerPolySum|
                  (LIST DV$1 DV$2 DV$3 DV$4) (CONS 1 $))
      (|stuffDomainSlots| $)
      (QSETREFV $ 6 |#1|)
      (QSETREFV $ 7 |#2|)
      (QSETREFV $ 8 |#3|)
      (QSETREFV $ 9 |#4|)
      $)))) 

(MAKEPROP '|InnerPolySum| '|infovec|
          (LIST
           '#(NIL NIL NIL NIL NIL NIL (|local| |#1|) (|local| |#2|)
              (|local| |#3|) (|local| |#4|)
              (|Record| (|:| |num| 11) (|:| |den| 14))
              (|SparseUnivariatePolynomial| 15)
              (|UnivariatePolynomialCommonDenominator| 14 15 11)
              (0 . |splitDenominator|) (|Integer|) (|Fraction| 14)
              (5 . |numer|) (10 . *) (|SparseUnivariatePolynomial| 9)
              (|Mapping| 9 15) (|SparseUnivariatePolynomialFunctions2| 15 9)
              (16 . |map|) (|Record| (|:| |num| 9) (|:| |den| 14))
              |ISUMP;sum;PVR;3| (22 . |One|) (26 . |One|) (|Segment| 9)
              (30 . |hi|) (35 . +) (41 . |eval|) (48 . |lo|) (53 . -)
              |ISUMP;sum;PVSR;2| (|SparseUnivariatePolynomial| $)
              (59 . |univariate|) (65 . |Zero|) (69 . |Zero|) (73 . |Zero|)
              (|Boolean|) (77 . =) (|NonNegativeInteger|) (83 . |degree|)
              (88 . |leadingCoefficient|) (93 . |reductum|) (98 . /)
              (|PolynomialNumberTheoryFunctions|) (104 . |bernoulli|) (109 . *)
              (|List| $) (115 . |lcm|) (|Union| $ '"failed") (120 . |exquo|)
              (126 . *) (132 . +) (138 . |multivariate|))
           '#(|sum| 144) 'NIL
           (CONS (|makeByteWordVec2| 1 'NIL)
                 (CONS '#()
                       (CONS '#()
                             (|makeByteWordVec2| 54
                                                 '(1 12 10 11 13 1 15 14 0 16 2
                                                   9 0 14 0 17 2 20 18 19 11 21
                                                   0 8 0 24 0 9 0 25 1 26 9 0
                                                   27 2 9 0 0 0 28 3 9 0 0 7 0
                                                   29 1 26 9 0 30 2 9 0 0 0 31
                                                   2 9 33 0 7 34 0 6 0 35 0 8 0
                                                   36 0 18 0 37 2 18 38 0 0 39
                                                   1 18 40 0 41 1 18 9 0 42 1
                                                   18 0 0 43 2 15 0 14 14 44 1
                                                   45 11 14 46 2 11 0 15 0 47 1
                                                   14 0 48 49 2 14 50 0 0 51 2
                                                   18 0 14 0 52 2 18 0 0 0 53 2
                                                   9 0 33 7 54 2 0 22 9 7 23 3
                                                   0 22 9 7 26 32)))))
           '|lookupComplete|)) 
