
(/VERSIONCHECK 2) 

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

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

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

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

(DEFUN |EXPEXPAN;upxssingIfCan| (|f| $)
  (COND
   ((SPADCALL (SPADCALL |f| (QREFELT $ 17)) (|spadConstant| $ 18)
              (QREFELT $ 20))
    (CONS 0 (SPADCALL |f| (QREFELT $ 21))))
   ('T (CONS 1 "failed")))) 

(DEFUN |EXPEXPAN;retractIfCan;$U;4| (|f| $)
  (PROG (|fff| |ff|)
    (RETURN
     (SEQ
      (LETT |ff| (|EXPEXPAN;upxssingIfCan| |f| $)
            . #1=(|EXPEXPAN;retractIfCan;$U;4|))
      (EXIT
       (COND ((QEQCAR |ff| 1) (CONS 1 "failed"))
             (#2='T
              (SEQ (LETT |fff| (SPADCALL (QCDR |ff|) (QREFELT $ 23)) . #1#)
                   (EXIT
                    (COND ((QEQCAR |fff| 1) (CONS 1 "failed"))
                          (#2# (CONS 0 (QCDR |fff|))))))))))))) 

(DEFUN |EXPEXPAN;/;2Upswes$;5| (|f| |g| $)
  (PROG (|rec|)
    (RETURN
     (SEQ (LETT |rec| (SPADCALL |g| (QREFELT $ 26)) |EXPEXPAN;/;2Upswes$;5|)
          (EXIT
           (COND ((QEQCAR |rec| 1) (SPADCALL |f| |g| (QREFELT $ 27)))
                 ('T
                  (SPADCALL |f| (SPADCALL (QCDR |rec|) (QREFELT $ 28))
                            (QREFELT $ 29))))))))) 

(DEFUN |EXPEXPAN;/;3$;6| (|f| |g| $)
  (PROG (|rec|)
    (RETURN
     (SEQ
      (LETT |rec| (SPADCALL (SPADCALL |g| (QREFELT $ 21)) (QREFELT $ 26))
            |EXPEXPAN;/;3$;6|)
      (EXIT
       (COND ((QEQCAR |rec| 1) (SPADCALL |f| |g| (QREFELT $ 31)))
             ('T
              (SPADCALL
               (SPADCALL (QCDR |rec|) (SPADCALL |g| (QREFELT $ 17))
                         (QREFELT $ 32))
               |f| (QREFELT $ 29))))))))) 

(DEFUN |EXPEXPAN;coerce;Ups$;7| (|f| $)
  (SPADCALL (SPADCALL |f| (QREFELT $ 35)) (QREFELT $ 28))) 

(DEFUN |EXPEXPAN;seriesQuotientLimit| (|num| |den| $)
  (PROG (#1=#:G715 |sig| |coef| |ord| |series|)
    (RETURN
     (SEQ
      (EXIT
       (SEQ
        (LETT |series| (SPADCALL |num| |den| (QREFELT $ 37))
              . #2=(|EXPEXPAN;seriesQuotientLimit|))
        (LETT |ord| (SPADCALL |series| (|spadConstant| $ 38) (QREFELT $ 39))
              . #2#)
        (EXIT
         (COND
          ((SPADCALL (|spadConstant| $ 44) |ord| (QREFELT $ 48))
           (CONS 0 (|spadConstant| $ 46)))
          (#3='T
           (SEQ (LETT |coef| (SPADCALL |series| |ord| (QREFELT $ 49)) . #2#)
                (EXIT
                 (COND
                  ((SPADCALL (QREFELT $ 8) (SPADCALL |coef| (QREFELT $ 51))
                             (QREFELT $ 53))
                   (CONS 1 "failed"))
                  ((SPADCALL |ord| (|spadConstant| $ 44) (QREFELT $ 54))
                   (CONS 0 (SPADCALL |coef| (QREFELT $ 55))))
                  (#3#
                   (SEQ (LETT |sig| (SPADCALL |coef| (QREFELT $ 58)) . #2#)
                        (EXIT
                         (COND
                          ((QEQCAR |sig| 1)
                           (PROGN (LETT #1# (CONS 1 "failed") . #2#) (GO #1#)))
                          ((EQL (QCDR |sig|) 1)
                           (CONS 0 (SPADCALL (QREFELT $ 59))))
                          (#3# (CONS 0 (SPADCALL (QREFELT $ 60))))))))))))))))
      #1# (EXIT #1#))))) 

(DEFUN |EXPEXPAN;seriesQuotientInfinity| (|num| |den| $)
  (PROG (#1=#:G726 |sig| |cc| |denOrd| |numOrd|)
    (RETURN
     (SEQ
      (EXIT
       (SEQ
        (LETT |numOrd| (SPADCALL |num| (QREFELT $ 15) (QREFELT $ 39))
              . #2=(|EXPEXPAN;seriesQuotientInfinity|))
        (EXIT
         (COND
          ((SPADCALL |numOrd| (QREFELT $ 15) (QREFELT $ 54)) (CONS 1 "failed"))
          (#3='T
           (SEQ
            (LETT |denOrd| (SPADCALL |den| (QREFELT $ 15) (QREFELT $ 39))
                  . #2#)
            (EXIT
             (COND
              ((SPADCALL |denOrd| (QREFELT $ 15) (QREFELT $ 54))
               (CONS 1 "failed"))
              (#3#
               (SEQ
                (LETT |cc|
                      (SPADCALL (SPADCALL |num| |numOrd| (QREFELT $ 49))
                                (SPADCALL |den| |denOrd| (QREFELT $ 49))
                                (QREFELT $ 61))
                      . #2#)
                (EXIT
                 (COND
                  ((SPADCALL (QREFELT $ 8) (SPADCALL |cc| (QREFELT $ 51))
                             (QREFELT $ 53))
                   (CONS 1 "failed"))
                  (#3#
                   (SEQ (LETT |sig| (SPADCALL |cc| (QREFELT $ 58)) . #2#)
                        (EXIT
                         (COND
                          ((QEQCAR |sig| 1)
                           (PROGN (LETT #1# (CONS 1 "failed") . #2#) (GO #1#)))
                          ((EQL (QCDR |sig|) 1)
                           (CONS 0 (SPADCALL (QREFELT $ 59))))
                          (#3#
                           (CONS 0 (SPADCALL (QREFELT $ 60))))))))))))))))))))
      #1# (EXIT #1#))))) 

(DEFUN |EXPEXPAN;limitPlus;$U;10| (|f| $)
  (PROG (#1=#:G758 |sig| |expCoef| |exponDiff| |denCoef| |numCoef| |denExpon|
         |numExpon| |denType| |denTerm| |denomTerm| |numType| |numTerm|
         |numerTerm| |num| |den|)
    (RETURN
     (SEQ
      (EXIT
       (COND ((SPADCALL |f| (QREFELT $ 62)) (CONS 0 (|spadConstant| $ 46)))
             (#2='T
              (SEQ
               (LETT |den| (SPADCALL |f| (QREFELT $ 17))
                     . #3=(|EXPEXPAN;limitPlus;$U;10|))
               (EXIT
                (COND
                 ((SPADCALL |den| (|spadConstant| $ 18) (QREFELT $ 20))
                  (SPADCALL (SPADCALL |f| (QREFELT $ 21)) (QREFELT $ 64)))
                 (#2#
                  (SEQ
                   (LETT |numerTerm|
                         (SPADCALL
                          (LETT |num| (SPADCALL |f| (QREFELT $ 21)) . #3#)
                          (QREFELT $ 69))
                         . #3#)
                   (EXIT
                    (COND ((QEQCAR |numerTerm| 1) (CONS 1 "failed"))
                          (#2#
                           (SEQ
                            (LETT |numType|
                                  (QCDR
                                   (LETT |numTerm| (QCDR |numerTerm|) . #3#))
                                  . #3#)
                            (LETT |denomTerm| (SPADCALL |den| (QREFELT $ 69))
                                  . #3#)
                            (EXIT
                             (COND ((QEQCAR |denomTerm| 1) (CONS 1 "failed"))
                                   (#2#
                                    (SEQ
                                     (LETT |denType|
                                           (QCDR
                                            (LETT |denTerm| (QCDR |denomTerm|)
                                                  . #3#))
                                           . #3#)
                                     (LETT |numExpon|
                                           (|EXPEXPAN;exponent|
                                            (QCAR |numTerm|) $)
                                           . #3#)
                                     (LETT |denExpon|
                                           (|EXPEXPAN;exponent|
                                            (QCAR |denTerm|) $)
                                           . #3#)
                                     (LETT |numCoef|
                                           (|EXPEXPAN;coeff| (QCAR |numTerm|)
                                            $)
                                           . #3#)
                                     (LETT |denCoef|
                                           (|EXPEXPAN;coeff| (QCAR |denTerm|)
                                            $)
                                           . #3#)
                                     (EXIT
                                      (COND
                                       ((EQUAL |numType| "zero")
                                        (COND
                                         ((EQUAL |denType| "zero")
                                          (SEQ
                                           (LETT |exponDiff|
                                                 (SPADCALL |numExpon|
                                                           |denExpon|
                                                           (QREFELT $ 71))
                                                 . #3#)
                                           (EXIT
                                            (COND
                                             ((SPADCALL |exponDiff|
                                                        (|spadConstant| $ 72)
                                                        (QREFELT $ 73))
                                              (|EXPEXPAN;seriesQuotientLimit|
                                               |numCoef| |denCoef| $))
                                             (#2#
                                              (SEQ
                                               (LETT |expCoef|
                                                     (SPADCALL |exponDiff|
                                                               (SPADCALL
                                                                |exponDiff|
                                                                (QREFELT $ 74))
                                                               (QREFELT $ 75))
                                                     . #3#)
                                               (LETT |sig|
                                                     (SPADCALL |expCoef|
                                                               (QREFELT $ 58))
                                                     . #3#)
                                               (EXIT
                                                (COND
                                                 ((QEQCAR |sig| 1)
                                                  (PROGN
                                                   (LETT #1# (CONS 1 "failed")
                                                         . #3#)
                                                   (GO #1#)))
                                                 ((EQL (QCDR |sig|) -1)
                                                  (CONS 0
                                                        (|spadConstant| $ 46)))
                                                 (#2#
                                                  (|EXPEXPAN;seriesQuotientInfinity|
                                                   |numCoef| |denCoef|
                                                   $))))))))))
                                         (#2# (CONS 0 (|spadConstant| $ 46)))))
                                       ((EQUAL |numType| "series")
                                        (COND
                                         ((EQUAL |denType| "zero")
                                          (|EXPEXPAN;seriesQuotientInfinity|
                                           |numCoef| |denCoef| $))
                                         ((EQUAL |denType| "series")
                                          (|EXPEXPAN;seriesQuotientLimit|
                                           |numCoef| |denCoef| $))
                                         (#2# (CONS 0 (|spadConstant| $ 46)))))
                                       ((EQUAL |denType| "infinity")
                                        (SEQ
                                         (LETT |exponDiff|
                                               (SPADCALL |numExpon| |denExpon|
                                                         (QREFELT $ 71))
                                               . #3#)
                                         (EXIT
                                          (COND
                                           ((SPADCALL |exponDiff|
                                                      (|spadConstant| $ 72)
                                                      (QREFELT $ 73))
                                            (|EXPEXPAN;seriesQuotientLimit|
                                             |numCoef| |denCoef| $))
                                           (#2#
                                            (SEQ
                                             (LETT |expCoef|
                                                   (SPADCALL |exponDiff|
                                                             (SPADCALL
                                                              |exponDiff|
                                                              (QREFELT $ 74))
                                                             (QREFELT $ 75))
                                                   . #3#)
                                             (LETT |sig|
                                                   (SPADCALL |expCoef|
                                                             (QREFELT $ 58))
                                                   . #3#)
                                             (EXIT
                                              (COND
                                               ((QEQCAR |sig| 1)
                                                (PROGN
                                                 (LETT #1# (CONS 1 "failed")
                                                       . #3#)
                                                 (GO #1#)))
                                               ((EQL (QCDR |sig|) -1)
                                                (CONS 0 (|spadConstant| $ 46)))
                                               (#2#
                                                (|EXPEXPAN;seriesQuotientInfinity|
                                                 |numCoef| |denCoef|
                                                 $))))))))))
                                       (#2#
                                        (|EXPEXPAN;seriesQuotientInfinity|
                                         |numCoef| |denCoef|
                                         $))))))))))))))))))))
      #1# (EXIT #1#))))) 

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

(DEFUN |ExponentialExpansion;| (|#1| |#2| |#3| |#4|)
  (PROG (|pv$| #1=#:G788 $ |dv$| DV$4 DV$3 DV$2 DV$1)
    (RETURN
     (PROGN
      (LETT DV$1 (|devaluate| |#1|) . #2=(|ExponentialExpansion|))
      (LETT DV$2 (|devaluate| |#2|) . #2#)
      (LETT DV$3 (|devaluate| |#3|) . #2#)
      (LETT DV$4 (|devaluate| |#4|) . #2#)
      (LETT |dv$| (LIST '|ExponentialExpansion| DV$1 DV$2 DV$3 DV$4) . #2#)
      (LETT $ (GETREFV 117) . #2#)
      (QSETREFV $ 0 |dv$|)
      (QSETREFV $ 3
                (LETT |pv$|
                      (|buildPredVector| 0 0
                                         (LIST
                                          (|HasCategory|
                                           (|UnivariatePuiseuxSeriesWithExponentialSingularity|
                                            |#1| |#2| |#3| |#4|)
                                           '(|PolynomialFactorizationExplicit|))
                                          (|HasCategory|
                                           (|UnivariatePuiseuxSeriesWithExponentialSingularity|
                                            |#1| |#2| |#3| |#4|)
                                           '(|RetractableTo| (|Symbol|)))
                                          (|HasCategory|
                                           (|UnivariatePuiseuxSeriesWithExponentialSingularity|
                                            |#1| |#2| |#3| |#4|)
                                           '(|CharacteristicNonZero|))
                                          (|HasCategory|
                                           (|UnivariatePuiseuxSeriesWithExponentialSingularity|
                                            |#1| |#2| |#3| |#4|)
                                           '(|CharacteristicZero|))
                                          (|HasCategory|
                                           (|UnivariatePuiseuxSeriesWithExponentialSingularity|
                                            |#1| |#2| |#3| |#4|)
                                           '(|ConvertibleTo| (|InputForm|)))
                                          (|HasCategory|
                                           (|UnivariatePuiseuxSeriesWithExponentialSingularity|
                                            |#1| |#2| |#3| |#4|)
                                           '(|RealConstant|))
                                          (|HasCategory|
                                           (|UnivariatePuiseuxSeriesWithExponentialSingularity|
                                            |#1| |#2| |#3| |#4|)
                                           '(|OrderedIntegralDomain|))
                                          (|HasCategory|
                                           (|UnivariatePuiseuxSeriesWithExponentialSingularity|
                                            |#1| |#2| |#3| |#4|)
                                           '(|RetractableTo| (|Integer|)))
                                          (|HasCategory|
                                           (|UnivariatePuiseuxSeriesWithExponentialSingularity|
                                            |#1| |#2| |#3| |#4|)
                                           '(|StepThrough|))
                                          (|HasCategory|
                                           (|UnivariatePuiseuxSeriesWithExponentialSingularity|
                                            |#1| |#2| |#3| |#4|)
                                           '(|PatternMatchable| (|Float|)))
                                          (|HasCategory|
                                           (|UnivariatePuiseuxSeriesWithExponentialSingularity|
                                            |#1| |#2| |#3| |#4|)
                                           '(|PatternMatchable| (|Integer|)))
                                          (|HasCategory|
                                           (|UnivariatePuiseuxSeriesWithExponentialSingularity|
                                            |#1| |#2| |#3| |#4|)
                                           '(|ConvertibleTo|
                                             (|Pattern| (|Float|))))
                                          (|HasCategory|
                                           (|UnivariatePuiseuxSeriesWithExponentialSingularity|
                                            |#1| |#2| |#3| |#4|)
                                           '(|ConvertibleTo|
                                             (|Pattern| (|Integer|))))
                                          (|HasCategory|
                                           (|UnivariatePuiseuxSeriesWithExponentialSingularity|
                                            |#1| |#2| |#3| |#4|)
                                           '(|LinearlyExplicitRingOver|
                                             (|Integer|)))
                                          (|HasCategory|
                                           (|UnivariatePuiseuxSeriesWithExponentialSingularity|
                                            |#1| |#2| |#3| |#4|)
                                           '(|PartialDifferentialRing|
                                             (|Symbol|)))
                                          (|HasCategory|
                                           (|UnivariatePuiseuxSeriesWithExponentialSingularity|
                                            |#1| |#2| |#3| |#4|)
                                           '(|DifferentialRing|))
                                          (|HasCategory|
                                           (|UnivariatePuiseuxSeriesWithExponentialSingularity|
                                            |#1| |#2| |#3| |#4|)
                                           (LIST '|InnerEvalable| '(|Symbol|)
                                                 (LIST
                                                  '|UnivariatePuiseuxSeriesWithExponentialSingularity|
                                                  (|devaluate| |#1|)
                                                  (|devaluate| |#2|)
                                                  (|devaluate| |#3|)
                                                  (|devaluate| |#4|))))
                                          (|HasCategory|
                                           (|UnivariatePuiseuxSeriesWithExponentialSingularity|
                                            |#1| |#2| |#3| |#4|)
                                           (LIST '|Evalable|
                                                 (LIST
                                                  '|UnivariatePuiseuxSeriesWithExponentialSingularity|
                                                  (|devaluate| |#1|)
                                                  (|devaluate| |#2|)
                                                  (|devaluate| |#3|)
                                                  (|devaluate| |#4|))))
                                          (|HasCategory|
                                           (|UnivariatePuiseuxSeriesWithExponentialSingularity|
                                            |#1| |#2| |#3| |#4|)
                                           (LIST '|Eltable|
                                                 (LIST
                                                  '|UnivariatePuiseuxSeriesWithExponentialSingularity|
                                                  (|devaluate| |#1|)
                                                  (|devaluate| |#2|)
                                                  (|devaluate| |#3|)
                                                  (|devaluate| |#4|))
                                                 (LIST
                                                  '|UnivariatePuiseuxSeriesWithExponentialSingularity|
                                                  (|devaluate| |#1|)
                                                  (|devaluate| |#2|)
                                                  (|devaluate| |#3|)
                                                  (|devaluate| |#4|))))
                                          (|HasCategory|
                                           (|UnivariatePuiseuxSeriesWithExponentialSingularity|
                                            |#1| |#2| |#3| |#4|)
                                           '(|EuclideanDomain|))
                                          (|HasCategory|
                                           (|UnivariatePuiseuxSeriesWithExponentialSingularity|
                                            |#1| |#2| |#3| |#4|)
                                           '(|IntegerNumberSystem|))
                                          (|HasCategory|
                                           (|UnivariatePuiseuxSeriesWithExponentialSingularity|
                                            |#1| |#2| |#3| |#4|)
                                           '(|Comparable|))
                                          (LETT #1#
                                                (|HasCategory|
                                                 (|UnivariatePuiseuxSeriesWithExponentialSingularity|
                                                  |#1| |#2| |#3| |#4|)
                                                 '(|OrderedSet|))
                                                . #2#)
                                          (OR
                                           (|HasCategory|
                                            (|UnivariatePuiseuxSeriesWithExponentialSingularity|
                                             |#1| |#2| |#3| |#4|)
                                            '(|Comparable|))
                                           (|HasCategory|
                                            (|UnivariatePuiseuxSeriesWithExponentialSingularity|
                                             |#1| |#2| |#3| |#4|)
                                            '(|OrderedIntegralDomain|))
                                           #1#)
                                          (OR
                                           (|HasCategory|
                                            (|UnivariatePuiseuxSeriesWithExponentialSingularity|
                                             |#1| |#2| |#3| |#4|)
                                            '(|OrderedIntegralDomain|))
                                           #1#)))
                      . #2#))
      (|haddProp| |$ConstructorCache| '|ExponentialExpansion|
                  (LIST DV$1 DV$2 DV$3 DV$4) (CONS 1 $))
      (|stuffDomainSlots| $)
      (QSETREFV $ 6 |#1|)
      (QSETREFV $ 7 |#2|)
      (QSETREFV $ 8 |#3|)
      (QSETREFV $ 9 |#4|)
      (AND
       (|HasCategory|
        (|UnivariatePuiseuxSeriesWithExponentialSingularity| |#1| |#2| |#3|
                                                             |#4|)
        '(|PolynomialFactorizationExplicit|))
       (|HasCategory| $ '(|CharacteristicNonZero|))
       (|augmentPredVector| $ 33554432))
      (AND
       (OR
        (|HasCategory|
         (|UnivariatePuiseuxSeriesWithExponentialSingularity| |#1| |#2| |#3|
                                                              |#4|)
         '(|CharacteristicNonZero|))
        (AND
         (|HasCategory|
          (|UnivariatePuiseuxSeriesWithExponentialSingularity| |#1| |#2| |#3|
                                                               |#4|)
          '(|PolynomialFactorizationExplicit|))
         (|HasCategory| $ '(|CharacteristicNonZero|))))
       (|augmentPredVector| $ 67108864))
      (QSETREFV $ 10
                (|Fraction|
                 (|UnivariatePuiseuxSeriesWithExponentialSingularity| |#1| |#2|
                                                                      |#3|
                                                                      |#4|)))
      (QSETREFV $ 15 (SPADCALL 1000 1 (QREFELT $ 14)))
      $)))) 

(MAKEPROP '|ExponentialExpansion| '|infovec|
          (LIST
           '#(NIL NIL NIL NIL NIL (|Fraction| 16) (|local| |#1|) (|local| |#2|)
              (|local| |#3|) (|local| |#4|) '|Rep| (0 . |One|) (|Integer|)
              (|Fraction| 12) (4 . /) 'ZEROCOUNT
              (|UnivariatePuiseuxSeriesWithExponentialSingularity| 6 7 8 9)
              (10 . |denom|) (15 . |One|) (|Boolean|) (19 . =) (25 . |numer|)
              (|Union| 34 '#1="failed") (30 . |retractIfCan|)
              |EXPEXPAN;retractIfCan;$U;4| (|Union| $ '"failed") (35 . |recip|)
              (40 . /) (46 . |coerce|) (51 . *) |EXPEXPAN;/;2Upswes$;5|
              (57 . /) (63 . *) |EXPEXPAN;/;3$;6|
              (|UnivariatePuiseuxSeries| 7 8 9) (69 . |coerce|)
              |EXPEXPAN;coerce;Ups$;7| (74 . /) (80 . |One|) (84 . |order|)
              (90 . |Zero|) (94 . |Zero|) (98 . |Zero|) (102 . |Zero|)
              (106 . |Zero|) (|OrderedCompletion| 7) (110 . |Zero|)
              (114 . |Zero|) (118 . <) (124 . |coefficient|) (|List| 52)
              (130 . |variables|) (|Symbol|) (135 . |member?|) (141 . =)
              (147 . |coerce|) (|Union| 12 '"failed")
              (|ElementaryFunctionSign| 6 7) (152 . |sign|)
              (157 . |plusInfinity|) (161 . |minusInfinity|) (165 . /)
              (171 . |zero?|) (|Union| 45 '"failed") (176 . |limitPlus|)
              (|Record| (|:| |k| 13) (|:| |c| 7))
              (|Record| (|:| |%coef| 34) (|:| |%expon| 70)
                        (|:| |%expTerms| (|List| 65)))
              (|Record| (|:| |%term| 66) (|:| |%type| 115))
              (|Union| 67 '"failed") (181 . |dominantTerm|)
              (|ExponentialOfUnivariatePuiseuxSeries| 7 8 9) (186 . -)
              (192 . |Zero|) (196 . =) (202 . |order|) (207 . |coefficient|)
              |EXPEXPAN;limitPlus;$U;10| (|Union| 87 '#2="failed") (|Matrix| $)
              (|InputForm|) (|Pattern| 96) (|Pattern| 12)
              (|NonNegativeInteger|) (|List| 84) (|Equation| 16) (|List| 16)
              (|Record| (|:| |mat| 88) (|:| |vec| (|Vector| 12))) (|Vector| $)
              (|Matrix| 12) (|List| 82) (|PatternMatchResult| 96 $)
              (|PatternMatchResult| 12 $) (|Factored| 93)
              (|SparseUnivariatePolynomial| $) (|Union| 95 '#2#) (|List| 93)
              (|Float|) (|DoubleFloat|) (|Union| 13 '#1#) (|Union| 52 '#1#)
              (|Matrix| 16)
              (|Record| (|:| |mat| 100) (|:| |vec| (|Vector| 16)))
              (|Mapping| 16 16) (|Union| 16 '#1#) (|Factored| $)
              (|Union| 106 '#3="failed") (|List| $)
              (|Record| (|:| |coef1| $) (|:| |coef2| $) (|:| |generator| $))
              (|Record| (|:| |coef1| $) (|:| |coef2| $)) (|Union| 108 '#3#)
              (|Record| (|:| |quotient| $) (|:| |remainder| $))
              (|Record| (|:| |coef| 106) (|:| |generator| $))
              (|Record| (|:| |unit| $) (|:| |canonical| $) (|:| |associate| $))
              (|PositiveInteger|) (|SingleInteger|) (|String|) (|OutputForm|))
           '#(~= 213 |zero?| 219 |wholePart| 224 |unitNormal| 229
              |unitCanonical| 234 |unit?| 239 |subtractIfCan| 244
              |squareFreePolynomial| 250 |squareFreePart| 255 |squareFree| 260
              |solveLinearPolynomialEquation| 265 |smaller?| 271 |sizeLess?|
              277 |sign| 283 |sample| 288 |retractIfCan| 292 |retract| 317
              |rem| 342 |reducedSystem| 348 |recip| 370 |random| 375 |quo| 379
              |principalIdeal| 385 |prime?| 390 |positive?| 395 |patternMatch|
              400 |one?| 414 |numerator| 419 |numer| 424 |nextItem| 429
              |negative?| 434 |multiEuclidean| 439 |min| 445 |max| 451 |map|
              457 |limitPlus| 463 |lcm| 468 |latex| 479 |inv| 484 |init| 489
              |hash| 493 |gcdPolynomial| 498 |gcd| 504 |fractionPart| 515
              |floor| 520 |factorSquareFreePolynomial| 525 |factorPolynomial|
              530 |factor| 535 |extendedEuclidean| 540 |exquo| 553
              |expressIdealMember| 559 |eval| 565 |euclideanSize| 605 |elt| 610
              |divide| 616 |differentiate| 622 |denominator| 672 |denom| 677
              |convert| 682 |conditionP| 707 |coerce| 712 |charthRoot| 747
              |characteristic| 752 |ceiling| 756 |associates?| 761 |abs| 767 ^
              772 |Zero| 790 |One| 794 D 798 >= 848 > 854 = 860 <= 866 < 872 /
              878 - 890 + 901 * 907)
           'NIL
           (CONS
            (|makeByteWordVec2| 25
                                '(0 0 0 1 0 0 0 7 0 0 0 0 0 0 0 0 0 0 0 0 0 3 4
                                  7 14 15 16 0 0 0 0 7 0 0 0 0 0 0 0 7 0 7 0 0
                                  7 0 0 0 0 25 0 0 0 24 9 10 11 0 0 6 18 0 0 0
                                  0 0 0 0 0 0 0 2 5 6 6 8 8 12 13 17 18 19))
            (CONS
             '#(|QuotientFieldCategory&| |Field&| |EuclideanDomain&|
                |PolynomialFactorizationExplicit&| NIL
                |UniqueFactorizationDomain&| |GcdDomain&| NIL |DivisionRing&|
                |IntegralDomain&| |FullyLinearlyExplicitRingOver&|
                |DifferentialExtension&| |Algebra&| |Algebra&| |Algebra&| NIL
                |Module&| |Module&| NIL NIL |Module&| NIL NIL |OrderedRing&|
                NIL |PartialDifferentialRing&| |DifferentialRing&| NIL NIL NIL
                |Ring&| NIL NIL NIL NIL NIL NIL NIL NIL NIL |AbelianGroup&| NIL
                NIL NIL NIL NIL |AbelianMonoid&| |Monoid&| NIL |OrderedSet&|
                |FullyEvalableOver&| |SemiGroup&| |AbelianSemiGroup&| NIL NIL
                NIL NIL NIL |SetCategory&| NIL |Evalable&| |RetractableTo&| NIL
                |RetractableTo&| NIL NIL NIL NIL NIL |BasicType&| NIL
                |RetractableTo&| NIL NIL NIL |RetractableTo&| |RetractableTo&|
                NIL NIL |InnerEvalable&| |InnerEvalable&| NIL)
             (CONS
              '#((|QuotientFieldCategory|
                  (|UnivariatePuiseuxSeriesWithExponentialSingularity| 6 7 8
                                                                       9))
                 (|Field|) (|EuclideanDomain|)
                 (|PolynomialFactorizationExplicit|) (|PrincipalIdealDomain|)
                 (|UniqueFactorizationDomain|) (|GcdDomain|)
                 (|OrderedIntegralDomain|) (|DivisionRing|) (|IntegralDomain|)
                 (|FullyLinearlyExplicitRingOver|
                  (|UnivariatePuiseuxSeriesWithExponentialSingularity| 6 7 8
                                                                       9))
                 (|DifferentialExtension|
                  (|UnivariatePuiseuxSeriesWithExponentialSingularity| 6 7 8
                                                                       9))
                 (|Algebra|
                  (|UnivariatePuiseuxSeriesWithExponentialSingularity| 6 7 8
                                                                       9))
                 (|Algebra| 13) (|Algebra| $$)
                 (|LinearlyExplicitRingOver|
                  (|UnivariatePuiseuxSeriesWithExponentialSingularity| 6 7 8
                                                                       9))
                 (|Module|
                  (|UnivariatePuiseuxSeriesWithExponentialSingularity| 6 7 8
                                                                       9))
                 (|Module| 13) (|EntireRing|) (|CommutativeRing|) (|Module| $$)
                 (|CharacteristicNonZero|) (|CharacteristicZero|)
                 (|OrderedRing|) (|LinearlyExplicitRingOver| 12)
                 (|PartialDifferentialRing| 52) (|DifferentialRing|)
                 (|BiModule|
                  (|UnivariatePuiseuxSeriesWithExponentialSingularity| 6 7 8 9)
                  (|UnivariatePuiseuxSeriesWithExponentialSingularity| 6 7 8
                                                                       9))
                 (|BiModule| 13 13) (|BiModule| $$ $$) (|Ring|)
                 (|OrderedAbelianGroup|)
                 (|RightModule|
                  (|UnivariatePuiseuxSeriesWithExponentialSingularity| 6 7 8
                                                                       9))
                 (|LeftModule|
                  (|UnivariatePuiseuxSeriesWithExponentialSingularity| 6 7 8
                                                                       9))
                 (|RightModule| 13) (|LeftModule| 13) (|LeftModule| $$) (|Rng|)
                 (|RightModule| $$) (|OrderedCancellationAbelianMonoid|)
                 (|AbelianGroup|) (|OrderedAbelianMonoid|)
                 (|CancellationAbelianMonoid|) (|SemiRing|)
                 (|OrderedAbelianSemiGroup|)
                 (|FullyPatternMatchable|
                  (|UnivariatePuiseuxSeriesWithExponentialSingularity| 6 7 8
                                                                       9))
                 (|AbelianMonoid|) (|Monoid|) (|SemiRng|) (|OrderedSet|)
                 (|FullyEvalableOver|
                  (|UnivariatePuiseuxSeriesWithExponentialSingularity| 6 7 8
                                                                       9))
                 (|SemiGroup|) (|AbelianSemiGroup|) (|Comparable|)
                 (|StepThrough|) (|PatternMatchable| 96)
                 (|PatternMatchable| 12)
                 (|Patternable|
                  (|UnivariatePuiseuxSeriesWithExponentialSingularity| 6 7 8
                                                                       9))
                 (|SetCategory|) (|RealConstant|)
                 (|Evalable|
                  (|UnivariatePuiseuxSeriesWithExponentialSingularity| 6 7 8
                                                                       9))
                 (|RetractableTo| (|UnivariatePuiseuxSeries| 7 8 9)) (|Type|)
                 (|RetractableTo|
                  (|UnivariatePuiseuxSeriesWithExponentialSingularity| 6 7 8
                                                                       9))
                 (|canonicalsClosed|) (|canonicalUnitNormal|)
                 (|noZeroDivisors|) (|CommutativeStar|) (|unitsKnown|)
                 (|BasicType|) (|CoercibleTo| 116) (|RetractableTo| 52)
                 (|ConvertibleTo| 79) (|ConvertibleTo| 97) (|ConvertibleTo| 96)
                 (|RetractableTo| 13) (|RetractableTo| 12) (|ConvertibleTo| 80)
                 (|ConvertibleTo| 81)
                 (|InnerEvalable| 52
                                  (|UnivariatePuiseuxSeriesWithExponentialSingularity|
                                   6 7 8 9))
                 (|InnerEvalable|
                  (|UnivariatePuiseuxSeriesWithExponentialSingularity| 6 7 8 9)
                  (|UnivariatePuiseuxSeriesWithExponentialSingularity| 6 7 8
                                                                       9))
                 (|Eltable|
                  (|UnivariatePuiseuxSeriesWithExponentialSingularity| 6 7 8 9)
                  $$))
              (|makeByteWordVec2| 116
                                  '(0 7 0 11 2 13 0 12 12 14 1 0 16 0 17 0 16 0
                                    18 2 16 19 0 0 20 1 0 16 0 21 1 16 22 0 23
                                    1 16 25 0 26 2 10 0 16 16 27 1 0 0 16 28 2
                                    0 0 16 0 29 2 10 0 0 0 31 2 16 0 0 0 32 1
                                    16 0 34 35 2 34 0 0 0 37 0 13 0 38 2 34 13
                                    0 13 39 0 7 0 40 0 0 0 41 0 6 0 42 0 10 0
                                    43 0 13 0 44 0 45 0 46 0 34 0 47 2 13 19 0
                                    0 48 2 34 7 0 13 49 1 7 50 0 51 2 50 19 52
                                    0 53 2 13 19 0 0 54 1 45 0 7 55 1 57 56 7
                                    58 0 45 0 59 0 45 0 60 2 7 0 0 0 61 1 0 19
                                    0 62 1 16 63 0 64 1 16 68 0 69 2 70 0 0 0
                                    71 0 70 0 72 2 70 19 0 0 73 1 70 13 0 74 2
                                    70 7 0 13 75 2 0 19 0 0 1 1 0 19 0 62 1 20
                                    16 0 1 1 0 112 0 1 1 0 0 0 1 1 0 19 0 1 2 0
                                    25 0 0 1 1 1 92 93 1 1 0 0 0 1 1 0 104 0 1
                                    2 1 94 95 93 1 2 22 19 0 0 1 2 0 19 0 0 1 1
                                    7 12 0 1 0 0 0 1 1 8 56 0 1 1 8 98 0 1 1 2
                                    99 0 1 1 0 22 0 24 1 0 103 0 1 1 8 12 0 1 1
                                    8 13 0 1 1 2 52 0 1 1 0 34 0 1 1 0 16 0 1 2
                                    0 0 0 0 1 2 14 86 78 87 1 1 14 88 78 1 1 0
                                    100 78 1 2 0 101 78 87 1 1 0 25 0 1 0 21 0
                                    1 2 0 0 0 0 1 1 0 111 106 1 1 0 19 0 1 1 7
                                    19 0 1 3 10 90 0 80 90 1 3 11 91 0 81 91 1
                                    1 0 19 0 1 1 0 0 0 1 1 0 16 0 21 1 9 25 0 1
                                    1 7 19 0 1 2 0 105 106 0 1 2 23 0 0 0 1 2
                                    23 0 0 0 1 2 0 0 102 0 1 1 0 63 0 76 1 0 0
                                    106 1 2 0 0 0 0 1 1 0 115 0 1 1 0 0 0 1 0 9
                                    0 1 1 0 114 0 1 2 0 93 93 93 1 1 0 0 106 1
                                    2 0 0 0 0 1 1 20 0 0 1 1 21 16 0 1 1 1 92
                                    93 1 1 1 92 93 1 1 0 104 0 1 2 0 107 0 0 1
                                    3 0 109 0 0 0 1 2 0 25 0 0 1 2 0 105 106 0
                                    1 2 18 0 0 83 1 3 18 0 0 16 16 1 2 18 0 0
                                    84 1 3 18 0 0 85 85 1 3 17 0 0 52 16 1 3 17
                                    0 0 50 85 1 1 0 82 0 1 2 19 0 0 16 1 2 0
                                    110 0 0 1 2 16 0 0 82 1 1 16 0 0 1 3 15 0 0
                                    50 89 1 2 15 0 0 50 1 3 15 0 0 52 82 1 2 15
                                    0 0 52 1 2 0 0 0 102 1 3 0 0 0 102 82 1 1 0
                                    0 0 1 1 0 16 0 17 1 5 79 0 1 1 12 80 0 1 1
                                    13 81 0 1 1 6 96 0 1 1 6 97 0 1 1 26 77 78
                                    1 1 2 0 52 1 1 0 0 34 36 1 0 0 16 28 1 0 0
                                    13 1 1 0 0 12 1 1 0 0 0 1 1 0 116 0 1 1 27
                                    25 0 1 0 0 82 1 1 21 16 0 1 2 0 19 0 0 1 1
                                    7 0 0 1 2 0 0 0 12 1 2 0 0 0 82 1 2 0 0 0
                                    113 1 0 0 0 41 0 0 0 1 2 16 0 0 82 1 1 16 0
                                    0 1 3 15 0 0 50 89 1 2 15 0 0 50 1 3 15 0 0
                                    52 82 1 2 15 0 0 52 1 2 0 0 0 102 1 3 0 0 0
                                    102 82 1 2 23 19 0 0 1 2 23 19 0 0 1 2 0 19
                                    0 0 1 2 23 19 0 0 1 2 23 19 0 0 1 2 0 0 16
                                    16 30 2 0 0 0 0 33 2 0 0 0 0 1 1 0 0 0 1 2
                                    0 0 0 0 1 2 0 0 16 0 29 2 0 0 0 16 1 2 0 0
                                    13 0 1 2 0 0 0 13 1 2 0 0 0 0 1 2 0 0 12 0
                                    1 2 0 0 82 0 1 2 0 0 113 0 1)))))
           '|lookupComplete|)) 
