
(/VERSIONCHECK 2) 

(DEFUN |UPXSSING;retractIfCan;$U;1| (|f| $)
  (SEQ
   (COND
    ((EQL (SPADCALL |f| (QREFELT $ 11)) 1)
     (COND
      ((SPADCALL (SPADCALL |f| (QREFELT $ 14)) (QREFELT $ 16))
       (EXIT (CONS 0 (SPADCALL |f| (QREFELT $ 18))))))))
   (EXIT (CONS 1 "failed")))) 

(DEFUN |UPXSSING;recip;$U;2| (|f| $)
  (COND
   ((EQL (SPADCALL |f| (QREFELT $ 11)) 1)
    (CONS 0
          (SPADCALL (SPADCALL (SPADCALL |f| (QREFELT $ 18)) (QREFELT $ 21))
                    (SPADCALL (SPADCALL |f| (QREFELT $ 14)) (QREFELT $ 22))
                    (QREFELT $ 23))))
   ('T (CONS 1 "failed")))) 

(PUT '|UPXSSING;makeTerm| '|SPADreplace|
     '(XLAM (|coef| |expon|) (VECTOR |coef| |expon| NIL))) 

(DEFUN |UPXSSING;makeTerm| (|coef| |expon| $) (VECTOR |coef| |expon| NIL)) 

(PUT '|UPXSSING;coeff| '|SPADreplace| '(XLAM (|term|) (QVELT |term| 0))) 

(DEFUN |UPXSSING;coeff| (|term| $) (QVELT |term| 0)) 

(PUT '|UPXSSING;exponent| '|SPADreplace| '(XLAM (|term|) (QVELT |term| 1))) 

(DEFUN |UPXSSING;exponent| (|term| $) (QVELT |term| 1)) 

(PUT '|UPXSSING;exponentTerms| '|SPADreplace| '(XLAM (|term|) (QVELT |term| 2))) 

(DEFUN |UPXSSING;exponentTerms| (|term| $) (QVELT |term| 2)) 

(PUT '|UPXSSING;setExponentTerms!| '|SPADreplace|
     '(XLAM (|term| |list|) (QSETVELT |term| 2 |list|))) 

(DEFUN |UPXSSING;setExponentTerms!| (|term| |list| $)
  (QSETVELT |term| 2 |list|)) 

(DEFUN |UPXSSING;computeExponentTerms!| (|term| $)
  (|UPXSSING;setExponentTerms!| |term|
   (SPADCALL
    (SPADCALL (SPADCALL (|UPXSSING;exponent| |term| $) (QREFELT $ 28))
              (QREFELT $ 29))
    (QREFELT $ 31))
   $)) 

(DEFUN |UPXSSING;terms| (|f| $)
  (COND ((SPADCALL |f| (QREFELT $ 32)) NIL)
        ('T
         (CONS
          (|UPXSSING;makeTerm| (SPADCALL |f| (QREFELT $ 18))
           (SPADCALL |f| (QREFELT $ 14)) $)
          (|UPXSSING;terms| (SPADCALL |f| (QREFELT $ 33)) $))))) 

(DEFUN |UPXSSING;sortAndDiscardTerms| (|termList| $)
  (PROG (|zeroTerms| |zeroTermOrd| |infiniteTerms| |infTermOrd| |sig|
         |failedTerms| |signum| |coef| #1=#:G742 |pSeries| |ord| |expon|
         |term|)
    (RETURN
     (SEQ (LETT |zeroTerms| NIL . #2=(|UPXSSING;sortAndDiscardTerms|))
          (LETT |infiniteTerms| NIL . #2#) (LETT |failedTerms| NIL . #2#)
          (LETT |infTermOrd| (|spadConstant| $ 35) . #2#)
          (LETT |zeroTermOrd| (|spadConstant| $ 35) . #2#)
          (LETT |ord| (|spadConstant| $ 35) . #2#)
          (LETT |pSeries| (|spadConstant| $ 36) . #2#)
          (SEQ
           (EXIT
            (SEQ G190
                 (COND
                  ((NULL (COND ((NULL |termList|) 'NIL) ('T 'T))) (GO G191)))
                 (SEQ
                  (LETT |expon|
                        (|UPXSSING;exponent|
                         (LETT |term| (|SPADfirst| |termList|) . #2#) $)
                        . #2#)
                  (LETT |ord|
                        (SPADCALL |expon| (|spadConstant| $ 35) (QREFELT $ 38))
                        . #2#)
                  (EXIT
                   (COND
                    ((SPADCALL |infTermOrd| |ord| (QREFELT $ 39))
                     (PROGN
                      (LETT #1# "infinite term dominates" . #2#)
                      (GO #1#)))
                    ((SPADCALL |ord| (|spadConstant| $ 35) (QREFELT $ 40))
                     (PROGN
                      (LETT #1#
                            (SEQ
                             (LETT |pSeries| (|UPXSSING;coeff| |term| $) . #2#)
                             (EXIT (LETT |zeroTerms| NIL . #2#)))
                            . #2#)
                      (GO #1#)))
                    ('T
                     (SEQ
                      (LETT |coef| (SPADCALL |expon| |ord| (QREFELT $ 41))
                            . #2#)
                      (LETT |signum| (SPADCALL |coef| (QREFELT $ 44)) . #2#)
                      (EXIT
                       (COND
                        ((QEQCAR |signum| 1)
                         (SEQ
                          (LETT |failedTerms| (CONS |term| |failedTerms|)
                                . #2#)
                          (EXIT (LETT |termList| (CDR |termList|) . #2#))))
                        ('T
                         (SEQ (LETT |sig| (QCDR |signum|) . #2#)
                              (EXIT
                               (COND
                                ((EQL |sig| 1)
                                 (SEQ (LETT |infTermOrd| |ord| . #2#)
                                      (LETT |infiniteTerms|
                                            (CONS |term| |infiniteTerms|)
                                            . #2#)
                                      (LETT |zeroTerms| NIL . #2#)
                                      (EXIT
                                       (LETT |termList| (CDR |termList|)
                                             . #2#))))
                                ('T
                                 (SEQ
                                  (COND
                                   ((NULL |infiniteTerms|)
                                    (LETT |zeroTerms|
                                          (COND
                                           ((SPADCALL |ord| |zeroTermOrd|
                                                      (QREFELT $ 40))
                                            (CONS |term| |zeroTerms|))
                                           ('T
                                            (SEQ
                                             (LETT |zeroTermOrd| |ord| . #2#)
                                             (EXIT
                                              (SPADCALL |term|
                                                        (QREFELT $ 47))))))
                                          . #2#)))
                                  (EXIT
                                   (LETT |termList| (CDR |termList|)
                                         . #2#)))))))))))))))
                 NIL (GO G190) G191 (EXIT NIL)))
           #1# (EXIT #1#))
          (EXIT
           (VECTOR |zeroTerms| |infiniteTerms| (NREVERSE |failedTerms|)
                   |pSeries|)))))) 

(DEFUN |UPXSSING;termsWithExtremeLeadingCoef| (|termList| |ord| |signum| $)
  (PROG (|outList| #1=#:G759 |sig| |coefDiff| #2=#:G760 |term| |coefExtreme|)
    (RETURN
     (SEQ
      (EXIT
       (SEQ
        (SEQ G190
             (COND
              ((NULL
                (SPADCALL
                 (SPADCALL (|UPXSSING;exponent| (|SPADfirst| |termList|) $)
                           |ord| (QREFELT $ 41))
                 (|spadConstant| $ 37) (QREFELT $ 48)))
               #3=(GO G191)))
             (SEQ
              (EXIT
               (LETT |termList| (CDR |termList|)
                     . #4=(|UPXSSING;termsWithExtremeLeadingCoef|))))
             NIL #5=(GO G190) G191 (EXIT NIL))
        (EXIT
         (COND ((NULL |termList|) (|error| "UPXSSING: can't happen"))
               ('T
                (SEQ
                 (LETT |coefExtreme|
                       (SPADCALL
                        (|UPXSSING;exponent| (|SPADfirst| |termList|) $) |ord|
                        (QREFELT $ 41))
                       . #4#)
                 (LETT |outList|
                       (SPADCALL (|SPADfirst| |termList|) (QREFELT $ 47))
                       . #4#)
                 (LETT |termList| (CDR |termList|) . #4#)
                 (SEQ (LETT |term| NIL . #4#) (LETT #2# |termList| . #4#) G190
                      (COND
                       ((OR (ATOM #2#)
                            (PROGN (LETT |term| (CAR #2#) . #4#) NIL))
                        #3#))
                      (SEQ
                       (LETT |coefDiff|
                             (SPADCALL
                              (SPADCALL (|UPXSSING;exponent| |term| $) |ord|
                                        (QREFELT $ 41))
                              |coefExtreme| (QREFELT $ 49))
                             . #4#)
                       (EXIT
                        (COND
                         ((SPADCALL |coefDiff| (|spadConstant| $ 37)
                                    (QREFELT $ 48))
                          (LETT |outList| (CONS |term| |outList|) . #4#))
                         ('T
                          (SEQ
                           (LETT |sig| (SPADCALL |coefDiff| (QREFELT $ 44))
                                 . #4#)
                           (EXIT
                            (COND
                             ((QEQCAR |sig| 1)
                              (PROGN
                               (LETT #1# (CONS 1 "failed") . #4#)
                               (GO #1#)))
                             ((EQL (QCDR |sig|) |signum|)
                              (LETT |outList| (SPADCALL |term| (QREFELT $ 47))
                                    . #4#)))))))))
                      (LETT #2# (CDR #2#) . #4#) #5# G191 (EXIT NIL))
                 (EXIT (CONS 0 |outList|))))))))
      #1# (EXIT #1#))))) 

(DEFUN |UPXSSING;filterByOrder| (|termList| |predicate| $)
  (PROG (#1=#:G775 |term| #2=#:G770 #3=#:G767 |outList| |ordExtreme| |ord|
         #4=#:G774 #5=#:G764)
    (RETURN
     (SEQ
      (SEQ G190
           (COND
            ((NULL
              (NULL (|UPXSSING;exponentTerms| (|SPADfirst| |termList|) $)))
             #6=(GO G191)))
           (SEQ
            (EXIT
             (SEQ
              (LETT |termList| (CDR |termList|)
                    . #7=(|UPXSSING;filterByOrder|))
              (EXIT
               (COND
                ((NULL |termList|)
                 (PROGN
                  (LETT #5# (|error| "UPXSING: can't happen") . #7#)
                  (GO #5#)))))))
            #5# (EXIT #5#))
           NIL #8=(GO G190) G191 (EXIT NIL))
      (LETT |ordExtreme|
            (QCAR
             (|SPADfirst|
              (|UPXSSING;exponentTerms| (|SPADfirst| |termList|) $)))
            . #7#)
      (LETT |outList| (SPADCALL (|SPADfirst| |termList|) (QREFELT $ 47)) . #7#)
      (SEQ
       (EXIT
        (SEQ (LETT |term| NIL . #7#) (LETT #4# (CDR |termList|) . #7#) G190
             (COND
              ((OR (ATOM #4#) (PROGN (LETT |term| (CAR #4#) . #7#) NIL)) #6#))
             (SEQ
              (EXIT
               (COND
                ((NULL (NULL (|UPXSSING;exponentTerms| |term| $)))
                 (PROGN
                  (LETT #2#
                        (SEQ
                         (LETT |ord|
                               (QCAR
                                (|SPADfirst|
                                 (|UPXSSING;exponentTerms| |term| $)))
                               . #7#)
                         (EXIT
                          (COND
                           ((SPADCALL |ord| |ordExtreme| (QREFELT $ 40))
                            (LETT |outList| (CONS |term| |outList|) . #7#))
                           ('T
                            (SEQ
                             (EXIT
                              (COND
                               ((SPADCALL |ord| |ordExtreme| |predicate|)
                                (PROGN
                                 (LETT #3#
                                       (SEQ (LETT |ordExtreme| |ord| . #7#)
                                            (EXIT
                                             (LETT |outList|
                                                   (SPADCALL |term|
                                                             (QREFELT $ 47))
                                                   . #7#)))
                                       . #7#)
                                 (GO #3#)))))
                             #3# (EXIT #3#))))))
                        . #7#)
                  (GO #2#))))))
             (LETT #4# (CDR #4#) . #7#) #8# G191 (EXIT NIL)))
       #2# (EXIT #2#))
      (SEQ (LETT |term| NIL . #7#) (LETT #1# |outList| . #7#) G190
           (COND
            ((OR (ATOM #1#) (PROGN (LETT |term| (CAR #1#) . #7#) NIL)) #6#))
           (SEQ
            (EXIT
             (|UPXSSING;setExponentTerms!| |term|
              (CDR (|UPXSSING;exponentTerms| |term| $)) $)))
           (LETT #1# (CDR #1#) . #7#) #8# G191 (EXIT NIL))
      (EXIT (CONS |outList| |ordExtreme|)))))) 

(DEFUN |UPXSSING;dominantTermOnList| (|termList| |ord0| |signum| $)
  (PROG (|filtered| |newList|)
    (RETURN
     (SEQ
      (LETT |newList|
            (|UPXSSING;termsWithExtremeLeadingCoef| |termList| |ord0| |signum|
             $)
            . #1=(|UPXSSING;dominantTermOnList|))
      (EXIT
       (COND ((QEQCAR |newList| 1) (CONS 1 "failed"))
             (#2='T
              (SEQ (LETT |termList| (QCDR |newList|) . #1#)
                   (EXIT
                    (COND
                     ((NULL (CDR |termList|))
                      (CONS 0 (|SPADfirst| |termList|)))
                     (#2#
                      (SEQ
                       (LETT |filtered|
                             (COND
                              ((EQL |signum| 1)
                               (|UPXSSING;filterByOrder| |termList| (ELT $ 39)
                                $))
                              (#2#
                               (|UPXSSING;filterByOrder| |termList|
                                (CONS #'|UPXSSING;dominantTermOnList!0| $) $)))
                             . #1#)
                       (LETT |termList| (QCAR |filtered|) . #1#)
                       (EXIT
                        (COND
                         ((NULL (CDR |termList|))
                          (CONS 0 (|SPADfirst| |termList|)))
                         (#2#
                          (|UPXSSING;dominantTermOnList| |termList|
                           (QCDR |filtered|) |signum| $)))))))))))))))) 

(DEFUN |UPXSSING;dominantTermOnList!0| (|x| |y| $)
  (SPADCALL |y| |x| (QREFELT $ 39))) 

(DEFUN |UPXSSING;iDominantTerm| (|termList| $)
  (PROG (#1=#:G806 |dTerm| |ord0| #2=#:G808 |term| #3=#:G807 |pSeries|
         |failedTerms| |infiniteTerms| |zeroTerms| |termRecord|)
    (RETURN
     (SEQ
      (EXIT
       (SEQ
        (LETT |termRecord| (|UPXSSING;sortAndDiscardTerms| |termList| $)
              . #4=(|UPXSSING;iDominantTerm|))
        (LETT |zeroTerms| (QVELT |termRecord| 0) . #4#)
        (LETT |infiniteTerms| (QVELT |termRecord| 1) . #4#)
        (LETT |failedTerms| (QVELT |termRecord| 2) . #4#)
        (LETT |pSeries| (QVELT |termRecord| 3) . #4#)
        (COND ((NULL (NULL |failedTerms|)) (EXIT (CONS 1 "failed"))))
        (COND
         ((NULL (SPADCALL |pSeries| (QREFELT $ 50)))
          (EXIT
           (CONS 0
                 (CONS (|UPXSSING;makeTerm| |pSeries| (|spadConstant| $ 51) $)
                       "series")))))
        (COND
         ((NULL (NULL |infiniteTerms|))
          (EXIT
           (COND
            ((NULL (CDR |infiniteTerms|))
             (CONS 0 (CONS (|SPADfirst| |infiniteTerms|) "infinity")))
            (#5='T
             (SEQ
              (SEQ (LETT |term| NIL . #4#) (LETT #3# |infiniteTerms| . #4#)
                   G190
                   (COND
                    ((OR (ATOM #3#) (PROGN (LETT |term| (CAR #3#) . #4#) NIL))
                     #6=(GO G191)))
                   (SEQ (EXIT (|UPXSSING;computeExponentTerms!| |term| $)))
                   (LETT #3# (CDR #3#) . #4#) #7=(GO G190) G191 (EXIT NIL))
              (LETT |ord0|
                    (SPADCALL
                     (|UPXSSING;exponent| (|SPADfirst| |infiniteTerms|) $)
                     (QREFELT $ 52))
                    . #4#)
              (LETT |dTerm|
                    (|UPXSSING;dominantTermOnList| |infiniteTerms| |ord0| 1 $)
                    . #4#)
              (EXIT
               (COND
                ((QEQCAR |dTerm| 1)
                 (PROGN (LETT #1# (CONS 1 "failed") . #4#) (GO #1#)))
                (#5# (CONS 0 (CONS (QCDR |dTerm|) "infinity")))))))))))
        (EXIT
         (COND
          ((NULL (CDR |zeroTerms|))
           (CONS 0 (CONS (|SPADfirst| |zeroTerms|) "zero")))
          (#5#
           (SEQ
            (SEQ (LETT |term| NIL . #4#) (LETT #2# |zeroTerms| . #4#) G190
                 (COND
                  ((OR (ATOM #2#) (PROGN (LETT |term| (CAR #2#) . #4#) NIL))
                   #6#))
                 (SEQ (EXIT (|UPXSSING;computeExponentTerms!| |term| $)))
                 (LETT #2# (CDR #2#) . #4#) #7# G191 (EXIT NIL))
            (LETT |ord0|
                  (SPADCALL (|UPXSSING;exponent| (|SPADfirst| |zeroTerms|) $)
                            (QREFELT $ 52))
                  . #4#)
            (LETT |dTerm|
                  (|UPXSSING;dominantTermOnList| |zeroTerms| |ord0| -1 $)
                  . #4#)
            (EXIT
             (COND
              ((QEQCAR |dTerm| 1)
               (PROGN (LETT #1# (CONS 1 "failed") . #4#) (GO #1#)))
              (#5# (CONS 0 (CONS (QCDR |dTerm|) "zero")))))))))))
      #1# (EXIT #1#))))) 

(DEFUN |UPXSSING;dominantTerm;$U;15| (|f| $)
  (|UPXSSING;iDominantTerm| (|UPXSSING;terms| |f| $) $)) 

(DEFUN |UPXSSING;limitPlus;$U;16| (|f| $)
  (PROG (|signum| |coef| |ord| |pSeries| |type| |domTerm| |termInfo| |tInfo|
         |termList|)
    (RETURN
     (SEQ
      (COND
       ((NULL
         (LETT |termList| (|UPXSSING;terms| |f| $)
               . #1=(|UPXSSING;limitPlus;$U;16|)))
        (CONS 0 (|spadConstant| $ 57)))
       (#2='T
        (SEQ (LETT |tInfo| (|UPXSSING;iDominantTerm| |termList| $) . #1#)
             (EXIT
              (COND ((QEQCAR |tInfo| 1) (CONS 1 "failed"))
                    (#2#
                     (SEQ (LETT |termInfo| (QCDR |tInfo|) . #1#)
                          (LETT |domTerm| (QCAR |termInfo|) . #1#)
                          (LETT |type| (QCDR |termInfo|) . #1#)
                          (EXIT
                           (COND
                            ((EQUAL |type| "series")
                             (SEQ
                              (LETT |ord|
                                    (SPADCALL
                                     (LETT |pSeries|
                                           (|UPXSSING;coeff| |domTerm| $)
                                           . #1#)
                                     (|spadConstant| $ 58) (QREFELT $ 59))
                                    . #1#)
                              (EXIT
                               (COND
                                ((SPADCALL (|spadConstant| $ 35) |ord|
                                           (QREFELT $ 39))
                                 (CONS 0 (|spadConstant| $ 57)))
                                (#2#
                                 (SEQ
                                  (LETT |coef|
                                        (SPADCALL |pSeries| |ord|
                                                  (QREFELT $ 62))
                                        . #1#)
                                  (EXIT
                                   (COND
                                    ((SPADCALL (QREFELT $ 8)
                                               (SPADCALL |coef| (QREFELT $ 64))
                                               (QREFELT $ 66))
                                     (CONS 1 "failed"))
                                    ((SPADCALL |ord| (|spadConstant| $ 35)
                                               (QREFELT $ 40))
                                     (CONS 0 (SPADCALL |coef| (QREFELT $ 67))))
                                    (#2#
                                     (SEQ
                                      (LETT |signum|
                                            (SPADCALL |coef| (QREFELT $ 44))
                                            . #1#)
                                      (EXIT
                                       (COND
                                        ((QEQCAR |signum| 1) (CONS 1 "failed"))
                                        ((EQL (QCDR |signum|) 1)
                                         (CONS 0 (SPADCALL (QREFELT $ 68))))
                                        (#2#
                                         (CONS 0
                                               (SPADCALL
                                                (QREFELT $ 69))))))))))))))))
                            ((EQUAL |type| "zero")
                             (CONS 0 (|spadConstant| $ 57)))
                            (#2#
                             (SEQ
                              (LETT |ord|
                                    (SPADCALL
                                     (LETT |pSeries|
                                           (|UPXSSING;coeff| |domTerm| $)
                                           . #1#)
                                     (QREFELT $ 70))
                                    . #1#)
                              (LETT |coef|
                                    (SPADCALL |pSeries| |ord| (QREFELT $ 62))
                                    . #1#)
                              (EXIT
                               (COND
                                ((SPADCALL (QREFELT $ 8)
                                           (SPADCALL |coef| (QREFELT $ 64))
                                           (QREFELT $ 66))
                                 (CONS 1 "failed"))
                                (#2#
                                 (SEQ
                                  (LETT |signum|
                                        (SPADCALL |coef| (QREFELT $ 44)) . #1#)
                                  (EXIT
                                   (COND
                                    ((QEQCAR |signum| 1) (CONS 1 "failed"))
                                    ((EQL (QCDR |signum|) 1)
                                     (CONS 0 (SPADCALL (QREFELT $ 68))))
                                    (#2#
                                     (CONS 0
                                           (SPADCALL
                                            (QREFELT $
                                                     69))))))))))))))))))))))))) 

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

(DEFUN |UnivariatePuiseuxSeriesWithExponentialSingularity;|
       (|#1| |#2| |#3| |#4|)
  (PROG (|pv$| $ |dv$| DV$4 DV$3 DV$2 DV$1)
    (RETURN
     (PROGN
      (LETT DV$1 (|devaluate| |#1|)
            . #1=(|UnivariatePuiseuxSeriesWithExponentialSingularity|))
      (LETT DV$2 (|devaluate| |#2|) . #1#)
      (LETT DV$3 (|devaluate| |#3|) . #1#)
      (LETT DV$4 (|devaluate| |#4|) . #1#)
      (LETT |dv$|
            (LIST '|UnivariatePuiseuxSeriesWithExponentialSingularity| DV$1
                  DV$2 DV$3 DV$4)
            . #1#)
      (LETT $ (GETREFV 83) . #1#)
      (QSETREFV $ 0 |dv$|)
      (QSETREFV $ 3
                (LETT |pv$|
                      (|buildPredVector| 0 0
                                         (LIST
                                          (|HasCategory|
                                           (|UnivariatePuiseuxSeries| |#2| |#3|
                                                                      |#4|)
                                           '(|Algebra|
                                             (|Fraction| (|Integer|))))
                                          (|HasCategory|
                                           (|UnivariatePuiseuxSeries| |#2| |#3|
                                                                      |#4|)
                                           '(|CharacteristicNonZero|))
                                          (|HasCategory|
                                           (|UnivariatePuiseuxSeries| |#2| |#3|
                                                                      |#4|)
                                           '(|CharacteristicZero|))
                                          (|HasCategory|
                                           (|UnivariatePuiseuxSeries| |#2| |#3|
                                                                      |#4|)
                                           '(|CommutativeRing|))
                                          (|HasCategory|
                                           (|UnivariatePuiseuxSeries| |#2| |#3|
                                                                      |#4|)
                                           '(|RetractableTo|
                                             (|Fraction| (|Integer|))))
                                          (|HasCategory|
                                           (|UnivariatePuiseuxSeries| |#2| |#3|
                                                                      |#4|)
                                           '(|RetractableTo| (|Integer|)))
                                          (|HasCategory|
                                           (|UnivariatePuiseuxSeries| |#2| |#3|
                                                                      |#4|)
                                           '(|Field|))
                                          (|HasCategory|
                                           (|UnivariatePuiseuxSeries| |#2| |#3|
                                                                      |#4|)
                                           '(|GcdDomain|))
                                          (OR
                                           (|HasCategory|
                                            (|UnivariatePuiseuxSeries| |#2|
                                                                       |#3|
                                                                       |#4|)
                                            '(|Algebra|
                                              (|Fraction| (|Integer|))))
                                           (|HasCategory|
                                            (|UnivariatePuiseuxSeries| |#2|
                                                                       |#3|
                                                                       |#4|)
                                            '(|RetractableTo|
                                              (|Fraction| (|Integer|)))))
                                          (|HasCategory|
                                           (|UnivariatePuiseuxSeries| |#2| |#3|
                                                                      |#4|)
                                           '(|IntegralDomain|))))
                      . #1#))
      (|haddProp| |$ConstructorCache|
                  '|UnivariatePuiseuxSeriesWithExponentialSingularity|
                  (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 '|UnivariatePuiseuxSeriesWithExponentialSingularity| '|infovec|
          (LIST
           '#(NIL NIL NIL NIL NIL (|PolynomialRing| 17 13) (|local| |#1|)
              (|local| |#2|) (|local| |#3|) (|local| |#4|)
              (|NonNegativeInteger|) (0 . |numberOfMonomials|) (5 . |One|)
              (|ExponentialOfUnivariatePuiseuxSeries| 7 8 9) (9 . |degree|)
              (|Boolean|) (14 . |zero?|) (|UnivariatePuiseuxSeries| 7 8 9)
              (19 . |leadingCoefficient|) (|Union| 17 '#1="failed")
              |UPXSSING;retractIfCan;$U;1| (24 . |inv|) (29 . -)
              (34 . |monomial|) (|Union| $ '"failed") |UPXSSING;recip;$U;2|
              (|Record| (|:| |k| 34) (|:| |c| 7)) (|Stream| 26) (40 . |terms|)
              (45 . |complete|) (|List| 26) (50 . |entries|) (55 . |zero?|)
              (60 . |reductum|) (|Fraction| 74) (65 . |Zero|) (69 . |Zero|)
              (73 . |Zero|) (77 . |order|) (83 . <) (89 . =)
              (95 . |coefficient|) (|Union| 74 '"failed")
              (|ElementaryFunctionSign| 6 7) (101 . |sign|)
              (|Record| (|:| |%coef| 17) (|:| |%expon| 13)
                        (|:| |%expTerms| 30))
              (|List| 45) (106 . |list|) (111 . =) (117 . -) (123 . |zero?|)
              (128 . |Zero|) (132 . |order|)
              (|Record| (|:| |%term| 45) (|:| |%type| 80))
              (|Union| 53 '"failed") |UPXSSING;dominantTerm;$U;15|
              (|OrderedCompletion| 7) (137 . |Zero|) (141 . |One|)
              (145 . |order|) (151 . |Zero|) (155 . |Zero|)
              (159 . |coefficient|) (|List| 65) (165 . |variables|) (|Symbol|)
              (170 . |member?|) (176 . |coerce|) (181 . |plusInfinity|)
              (185 . |minusInfinity|) (189 . |order|) (|Union| 56 '"failed")
              |UPXSSING;limitPlus;$U;16| (|Union| 34 '#1#) (|Integer|)
              (|Record| (|:| |unit| $) (|:| |canonical| $) (|:| |associate| $))
              (|Mapping| 13 13) (|List| 17) (|Mapping| 17 17)
              (|PositiveInteger|) (|String|) (|OutputForm|) (|SingleInteger|))
           '#(~= 194 |zero?| 200 |unitNormal| 205 |unitCanonical| 210 |unit?|
              215 |subtractIfCan| 220 |sample| 226 |retractIfCan| 230 |retract|
              245 |reductum| 260 |recip| 265 |primitivePart| 270 |pomopo!| 275
              |one?| 283 |numberOfMonomials| 288 |monomial?| 293 |monomial| 298
              |minimumDegree| 304 |mapExponents| 309 |map| 315 |limitPlus| 321
              |leadingMonomial| 326 |leadingCoefficient| 331 |latex| 336 |hash|
              341 |ground?| 346 |ground| 351 |exquo| 356 |dominantTerm| 368
              |degree| 373 |content| 378 |coerce| 383 |coefficients| 408
              |coefficient| 413 |charthRoot| 419 |characteristic| 424
              |binomThmExpt| 428 |associates?| 435 ^ 441 |Zero| 453 |One| 457 =
              461 / 467 - 473 + 484 * 490)
           'NIL
           (CONS
            (|makeByteWordVec2| 6
                                '(0 0 0 0 1 4 0 0 0 1 2 3 4 0 0 0 1 0 0 0 0 0 1
                                  1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 5 6))
            (CONS
             '#(|FiniteAbelianMonoidRing&| |AbelianMonoidRing&|
                |IntegralDomain&| |Algebra&| |Algebra&| |Algebra&| NIL
                |Module&| NIL |Module&| NIL NIL |Module&| NIL NIL |Ring&| NIL
                NIL NIL NIL NIL NIL NIL NIL |AbelianGroup&| NIL NIL
                |AbelianMonoid&| |Monoid&| NIL |SemiGroup&| |AbelianSemiGroup&|
                |FullyRetractableTo&| |SetCategory&| |RetractableTo&| NIL NIL
                NIL |BasicType&| NIL |RetractableTo&| |RetractableTo&|)
             (CONS
              '#((|FiniteAbelianMonoidRing| (|UnivariatePuiseuxSeries| 7 8 9)
                                            (|ExponentialOfUnivariatePuiseuxSeries|
                                             7 8 9))
                 (|AbelianMonoidRing| (|UnivariatePuiseuxSeries| 7 8 9)
                                      (|ExponentialOfUnivariatePuiseuxSeries| 7
                                                                              8
                                                                              9))
                 (|IntegralDomain|) (|Algebra| $$) (|Algebra| 34)
                 (|Algebra| (|UnivariatePuiseuxSeries| 7 8 9)) (|EntireRing|)
                 (|Module| $$) (|CommutativeRing|) (|Module| 34)
                 (|CharacteristicNonZero|) (|CharacteristicZero|)
                 (|Module| (|UnivariatePuiseuxSeries| 7 8 9))
                 (|BiModule| (|UnivariatePuiseuxSeries| 7 8 9)
                             (|UnivariatePuiseuxSeries| 7 8 9))
                 (|BiModule| $$ $$) (|Ring|) (|BiModule| 34 34)
                 (|LeftModule| (|UnivariatePuiseuxSeries| 7 8 9))
                 (|RightModule| (|UnivariatePuiseuxSeries| 7 8 9))
                 (|RightModule| $$) (|Rng|) (|LeftModule| $$) (|LeftModule| 34)
                 (|RightModule| 34) (|AbelianGroup|)
                 (|CancellationAbelianMonoid|) (|SemiRing|) (|AbelianMonoid|)
                 (|Monoid|) (|SemiRng|) (|SemiGroup|) (|AbelianSemiGroup|)
                 (|FullyRetractableTo| (|UnivariatePuiseuxSeries| 7 8 9))
                 (|SetCategory|)
                 (|RetractableTo| (|UnivariatePuiseuxSeries| 7 8 9))
                 (|noZeroDivisors|) (|CommutativeStar|) (|unitsKnown|)
                 (|BasicType|) (|CoercibleTo| 81) (|RetractableTo| 34)
                 (|RetractableTo| 74))
              (|makeByteWordVec2| 82
                                  '(1 0 10 0 11 0 7 0 12 1 0 13 0 14 1 13 15 0
                                    16 1 0 17 0 18 1 17 0 0 21 1 13 0 0 22 2 0
                                    0 17 13 23 1 13 27 0 28 1 27 0 0 29 1 27 30
                                    0 31 1 0 15 0 32 1 0 0 0 33 0 34 0 35 0 17
                                    0 36 0 7 0 37 2 13 34 0 34 38 2 34 15 0 0
                                    39 2 34 15 0 0 40 2 13 7 0 34 41 1 43 42 7
                                    44 1 46 0 45 47 2 7 15 0 0 48 2 7 0 0 0 49
                                    1 17 15 0 50 0 13 0 51 1 13 34 0 52 0 56 0
                                    57 0 34 0 58 2 17 34 0 34 59 0 0 0 60 0 6 0
                                    61 2 17 7 0 34 62 1 7 63 0 64 2 63 15 65 0
                                    66 1 56 0 7 67 0 56 0 68 0 56 0 69 1 17 34
                                    0 70 2 0 15 0 0 1 1 0 15 0 32 1 0 75 0 1 1
                                    0 0 0 1 1 0 15 0 1 2 0 24 0 0 1 0 0 0 1 1 5
                                    73 0 1 1 6 42 0 1 1 0 19 0 20 1 5 34 0 1 1
                                    6 74 0 1 1 0 17 0 1 1 0 0 0 33 1 0 24 0 25
                                    1 8 0 0 1 4 0 0 0 17 13 0 1 1 0 15 0 1 1 0
                                    10 0 11 1 0 15 0 1 2 0 0 17 13 23 1 0 13 0
                                    1 2 0 0 76 0 1 2 0 0 78 0 1 1 0 71 0 72 1 0
                                    0 0 1 1 0 17 0 18 1 0 80 0 1 1 0 82 0 1 1 0
                                    15 0 1 1 0 17 0 1 2 10 24 0 17 1 2 0 24 0 0
                                    1 1 0 54 0 55 1 0 13 0 14 1 8 17 0 1 1 9 0
                                    34 1 1 0 0 0 1 1 0 0 17 1 1 0 0 74 1 1 0 81
                                    0 1 1 0 77 0 1 2 0 17 0 13 1 1 2 24 0 1 0 0
                                    10 1 3 4 0 0 0 10 1 2 0 15 0 0 1 2 0 0 0 10
                                    1 2 0 0 0 79 1 0 0 0 60 0 0 0 1 2 0 15 0 0
                                    1 2 7 0 0 17 1 1 0 0 0 1 2 0 0 0 0 1 2 0 0
                                    0 0 1 2 1 0 34 0 1 2 1 0 0 34 1 2 0 0 17 0
                                    1 2 0 0 0 17 1 2 0 0 74 0 1 2 0 0 0 0 1 2 0
                                    0 10 0 1 2 0 0 79 0 1)))))
           '|lookupComplete|)) 
