
(/VERSIONCHECK 2) 

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

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

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

(DEFUN |InnerPolySum;| (|#1| |#2| |#3| |#4|)
  (PROG (DV$1 DV$2 DV$3 DV$4 |dv$| $ |pv$|)
    (RETURN
      (PROGN
        (LETT DV$1 (|devaluate| |#1|) . #0=(|InnerPolySum|))
        (LETT DV$2 (|devaluate| |#2|) . #0#)
        (LETT DV$3 (|devaluate| |#3|) . #0#)
        (LETT DV$4 (|devaluate| |#4|) . #0#)
        (LETT |dv$| (LIST '|InnerPolySum| DV$1 DV$2 DV$3 DV$4) . #0#)
        (LETT $ (GETREFV 55) . #0#)
        (QSETREFV $ 0 |dv$|)
        (QSETREFV $ 3 (LETT |pv$| (|buildPredVector| 0 0 NIL) . #0#))
        (|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|)) 
