
(/VERSIONCHECK 2) 

(DEFUN |SULS;variable;$S;1| (|x| $) (QREFELT $ 7)) 

(DEFUN |SULS;center;$Coef;2| (|x| $) (QREFELT $ 8)) 

(DEFUN |SULS;coerce;V$;3| (|v| $)
  (COND
   ((SPADCALL (QREFELT $ 8) (QREFELT $ 14))
    (SPADCALL (|spadConstant| $ 15) 1 (QREFELT $ 18)))
   ('T
    (SPADCALL (SPADCALL (|spadConstant| $ 15) 1 (QREFELT $ 18))
              (SPADCALL (QREFELT $ 8) 0 (QREFELT $ 18)) (QREFELT $ 21))))) 

(DEFUN |SULS;pole?;$B;4| (|x| $) (MINUSP (SPADCALL |x| 0 (QREFELT $ 24)))) 

(PUT '|SULS;coerce;Suts$;5| '|SPADreplace| '(XLAM (|uts|) |uts|)) 

(DEFUN |SULS;coerce;Suts$;5| (|uts| $) |uts|) 

(DEFUN |SULS;taylorIfCan;$U;6| (|uls| $)
  (COND ((SPADCALL |uls| (QREFELT $ 25)) (CONS 1 "failed"))
        ('T (CONS 0 |uls|)))) 

(DEFUN |SULS;taylor;$Suts;7| (|uls| $)
  (PROG (|uts|)
    (RETURN
     (SEQ (LETT |uts| (SPADCALL |uls| (QREFELT $ 29)) |SULS;taylor;$Suts;7|)
          (EXIT
           (COND
            ((QEQCAR |uts| 1) (|error| "taylor: Laurent series has a pole"))
            ('T (QCDR |uts|)))))))) 

(DEFUN |SULS;retractIfCan;$U;8| (|x| $) (SPADCALL |x| (QREFELT $ 29))) 

(DEFUN |SULS;laurent;ISuts$;9| (|n| |uts| $)
  (SPADCALL (SPADCALL (|spadConstant| $ 15) |n| (QREFELT $ 18))
            (SPADCALL |uts| (QREFELT $ 27)) (QREFELT $ 32))) 

(PUT '|SULS;removeZeroes;2$;10| '|SPADreplace| '(XLAM (|uls|) |uls|)) 

(DEFUN |SULS;removeZeroes;2$;10| (|uls| $) |uls|) 

(PUT '|SULS;removeZeroes;I2$;11| '|SPADreplace| '(XLAM (|n| |uls|) |uls|)) 

(DEFUN |SULS;removeZeroes;I2$;11| (|n| |uls| $) |uls|) 

(DEFUN |SULS;taylorRep;$Suts;12| (|uls| $)
  (SPADCALL
   (SPADCALL
    (SPADCALL (|spadConstant| $ 15) (- (SPADCALL |uls| 0 (QREFELT $ 24)))
              (QREFELT $ 18))
    |uls| (QREFELT $ 32))
   (QREFELT $ 30))) 

(DEFUN |SULS;degree;$I;13| (|uls| $) (SPADCALL |uls| 0 (QREFELT $ 24))) 

(DEFUN |SULS;numer;$Suts;14| (|uls| $) (SPADCALL |uls| (QREFELT $ 36))) 

(DEFUN |SULS;denom;$Suts;15| (|uls| $)
  (PROG (#1=#:G1838)
    (RETURN
     (SPADCALL (|spadConstant| $ 15)
               (PROG1
                   (LETT #1# (- (SPADCALL |uls| 0 (QREFELT $ 24)))
                         |SULS;denom;$Suts;15|)
                 (|check-subtype| (>= #1# 0) '(|NonNegativeInteger|) #1#))
               (QREFELT $ 40))))) 

(DEFUN |SULS;*;Suts2$;16| (|uts| |uls| $)
  (SPADCALL (SPADCALL |uts| (QREFELT $ 27)) |uls| (QREFELT $ 32))) 

(DEFUN |SULS;*;$Suts$;17| (|uls| |uts| $)
  (SPADCALL |uls| (SPADCALL |uts| (QREFELT $ 27)) (QREFELT $ 32))) 

(DEFUN |SULS;/;2Suts$;18| (|uts1| |uts2| $)
  (SPADCALL (SPADCALL |uts1| (QREFELT $ 27)) (SPADCALL |uts2| (QREFELT $ 27))
            (QREFELT $ 44))) 

(DEFUN |SULS;recip;$U;19| (|uls| $)
  (SPADCALL (|spadConstant| $ 16) |uls| 'NIL (QREFELT $ 47))) 

(DEFUN |SULS;exquo;2$U;20| (|uls1| |uls2| $)
  (SPADCALL |uls1| |uls2| 'NIL (QREFELT $ 47))) 

(DEFUN |SULS;/;3$;21| (|uls1| |uls2| $)
  (PROG (|q|)
    (RETURN
     (SEQ (LETT |q| (SPADCALL |uls1| |uls2| (QREFELT $ 49)) |SULS;/;3$;21|)
          (EXIT
           (COND ((QEQCAR |q| 1) (|error| "quotient cannot be computed"))
                 ('T (QCDR |q|)))))))) 

(DEFUN |SULS;differentiate;$V$;22| (|uls| |v| $)
  (SPADCALL |uls| (QREFELT $ 50))) 

(DEFUN |SULS;elt;3$;23| (|uls1| |uls2| $)
  (PROG (#1=#:G1868 |uls3| |recipr| |ord|)
    (RETURN
     (SEQ
      (COND
       ((< (SPADCALL |uls2| 1 (QREFELT $ 24)) 1)
        (|error| "elt: second argument must have positive order"))
       ((MINUSP
         (LETT |ord| (SPADCALL |uls1| 0 (QREFELT $ 24))
               . #2=(|SULS;elt;3$;23|)))
        (SEQ (LETT |recipr| (SPADCALL |uls2| (QREFELT $ 48)) . #2#)
             (EXIT
              (COND
               ((QEQCAR |recipr| 1)
                (|error| "elt: second argument not invertible"))
               (#3='T
                (SEQ
                 (LETT |uls3|
                       (SPADCALL |uls1|
                                 (SPADCALL (|spadConstant| $ 15) (- |ord|)
                                           (QREFELT $ 18))
                                 (QREFELT $ 32))
                       . #2#)
                 (EXIT
                  (SPADCALL (SPADCALL |uls3| |uls2| (QREFELT $ 52))
                            (SPADCALL (QCDR |recipr|)
                                      (PROG1 (LETT #1# (- |ord|) . #2#)
                                        (|check-subtype| (>= #1# 0)
                                                         '(|NonNegativeInteger|)
                                                         #1#))
                                      (QREFELT $ 53))
                            (QREFELT $ 32)))))))))
       (#3# (SPADCALL |uls1| |uls2| (QREFELT $ 52)))))))) 

(DEFUN |SULS;rationalFunction;$IF;24| (|uls| |n| $)
  (PROG (#1=#:G1882 |c| |v| |poly| #2=#:G1881 |m| #3=#:G1878 |e|)
    (RETURN
     (SEQ
      (COND
       ((ZEROP
         (LETT |e| (SPADCALL |uls| 0 (QREFELT $ 24))
               . #4=(|SULS;rationalFunction;$IF;24|)))
        (COND ((MINUSP |n|) (|spadConstant| $ 56))
              (#5='T
               (SPADCALL
                (SPADCALL (SPADCALL |uls| (QREFELT $ 30))
                          (PROG1 (LETT #3# |n| . #4#)
                            (|check-subtype| (>= #3# 0) '(|NonNegativeInteger|)
                                             #3#))
                          (QREFELT $ 58))
                (QREFELT $ 59)))))
       ((MINUSP (LETT |m| (- |n| |e|) . #4#)) (|spadConstant| $ 56))
       (#5#
        (SEQ
         (LETT |poly|
               (SPADCALL
                (SPADCALL
                 (SPADCALL
                  (SPADCALL
                   (SPADCALL (|spadConstant| $ 15) (- |e|) (QREFELT $ 18))
                   |uls| (QREFELT $ 32))
                  (QREFELT $ 30))
                 (PROG1 (LETT #2# |m| . #4#)
                   (|check-subtype| (>= #2# 0) '(|NonNegativeInteger|) #2#))
                 (QREFELT $ 58))
                (QREFELT $ 59))
               . #4#)
         (LETT |v| (SPADCALL (SPADCALL |uls| (QREFELT $ 11)) (QREFELT $ 60))
               . #4#)
         (LETT |c|
               (SPADCALL
                (SPADCALL (SPADCALL |uls| (QREFELT $ 12)) (QREFELT $ 61))
                (QREFELT $ 59))
               . #4#)
         (EXIT
          (SPADCALL |poly|
                    (SPADCALL (SPADCALL |v| |c| (QREFELT $ 62))
                              (PROG1 (LETT #1# (- |e|) . #4#)
                                (|check-subtype| (>= #1# 0)
                                                 '(|NonNegativeInteger|) #1#))
                              (QREFELT $ 63))
                    (QREFELT $ 64)))))))))) 

(DEFUN |SULS;rationalFunction;$2IF;25| (|uls| |n1| |n2| $)
  (SPADCALL (SPADCALL |uls| |n1| |n2| (QREFELT $ 66)) |n2| (QREFELT $ 65))) 

(DEFUN |SULS;integrate;2$;26| (|uls| $)
  (COND
   ((SPADCALL (SPADCALL |uls| -1 (QREFELT $ 68)) (QREFELT $ 14))
    (|error| "integrate: series has term of order -1"))
   ('T (SPADCALL |uls| (QREFELT $ 69))))) 

(DEFUN |SULS;integrate;$V$;27| (|uls| |v| $) (SPADCALL |uls| (QREFELT $ 70))) 

(DEFUN |SULS;^;3$;28| (|uls1| |uls2| $)
  (SPADCALL (SPADCALL (SPADCALL |uls1| (QREFELT $ 72)) |uls2| (QREFELT $ 32))
            (QREFELT $ 73))) 

(DEFUN |SULS;exp;2$;29| (|uls| $) (SPADCALL |uls| (QREFELT $ 76))) 

(DEFUN |SULS;log;2$;30| (|uls| $) (SPADCALL |uls| (QREFELT $ 77))) 

(DEFUN |SULS;sin;2$;31| (|uls| $) (SPADCALL |uls| (QREFELT $ 78))) 

(DEFUN |SULS;cos;2$;32| (|uls| $) (SPADCALL |uls| (QREFELT $ 80))) 

(DEFUN |SULS;tan;2$;33| (|uls| $) (SPADCALL |uls| (QREFELT $ 82))) 

(DEFUN |SULS;cot;2$;34| (|uls| $) (SPADCALL |uls| (QREFELT $ 84))) 

(DEFUN |SULS;sec;2$;35| (|uls| $) (SPADCALL |uls| (QREFELT $ 86))) 

(DEFUN |SULS;csc;2$;36| (|uls| $) (SPADCALL |uls| (QREFELT $ 88))) 

(DEFUN |SULS;asin;2$;37| (|uls| $) (SPADCALL |uls| (QREFELT $ 90))) 

(DEFUN |SULS;acos;2$;38| (|uls| $) (SPADCALL |uls| (QREFELT $ 92))) 

(DEFUN |SULS;atan;2$;39| (|uls| $) (SPADCALL |uls| (QREFELT $ 94))) 

(DEFUN |SULS;acot;2$;40| (|uls| $) (SPADCALL |uls| (QREFELT $ 96))) 

(DEFUN |SULS;asec;2$;41| (|uls| $) (SPADCALL |uls| (QREFELT $ 98))) 

(DEFUN |SULS;acsc;2$;42| (|uls| $) (SPADCALL |uls| (QREFELT $ 100))) 

(DEFUN |SULS;sinh;2$;43| (|uls| $) (SPADCALL |uls| (QREFELT $ 102))) 

(DEFUN |SULS;cosh;2$;44| (|uls| $) (SPADCALL |uls| (QREFELT $ 104))) 

(DEFUN |SULS;tanh;2$;45| (|uls| $) (SPADCALL |uls| (QREFELT $ 106))) 

(DEFUN |SULS;coth;2$;46| (|uls| $) (SPADCALL |uls| (QREFELT $ 108))) 

(DEFUN |SULS;sech;2$;47| (|uls| $) (SPADCALL |uls| (QREFELT $ 110))) 

(DEFUN |SULS;csch;2$;48| (|uls| $) (SPADCALL |uls| (QREFELT $ 112))) 

(DEFUN |SULS;asinh;2$;49| (|uls| $) (SPADCALL |uls| (QREFELT $ 114))) 

(DEFUN |SULS;acosh;2$;50| (|uls| $) (SPADCALL |uls| (QREFELT $ 116))) 

(DEFUN |SULS;atanh;2$;51| (|uls| $) (SPADCALL |uls| (QREFELT $ 118))) 

(DEFUN |SULS;acoth;2$;52| (|uls| $) (SPADCALL |uls| (QREFELT $ 120))) 

(DEFUN |SULS;asech;2$;53| (|uls| $) (SPADCALL |uls| (QREFELT $ 122))) 

(DEFUN |SULS;acsch;2$;54| (|uls| $) (SPADCALL |uls| (QREFELT $ 124))) 

(DEFUN |SULS;^;$F$;55| (|uls| |r| $) (SPADCALL |uls| |r| (QREFELT $ 127))) 

(DEFUN |SULS;^;$F$;56| (|uls| |r| $)
  (PROG (|uts| |utsPow| |n| |order| |ord0|)
    (RETURN
     (SEQ
      (COND
       ((MINUSP
         (LETT |ord0| (SPADCALL |uls| 0 (QREFELT $ 24))
               . #1=(|SULS;^;$F$;56|)))
        (SEQ (LETT |order| |ord0| . #1#)
             (LETT |n|
                   (SPADCALL |order| (SPADCALL |r| (QREFELT $ 129))
                             (QREFELT $ 130))
                   . #1#)
             (EXIT
              (COND
               ((QEQCAR |n| 1) (|error| "^: rational power does not exist"))
               (#2='T
                (SEQ
                 (LETT |uts|
                       (SPADCALL
                        (SPADCALL |uls|
                                  (SPADCALL (|spadConstant| $ 15) (- |order|)
                                            (QREFELT $ 18))
                                  (QREFELT $ 32))
                        (QREFELT $ 131))
                       . #1#)
                 (LETT |utsPow|
                       (SPADCALL (SPADCALL |uts| |r| (QREFELT $ 132))
                                 (QREFELT $ 27))
                       . #1#)
                 (EXIT
                  (SPADCALL
                   (SPADCALL (|spadConstant| $ 15)
                             (* (QCDR |n|) (SPADCALL |r| (QREFELT $ 133)))
                             (QREFELT $ 18))
                   |utsPow| (QREFELT $ 32)))))))))
       (#2#
        (SEQ (LETT |uts| (SPADCALL |uls| (QREFELT $ 131)) . #1#)
             (EXIT
              (SPADCALL (SPADCALL |uts| |r| (QREFELT $ 132))
                        (QREFELT $ 27)))))))))) 

(DEFUN |SULS;coerce;$Of;57| (|uls| $)
  (PROG (|degr| #1=#:G1928 |count| |nx| |st|)
    (RETURN
     (SEQ
      (LETT |st| (SPADCALL |uls| (QREFELT $ 136)) . #2=(|SULS;coerce;$Of;57|))
      (COND
       ((NULL (SPADCALL |st| (QREFELT $ 137)))
        (COND
         ((NULL (SPADCALL |st| (QREFELT $ 138)))
          (COND
           ((QEQCAR
             (LETT |nx|
                   (SPADCALL
                    (SPADCALL (SPADCALL |uls| (QREFELT $ 140)) (QREFELT $ 142))
                    (QREFELT $ 144))
                   . #2#)
             0)
            (SEQ (LETT |count| |$streamCount| . #2#)
                 (LETT |degr|
                       (MIN |count|
                            (+
                             (+
                              (PROG2
                                  (LETT #1# |nx| . #2#)
                                  (QCDR #1#)
                                (|check-union| (QEQCAR #1# 0) (|Integer|) #1#))
                              |count|)
                             1))
                       . #2#)
                 (EXIT (SPADCALL |uls| |degr| (QREFELT $ 145))))))))))
      (EXIT
       (SPADCALL |st| (SPADCALL |uls| (QREFELT $ 140))
                 (SPADCALL |uls| (QREFELT $ 11))
                 (SPADCALL |uls| (QREFELT $ 12)) (|spadConstant| $ 146)
                 (QREFELT $ 148))))))) 

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

(DEFUN |SparseUnivariateLaurentSeries;| (|#1| |#2| |#3|)
  (PROG (#1=#:G1991 |pv$| #2=#:G1985 #3=#:G1986 #4=#:G1987 #5=#:G1988
         #6=#:G1990 $ |dv$| DV$3 DV$2 DV$1)
    (RETURN
     (PROGN
      (LETT DV$1 (|devaluate| |#1|) . #7=(|SparseUnivariateLaurentSeries|))
      (LETT DV$2 (|devaluate| |#2|) . #7#)
      (LETT DV$3 (|devaluate| |#3|) . #7#)
      (LETT |dv$| (LIST '|SparseUnivariateLaurentSeries| DV$1 DV$2 DV$3) . #7#)
      (LETT $ (GETREFV 194) . #7#)
      (QSETREFV $ 0 |dv$|)
      (QSETREFV $ 3
                (LETT |pv$|
                      (|buildPredVector| 0 0
                                         (LIST
                                          (|HasCategory| |#1|
                                                         '(|CommutativeRing|))
                                          (|HasCategory| (|Integer|)
                                                         '(|SemiGroup|))
                                          (|HasCategory| |#1| '(|Field|))
                                          (OR
                                           (|HasCategory| |#1| '(|SemiRing|))
                                           (|HasSignature| |#1|
                                                           (LIST '*
                                                                 (LIST
                                                                  (|devaluate|
                                                                   |#1|)
                                                                  '(|Integer|)
                                                                  (|devaluate|
                                                                   |#1|)))))
                                          (OR (|HasCategory| |#1| '(|Ring|))
                                              (|HasSignature| |#1|
                                                              (LIST '*
                                                                    (LIST
                                                                     (|devaluate|
                                                                      |#1|)
                                                                     '(|Integer|)
                                                                     (|devaluate|
                                                                      |#1|)))))
                                          (LETT #6#
                                                (|HasCategory| |#1|
                                                               '(|IntegralDomain|))
                                                . #7#)
                                          (OR (|HasCategory| |#1| '(|Field|))
                                              #6#)
                                          (OR
                                           (|HasCategory| |#1|
                                                          '(|CommutativeRing|))
                                           #6#)
                                          (AND (|HasCategory| |#1| '(|Field|))
                                               (|HasCategory|
                                                (|SparseUnivariateTaylorSeries|
                                                 |#1| |#2| |#3|)
                                                '(|RetractableTo| (|Symbol|))))
                                          (OR
                                           (|HasCategory| |#1|
                                                          '(|CharacteristicZero|))
                                           (AND (|HasCategory| |#1| '(|Field|))
                                                (|HasCategory|
                                                 (|SparseUnivariateTaylorSeries|
                                                  |#1| |#2| |#3|)
                                                 '(|CharacteristicZero|))))
                                          (AND (|HasCategory| |#1| '(|Field|))
                                               (|HasCategory|
                                                (|SparseUnivariateTaylorSeries|
                                                 |#1| |#2| |#3|)
                                                '(|ConvertibleTo|
                                                  (|InputForm|))))
                                          (AND (|HasCategory| |#1| '(|Field|))
                                               (|HasCategory|
                                                (|SparseUnivariateTaylorSeries|
                                                 |#1| |#2| |#3|)
                                                '(|RealConstant|)))
                                          (OR
                                           (|HasCategory| |#1|
                                                          '(|CommutativeRing|))
                                           (|HasCategory| |#1| '(|Field|)) #6#)
                                          (AND (|HasCategory| |#1| '(|Field|))
                                               (|HasCategory|
                                                (|SparseUnivariateTaylorSeries|
                                                 |#1| |#2| |#3|)
                                                '(|OrderedIntegralDomain|)))
                                          (AND (|HasCategory| |#1| '(|Field|))
                                               (|HasCategory|
                                                (|SparseUnivariateTaylorSeries|
                                                 |#1| |#2| |#3|)
                                                '(|RetractableTo|
                                                  (|Integer|))))
                                          (AND (|HasCategory| |#1| '(|Field|))
                                               (|HasCategory|
                                                (|SparseUnivariateTaylorSeries|
                                                 |#1| |#2| |#3|)
                                                '(|StepThrough|)))
                                          (AND (|HasCategory| |#1| '(|Field|))
                                               (|HasCategory|
                                                (|SparseUnivariateTaylorSeries|
                                                 |#1| |#2| |#3|)
                                                (LIST '|InnerEvalable|
                                                      '(|Symbol|)
                                                      (LIST
                                                       '|SparseUnivariateTaylorSeries|
                                                       (|devaluate| |#1|)
                                                       (|devaluate| |#2|)
                                                       (|devaluate| |#3|)))))
                                          (AND (|HasCategory| |#1| '(|Field|))
                                               (|HasCategory|
                                                (|SparseUnivariateTaylorSeries|
                                                 |#1| |#2| |#3|)
                                                (LIST '|Evalable|
                                                      (LIST
                                                       '|SparseUnivariateTaylorSeries|
                                                       (|devaluate| |#1|)
                                                       (|devaluate| |#2|)
                                                       (|devaluate| |#3|)))))
                                          (AND (|HasCategory| |#1| '(|Field|))
                                               (|HasCategory|
                                                (|SparseUnivariateTaylorSeries|
                                                 |#1| |#2| |#3|)
                                                (LIST '|Eltable|
                                                      (LIST
                                                       '|SparseUnivariateTaylorSeries|
                                                       (|devaluate| |#1|)
                                                       (|devaluate| |#2|)
                                                       (|devaluate| |#3|))
                                                      (LIST
                                                       '|SparseUnivariateTaylorSeries|
                                                       (|devaluate| |#1|)
                                                       (|devaluate| |#2|)
                                                       (|devaluate| |#3|)))))
                                          (OR
                                           (AND
                                            (|HasCategory| |#1|
                                                           '(|PartialDifferentialRing|
                                                             (|Symbol|)))
                                            (|HasSignature| |#1|
                                                            (LIST '*
                                                                  (LIST
                                                                   (|devaluate|
                                                                    |#1|)
                                                                   '(|Integer|)
                                                                   (|devaluate|
                                                                    |#1|)))))
                                           (AND (|HasCategory| |#1| '(|Field|))
                                                (|HasCategory|
                                                 (|SparseUnivariateTaylorSeries|
                                                  |#1| |#2| |#3|)
                                                 '(|PartialDifferentialRing|
                                                   (|Symbol|)))))
                                          (OR
                                           (AND (|HasCategory| |#1| '(|Field|))
                                                (|HasCategory|
                                                 (|SparseUnivariateTaylorSeries|
                                                  |#1| |#2| |#3|)
                                                 '(|DifferentialRing|)))
                                           (|HasSignature| |#1|
                                                           (LIST '*
                                                                 (LIST
                                                                  (|devaluate|
                                                                   |#1|)
                                                                  '(|Integer|)
                                                                  (|devaluate|
                                                                   |#1|)))))
                                          (AND (|HasCategory| |#1| '(|Field|))
                                               (|HasCategory|
                                                (|SparseUnivariateTaylorSeries|
                                                 |#1| |#2| |#3|)
                                                '(|LinearlyExplicitRingOver|
                                                  (|Integer|))))
                                          (AND (|HasCategory| |#1| '(|Field|))
                                               (|HasCategory|
                                                (|SparseUnivariateTaylorSeries|
                                                 |#1| |#2| |#3|)
                                                '(|ConvertibleTo|
                                                  (|Pattern| (|Float|)))))
                                          (AND (|HasCategory| |#1| '(|Field|))
                                               (|HasCategory|
                                                (|SparseUnivariateTaylorSeries|
                                                 |#1| |#2| |#3|)
                                                '(|ConvertibleTo|
                                                  (|Pattern| (|Integer|)))))
                                          (AND (|HasCategory| |#1| '(|Field|))
                                               (|HasCategory|
                                                (|SparseUnivariateTaylorSeries|
                                                 |#1| |#2| |#3|)
                                                '(|PatternMatchable|
                                                  (|Float|))))
                                          (AND (|HasCategory| |#1| '(|Field|))
                                               (|HasCategory|
                                                (|SparseUnivariateTaylorSeries|
                                                 |#1| |#2| |#3|)
                                                '(|PatternMatchable|
                                                  (|Integer|))))
                                          (|HasSignature| |#1|
                                                          (LIST '^
                                                                (LIST
                                                                 (|devaluate|
                                                                  |#1|)
                                                                 (|devaluate|
                                                                  |#1|)
                                                                 '(|Integer|))))
                                          (AND
                                           (|HasSignature| |#1|
                                                           (LIST '^
                                                                 (LIST
                                                                  (|devaluate|
                                                                   |#1|)
                                                                  (|devaluate|
                                                                   |#1|)
                                                                  '(|Integer|))))
                                           (|HasSignature| |#1|
                                                           (LIST '|coerce|
                                                                 (LIST
                                                                  (|devaluate|
                                                                   |#1|)
                                                                  '(|Symbol|)))))
                                          (AND (|HasCategory| |#1| '(|Field|))
                                               (|HasCategory|
                                                (|SparseUnivariateTaylorSeries|
                                                 |#1| |#2| |#3|)
                                                '(|Comparable|)))
                                          (LETT #5#
                                                (AND
                                                 (|HasCategory| |#1|
                                                                '(|Field|))
                                                 (|HasCategory|
                                                  (|SparseUnivariateTaylorSeries|
                                                   |#1| |#2| |#3|)
                                                  '(|OrderedSet|)))
                                                . #7#)
                                          (OR
                                           (AND (|HasCategory| |#1| '(|Field|))
                                                (|HasCategory|
                                                 (|SparseUnivariateTaylorSeries|
                                                  |#1| |#2| |#3|)
                                                 '(|OrderedIntegralDomain|)))
                                           #5#)
                                          (OR
                                           (AND (|HasCategory| |#1| '(|Field|))
                                                (|HasCategory|
                                                 (|SparseUnivariateTaylorSeries|
                                                  |#1| |#2| |#3|)
                                                 '(|Comparable|)))
                                           (AND (|HasCategory| |#1| '(|Field|))
                                                (|HasCategory|
                                                 (|SparseUnivariateTaylorSeries|
                                                  |#1| |#2| |#3|)
                                                 '(|OrderedIntegralDomain|)))
                                           #5#)
                                          (|HasCategory| |#1|
                                                         '(|CharacteristicNonZero|))
                                          (LETT #4#
                                                (|HasCategory|
                                                 (|SparseUnivariateTaylorSeries|
                                                  |#1| |#2| |#3|)
                                                 '(|PolynomialFactorizationExplicit|))
                                                . #7#)
                                          (AND (|HasCategory| |#1| '(|Field|))
                                               #4#)
                                          (LETT #3#
                                                (|HasCategory|
                                                 (|SparseUnivariateTaylorSeries|
                                                  |#1| |#2| |#3|)
                                                 '(|CharacteristicNonZero|))
                                                . #7#)
                                          (OR
                                           (|HasCategory| |#1|
                                                          '(|CharacteristicNonZero|))
                                           (AND (|HasCategory| |#1| '(|Field|))
                                                #3#))
                                          (AND (|HasCategory| |#1| '(|Field|))
                                               (|HasCategory|
                                                (|SparseUnivariateTaylorSeries|
                                                 |#1| |#2| |#3|)
                                                '(|IntegerNumberSystem|)))
                                          (AND (|HasCategory| |#1| '(|Field|))
                                               (|HasCategory|
                                                (|SparseUnivariateTaylorSeries|
                                                 |#1| |#2| |#3|)
                                                '(|EuclideanDomain|)))
                                          (OR
                                           (|HasCategory| |#1|
                                                          '(|AbelianGroup|))
                                           (|HasSignature| |#1|
                                                           (LIST '*
                                                                 (LIST
                                                                  (|devaluate|
                                                                   |#1|)
                                                                  '(|Integer|)
                                                                  (|devaluate|
                                                                   |#1|)))))
                                          (OR
                                           (|HasCategory| |#1|
                                                          '(|CancellationAbelianMonoid|))
                                           (|HasSignature| |#1|
                                                           (LIST '*
                                                                 (LIST
                                                                  (|devaluate|
                                                                   |#1|)
                                                                  '(|Integer|)
                                                                  (|devaluate|
                                                                   |#1|)))))
                                          (OR
                                           (|HasCategory| |#1|
                                                          '(|AbelianMonoid|))
                                           (|HasSignature| |#1|
                                                           (LIST '*
                                                                 (LIST
                                                                  (|devaluate|
                                                                   |#1|)
                                                                  '(|Integer|)
                                                                  (|devaluate|
                                                                   |#1|)))))
                                          (LETT #2#
                                                (|HasCategory| |#1|
                                                               '(|Algebra|
                                                                 (|Fraction|
                                                                  (|Integer|))))
                                                . #7#)
                                          (OR #2#
                                              (AND
                                               (|HasCategory| |#1| '(|Field|))
                                               (|HasCategory|
                                                (|SparseUnivariateTaylorSeries|
                                                 |#1| |#2| |#3|)
                                                '(|ConvertibleTo|
                                                  (|Pattern| (|Float|)))))
                                              (AND
                                               (|HasCategory| |#1| '(|Field|))
                                               (|HasCategory|
                                                (|SparseUnivariateTaylorSeries|
                                                 |#1| |#2| |#3|)
                                                '(|ConvertibleTo|
                                                  (|Pattern| (|Integer|)))))
                                              (AND
                                               (|HasCategory| |#1| '(|Field|))
                                               (|HasCategory|
                                                (|SparseUnivariateTaylorSeries|
                                                 |#1| |#2| |#3|)
                                                '(|ConvertibleTo|
                                                  (|InputForm|))))
                                              (AND
                                               (|HasCategory| |#1| '(|Field|))
                                               (|HasCategory|
                                                (|SparseUnivariateTaylorSeries|
                                                 |#1| |#2| |#3|)
                                                (LIST '|Eltable|
                                                      (LIST
                                                       '|SparseUnivariateTaylorSeries|
                                                       (|devaluate| |#1|)
                                                       (|devaluate| |#2|)
                                                       (|devaluate| |#3|))
                                                      (LIST
                                                       '|SparseUnivariateTaylorSeries|
                                                       (|devaluate| |#1|)
                                                       (|devaluate| |#2|)
                                                       (|devaluate| |#3|)))))
                                              (AND
                                               (|HasCategory| |#1| '(|Field|))
                                               (|HasCategory|
                                                (|SparseUnivariateTaylorSeries|
                                                 |#1| |#2| |#3|)
                                                (LIST '|Evalable|
                                                      (LIST
                                                       '|SparseUnivariateTaylorSeries|
                                                       (|devaluate| |#1|)
                                                       (|devaluate| |#2|)
                                                       (|devaluate| |#3|)))))
                                              (AND
                                               (|HasCategory| |#1| '(|Field|))
                                               (|HasCategory|
                                                (|SparseUnivariateTaylorSeries|
                                                 |#1| |#2| |#3|)
                                                (LIST '|InnerEvalable|
                                                      '(|Symbol|)
                                                      (LIST
                                                       '|SparseUnivariateTaylorSeries|
                                                       (|devaluate| |#1|)
                                                       (|devaluate| |#2|)
                                                       (|devaluate| |#3|)))))
                                              (AND
                                               (|HasCategory| |#1| '(|Field|))
                                               (|HasCategory|
                                                (|SparseUnivariateTaylorSeries|
                                                 |#1| |#2| |#3|)
                                                '(|LinearlyExplicitRingOver|
                                                  (|Integer|))))
                                              (AND
                                               (|HasCategory| |#1| '(|Field|))
                                               (|HasCategory|
                                                (|SparseUnivariateTaylorSeries|
                                                 |#1| |#2| |#3|)
                                                '(|PatternMatchable|
                                                  (|Float|))))
                                              (AND
                                               (|HasCategory| |#1| '(|Field|))
                                               (|HasCategory|
                                                (|SparseUnivariateTaylorSeries|
                                                 |#1| |#2| |#3|)
                                                '(|PatternMatchable|
                                                  (|Integer|))))
                                              (AND
                                               (|HasCategory| |#1| '(|Field|))
                                               (|HasCategory|
                                                (|SparseUnivariateTaylorSeries|
                                                 |#1| |#2| |#3|)
                                                '(|RetractableTo|
                                                  (|Integer|))))
                                              (AND
                                               (|HasCategory| |#1| '(|Field|))
                                               (|HasCategory|
                                                (|SparseUnivariateTaylorSeries|
                                                 |#1| |#2| |#3|)
                                                '(|RetractableTo| (|Symbol|))))
                                              (AND
                                               (|HasCategory| |#1| '(|Field|))
                                               (|HasCategory|
                                                (|SparseUnivariateTaylorSeries|
                                                 |#1| |#2| |#3|)
                                                '(|Comparable|)))
                                              (AND
                                               (|HasCategory| |#1| '(|Field|))
                                               (|HasCategory|
                                                (|SparseUnivariateTaylorSeries|
                                                 |#1| |#2| |#3|)
                                                '(|OrderedIntegralDomain|)))
                                              #5#
                                              (AND
                                               (|HasCategory| |#1| '(|Field|))
                                               #4#)
                                              (AND
                                               (|HasCategory| |#1| '(|Field|))
                                               (|HasCategory|
                                                (|SparseUnivariateTaylorSeries|
                                                 |#1| |#2| |#3|)
                                                '(|RealConstant|)))
                                              (AND
                                               (|HasCategory| |#1| '(|Field|))
                                               (|HasCategory|
                                                (|SparseUnivariateTaylorSeries|
                                                 |#1| |#2| |#3|)
                                                '(|StepThrough|))))
                                          (OR #2#
                                              (|HasCategory| |#1|
                                                             '(|CommutativeRing|))
                                              #6#
                                              (|HasCategory| |#1| '(|Ring|))
                                              (|HasSignature| |#1|
                                                              (LIST '*
                                                                    (LIST
                                                                     (|devaluate|
                                                                      |#1|)
                                                                     '(|Integer|)
                                                                     (|devaluate|
                                                                      |#1|)))))
                                          (OR #2#
                                              (|HasCategory| |#1|
                                                             '(|AbelianGroup|))
                                              (|HasCategory| |#1|
                                                             '(|AbelianMonoid|))
                                              (|HasCategory| |#1|
                                                             '(|CancellationAbelianMonoid|))
                                              (|HasCategory| |#1|
                                                             '(|CharacteristicNonZero|))
                                              (|HasCategory| |#1|
                                                             '(|CharacteristicZero|))
                                              (|HasCategory| |#1|
                                                             '(|CommutativeRing|))
                                              (|HasCategory| |#1| '(|Field|))
                                              #6#
                                              (|HasCategory| |#1| '(|Ring|))
                                              (|HasSignature| |#1|
                                                              (LIST '*
                                                                    (LIST
                                                                     (|devaluate|
                                                                      |#1|)
                                                                     '(|Integer|)
                                                                     (|devaluate|
                                                                      |#1|)))))
                                          (OR #2#
                                              (|HasCategory| |#1|
                                                             '(|AbelianGroup|))
                                              (|HasCategory| |#1|
                                                             '(|CancellationAbelianMonoid|))
                                              (|HasCategory| |#1|
                                                             '(|CharacteristicNonZero|))
                                              (|HasCategory| |#1|
                                                             '(|CharacteristicZero|))
                                              (|HasCategory| |#1|
                                                             '(|CommutativeRing|))
                                              (|HasCategory| |#1| '(|Field|))
                                              #6#
                                              (|HasCategory| |#1| '(|Ring|))
                                              (|HasSignature| |#1|
                                                              (LIST '*
                                                                    (LIST
                                                                     (|devaluate|
                                                                      |#1|)
                                                                     '(|Integer|)
                                                                     (|devaluate|
                                                                      |#1|)))))
                                          (OR #2#
                                              (|HasCategory| |#1|
                                                             '(|AbelianGroup|))
                                              (|HasCategory| |#1|
                                                             '(|CharacteristicNonZero|))
                                              (|HasCategory| |#1|
                                                             '(|CharacteristicZero|))
                                              (|HasCategory| |#1|
                                                             '(|CommutativeRing|))
                                              (|HasCategory| |#1| '(|Field|))
                                              #6#
                                              (|HasCategory| |#1| '(|Ring|))
                                              (|HasSignature| |#1|
                                                              (LIST '*
                                                                    (LIST
                                                                     (|devaluate|
                                                                      |#1|)
                                                                     '(|Integer|)
                                                                     (|devaluate|
                                                                      |#1|)))))
                                          (OR #2#
                                              (|HasCategory| |#1|
                                                             '(|CharacteristicNonZero|))
                                              (|HasCategory| |#1|
                                                             '(|CharacteristicZero|))
                                              (|HasCategory| |#1|
                                                             '(|CommutativeRing|))
                                              (|HasCategory| |#1| '(|Field|))
                                              #6#
                                              (|HasCategory| |#1| '(|Ring|))
                                              (|HasSignature| |#1|
                                                              (LIST '*
                                                                    (LIST
                                                                     (|devaluate|
                                                                      |#1|)
                                                                     '(|Integer|)
                                                                     (|devaluate|
                                                                      |#1|)))))
                                          (OR
                                           (AND #2#
                                                (|HasCategory| |#1|
                                                               '(|AlgebraicallyClosedFunctionSpace|
                                                                 (|Integer|)))
                                                (|HasCategory| |#1|
                                                               '(|PrimitiveFunctionCategory|))
                                                (|HasCategory| |#1|
                                                               '(|TranscendentalFunctionCategory|)))
                                           (AND #2#
                                                (|HasSignature| |#1|
                                                                (LIST
                                                                 '|integrate|
                                                                 (LIST
                                                                  (|devaluate|
                                                                   |#1|)
                                                                  (|devaluate|
                                                                   |#1|)
                                                                  '(|Symbol|))))
                                                (|HasSignature| |#1|
                                                                (LIST
                                                                 '|variables|
                                                                 (LIST
                                                                  '(|List|
                                                                    (|Symbol|))
                                                                  (|devaluate|
                                                                   |#1|))))))))
                      . #7#))
      (|haddProp| |$ConstructorCache| '|SparseUnivariateLaurentSeries|
                  (LIST DV$1 DV$2 DV$3) (CONS 1 $))
      (|stuffDomainSlots| $)
      (QSETREFV $ 6 |#1|)
      (QSETREFV $ 7 |#2|)
      (QSETREFV $ 8 |#3|)
      (AND
       (LETT #1#
             (AND (|HasCategory| |#1| '(|Field|))
                  (|HasCategory| $ '(|CharacteristicNonZero|))
                  (|HasCategory|
                   (|SparseUnivariateTaylorSeries| |#1| |#2| |#3|)
                   '(|PolynomialFactorizationExplicit|)))
             . #7#)
       (|augmentPredVector| $ 1125899906842624))
      (AND
       (OR (|HasCategory| |#1| '(|CharacteristicNonZero|)) #1#
           (AND (|HasCategory| |#1| '(|Field|)) #3#))
       (|augmentPredVector| $ 2251799813685248))
      (SETF |pv$| (QREFELT $ 3))
      (QSETREFV $ 9 (|InnerSparseUnivariatePowerSeries| |#1|))
      (COND
       ((|testBitVector| |pv$| 3)
        (QSETREFV $ 45 (CONS (|dispatchFunction| |SULS;/;2Suts$;18|) $))))
      (COND
       ((|testBitVector| |pv$| 6)
        (QSETREFV $ 49 (CONS (|dispatchFunction| |SULS;exquo;2$U;20|) $))))
      (COND
       ((|testBitVector| |pv$| 3)
        (QSETREFV $ 44 (CONS (|dispatchFunction| |SULS;/;3$;21|) $))))
      (COND
       ((|testBitVector| |pv$| 6)
        (PROGN
         (QSETREFV $ 65
                   (CONS (|dispatchFunction| |SULS;rationalFunction;$IF;24|)
                         $))
         (QSETREFV $ 67
                   (CONS (|dispatchFunction| |SULS;rationalFunction;$2IF;25|)
                         $)))))
      (COND
       ((|testBitVector| |pv$| 43)
        (PROGN
         (QSETREFV $ 70 (CONS (|dispatchFunction| |SULS;integrate;2$;26|) $))
         (QSETREFV $ 71 (CONS (|dispatchFunction| |SULS;integrate;$V$;27|) $))
         (QSETREFV $ 74 (CONS (|dispatchFunction| |SULS;^;3$;28|) $))
         (QSETREFV $ 73 (CONS (|dispatchFunction| |SULS;exp;2$;29|) $))
         (QSETREFV $ 72 (CONS (|dispatchFunction| |SULS;log;2$;30|) $))
         (QSETREFV $ 79 (CONS (|dispatchFunction| |SULS;sin;2$;31|) $))
         (QSETREFV $ 81 (CONS (|dispatchFunction| |SULS;cos;2$;32|) $))
         (QSETREFV $ 83 (CONS (|dispatchFunction| |SULS;tan;2$;33|) $))
         (QSETREFV $ 85 (CONS (|dispatchFunction| |SULS;cot;2$;34|) $))
         (QSETREFV $ 87 (CONS (|dispatchFunction| |SULS;sec;2$;35|) $))
         (QSETREFV $ 89 (CONS (|dispatchFunction| |SULS;csc;2$;36|) $))
         (QSETREFV $ 91 (CONS (|dispatchFunction| |SULS;asin;2$;37|) $))
         (QSETREFV $ 93 (CONS (|dispatchFunction| |SULS;acos;2$;38|) $))
         (QSETREFV $ 95 (CONS (|dispatchFunction| |SULS;atan;2$;39|) $))
         (QSETREFV $ 97 (CONS (|dispatchFunction| |SULS;acot;2$;40|) $))
         (QSETREFV $ 99 (CONS (|dispatchFunction| |SULS;asec;2$;41|) $))
         (QSETREFV $ 101 (CONS (|dispatchFunction| |SULS;acsc;2$;42|) $))
         (QSETREFV $ 103 (CONS (|dispatchFunction| |SULS;sinh;2$;43|) $))
         (QSETREFV $ 105 (CONS (|dispatchFunction| |SULS;cosh;2$;44|) $))
         (QSETREFV $ 107 (CONS (|dispatchFunction| |SULS;tanh;2$;45|) $))
         (QSETREFV $ 109 (CONS (|dispatchFunction| |SULS;coth;2$;46|) $))
         (QSETREFV $ 111 (CONS (|dispatchFunction| |SULS;sech;2$;47|) $))
         (QSETREFV $ 113 (CONS (|dispatchFunction| |SULS;csch;2$;48|) $))
         (QSETREFV $ 115 (CONS (|dispatchFunction| |SULS;asinh;2$;49|) $))
         (QSETREFV $ 117 (CONS (|dispatchFunction| |SULS;acosh;2$;50|) $))
         (QSETREFV $ 119 (CONS (|dispatchFunction| |SULS;atanh;2$;51|) $))
         (QSETREFV $ 121 (CONS (|dispatchFunction| |SULS;acoth;2$;52|) $))
         (QSETREFV $ 123 (CONS (|dispatchFunction| |SULS;asech;2$;53|) $))
         (QSETREFV $ 125 (CONS (|dispatchFunction| |SULS;acsch;2$;54|) $))
         (COND
          ((|testBitVector| |pv$| 1)
           (QSETREFV $ 128 (CONS (|dispatchFunction| |SULS;^;$F$;55|) $)))
          ('T
           (QSETREFV $ 128 (CONS (|dispatchFunction| |SULS;^;$F$;56|) $)))))))
      $)))) 

(MAKEPROP '|SparseUnivariateLaurentSeries| '|infovec|
          (LIST
           '#(NIL NIL NIL NIL NIL (|InnerSparseUnivariatePowerSeries| 6)
              (|local| |#1|) (|local| |#2|) (|local| |#3|) '|Rep| (|Symbol|)
              |SULS;variable;$S;1| |SULS;center;$Coef;2| (|Boolean|)
              (0 . |zero?|) (5 . |One|) (9 . |One|) (|Integer|)
              (13 . |monomial|) (19 . |Zero|) (23 . |Zero|) (27 . +)
              (|Variable| 7) |SULS;coerce;V$;3| (33 . |order|)
              |SULS;pole?;$B;4| (|SparseUnivariateTaylorSeries| 6 7 8)
              |SULS;coerce;Suts$;5| (|Union| 26 '"failed")
              |SULS;taylorIfCan;$U;6| |SULS;taylor;$Suts;7|
              |SULS;retractIfCan;$U;8| (39 . *) |SULS;laurent;ISuts$;9|
              |SULS;removeZeroes;2$;10| |SULS;removeZeroes;I2$;11|
              |SULS;taylorRep;$Suts;12| |SULS;degree;$I;13|
              |SULS;numer;$Suts;14| (|NonNegativeInteger|) (45 . |monomial|)
              |SULS;denom;$Suts;15| |SULS;*;Suts2$;16| |SULS;*;$Suts$;17|
              (51 . /) (57 . /) (|Union| $ '"failed") (63 . |iExquo|)
              |SULS;recip;$U;19| (70 . |exquo|) (76 . |differentiate|)
              |SULS;differentiate;$V$;22| (81 . |iCompose|) (87 . ^)
              |SULS;elt;3$;23| (|Fraction| 57) (93 . |Zero|) (|Polynomial| 6)
              (97 . |polynomial|) (103 . |coerce|) (108 . |coerce|)
              (113 . |coerce|) (118 . -) (124 . ^) (130 . /)
              (136 . |rationalFunction|) (142 . |truncate|)
              (149 . |rationalFunction|) (156 . |coefficient|)
              (162 . |integrate|) (167 . |integrate|) (172 . |integrate|)
              (178 . |log|) (183 . |exp|) (188 . ^)
              (|ElementaryFunctionsUnivariateLaurentSeries| 6 26 $$)
              (194 . |exp|) (199 . |log|) (204 . |sin|) (209 . |sin|)
              (214 . |cos|) (219 . |cos|) (224 . |tan|) (229 . |tan|)
              (234 . |cot|) (239 . |cot|) (244 . |sec|) (249 . |sec|)
              (254 . |csc|) (259 . |csc|) (264 . |asin|) (269 . |asin|)
              (274 . |acos|) (279 . |acos|) (284 . |atan|) (289 . |atan|)
              (294 . |acot|) (299 . |acot|) (304 . |asec|) (309 . |asec|)
              (314 . |acsc|) (319 . |acsc|) (324 . |sinh|) (329 . |sinh|)
              (334 . |cosh|) (339 . |cosh|) (344 . |tanh|) (349 . |tanh|)
              (354 . |coth|) (359 . |coth|) (364 . |sech|) (369 . |sech|)
              (374 . |csch|) (379 . |csch|) (384 . |asinh|) (389 . |asinh|)
              (394 . |acosh|) (399 . |acosh|) (404 . |atanh|) (409 . |atanh|)
              (414 . |acoth|) (419 . |acoth|) (424 . |asech|) (429 . |asech|)
              (434 . |acsch|) (439 . |acsch|) (|Fraction| 17)
              (444 . |cRationalPower|) (450 . ^) (456 . |denom|)
              (461 . |exquo|) (467 . |retract|) (472 . ^) (478 . |numer|)
              (|Record| (|:| |k| 17) (|:| |c| 6)) (|Stream| 134)
              (483 . |getStream|) (488 . |explicitlyEmpty?|)
              (493 . |explicitEntries?|) (|Reference| 141) (498 . |getRef|)
              (|OrderedCompletion| 17) (503 . |elt|) (|Union| 17 '"failed")
              (508 . |retractIfCan|) (513 . |extend|) (519 . |One|)
              (|OutputForm|) (523 . |seriesToOutputForm|) |SULS;coerce;$Of;57|
              (|Union| 160 '#1="failed") (|Matrix| $) (|InputForm|)
              (|Pattern| 168) (|Pattern| 17) (|List| 26) (|Equation| 26)
              (|List| 156) (|List| 10)
              (|Record| (|:| |mat| 161) (|:| |vec| (|Vector| 17))) (|Vector| $)
              (|Matrix| 17) (|PatternMatchResult| 168 $)
              (|PatternMatchResult| 17 $) (|Factored| 165)
              (|SparseUnivariatePolynomial| $) (|Union| 167 '#1#) (|List| 165)
              (|Float|) (|DoubleFloat|) (|Union| 126 '#2="failed")
              (|Union| 10 '#2#) (|List| 39) (|Mapping| 26 26)
              (|Record| (|:| |mat| 175) (|:| |vec| (|Vector| 26)))
              (|Matrix| 26) (|List| $)
              (|Record| (|:| |coef| 176) (|:| |generator| $))
              (|Union| 176 '"failed")
              (|Record| (|:| |quotient| $) (|:| |remainder| $))
              (|Record| (|:| |coef1| $) (|:| |coef2| $) (|:| |generator| $))
              (|Record| (|:| |coef1| $) (|:| |coef2| $))
              (|Union| 181 '"failed") (|Factored| $)
              (|Record| (|:| |unit| $) (|:| |canonical| $) (|:| |associate| $))
              (|Stream| 6) (|Mapping| 6 17) (|PositiveInteger|) (|List| 190)
              (|List| 17) (|SingletonAsOrderedSet|) (|Mapping| 6 6) (|String|)
              (|SingleInteger|))
           '#(~= 532 |zero?| 538 |wholePart| 543 |variables| 548 |variable| 553
              |unitNormal| 558 |unitCanonical| 563 |unit?| 568 |truncate| 573
              |terms| 586 |taylorRep| 591 |taylorIfCan| 596 |taylor| 601 |tanh|
              606 |tan| 611 |subtractIfCan| 616 |squareFreePolynomial| 622
              |squareFreePart| 627 |squareFree| 632 |sqrt| 637
              |solveLinearPolynomialEquation| 642 |smaller?| 648 |sizeLess?|
              654 |sinh| 660 |sin| 665 |sign| 670 |series| 675 |sech| 680 |sec|
              685 |sample| 690 |retractIfCan| 694 |retract| 714 |removeZeroes|
              734 |rem| 745 |reductum| 751 |reducedSystem| 756 |recip| 778
              |rationalFunction| 783 |random| 796 |quo| 800 |principalIdeal|
              806 |prime?| 811 |positive?| 816 |pole?| 821 |pi| 826
              |patternMatch| 830 |order| 844 |one?| 855 |numerator| 860 |numer|
              865 |nthRoot| 870 |nextItem| 876 |negative?| 881
              |multiplyExponents| 886 |multiplyCoefficients| 892
              |multiEuclidean| 898 |monomial?| 904 |monomial| 909 |min| 929
              |max| 935 |map| 941 |log| 953 |leadingMonomial| 958
              |leadingCoefficient| 963 |lcm| 968 |laurent| 979 |latex| 985
              |inv| 990 |integrate| 995 |init| 1012 |hash| 1016 |gcdPolynomial|
              1021 |gcd| 1027 |fractionPart| 1038 |floor| 1043
              |factorSquareFreePolynomial| 1048 |factorPolynomial| 1053
              |factor| 1058 |extendedEuclidean| 1063 |extend| 1076 |exquo| 1082
              |expressIdealMember| 1088 |exp| 1094 |eval| 1099 |euclideanSize|
              1145 |elt| 1150 |divide| 1168 |differentiate| 1174 |denominator|
              1230 |denom| 1235 |degree| 1240 |csch| 1245 |csc| 1250 |coth|
              1255 |cot| 1260 |cosh| 1265 |cos| 1270 |convert| 1275
              |conditionP| 1300 |complete| 1305 |coerce| 1310 |coefficient|
              1350 |charthRoot| 1356 |characteristic| 1361 |center| 1365
              |ceiling| 1370 |atanh| 1375 |atan| 1380 |associates?| 1385
              |asinh| 1391 |asin| 1396 |asech| 1401 |asec| 1406 |approximate|
              1411 |acsch| 1417 |acsc| 1422 |acoth| 1427 |acot| 1432 |acosh|
              1437 |acos| 1442 |abs| 1447 ^ 1452 |Zero| 1482 |One| 1486 D 1490
              >= 1540 > 1546 = 1552 <= 1558 < 1564 / 1570 - 1588 + 1599 * 1605)
           'NIL
           (CONS
            (|makeByteWordVec2| 49
                                '(0 0 3 3 0 3 35 0 3 3 0 3 14 3 7 1 6 44 3 3 3
                                  1 7 6 44 37 10 13 14 3 20 21 3 22 0 8 44 14 3
                                  49 0 0 1 45 44 44 14 3 3 49 14 48 4 14 47 0 4
                                  31 46 3 0 0 32 16 3 25 26 0 44 12 18 3 0 0 0
                                  2 3 3 44 44 44 44 44 44 5 1 6 9 11 12 12 31
                                  15 15 17 18 19 23 24 3))
            (CONS
             '#(|UnivariateLaurentSeriesConstructorCategory&| NIL
                |QuotientFieldCategory&| |Field&|
                |UnivariatePowerSeriesCategory&| |EuclideanDomain&|
                |PolynomialFactorizationExplicit&| |PowerSeriesCategory&| NIL
                |UniqueFactorizationDomain&| |AbelianMonoidRing&| |GcdDomain&|
                NIL |DivisionRing&| |IntegralDomain&| |Algebra&| |Algebra&|
                |Algebra&| |Algebra&| |DifferentialExtension&|
                |FullyLinearlyExplicitRingOver&| |Module&| NIL |Module&|
                |Module&| NIL NIL NIL |OrderedRing&| |Module&|
                |PartialDifferentialRing&| |DifferentialRing&| NIL NIL NIL NIL
                NIL NIL NIL |Ring&| NIL NIL NIL NIL NIL NIL NIL NIL NIL NIL NIL
                |AbelianGroup&| NIL NIL NIL NIL |Monoid&| |OrderedSet&|
                |AbelianMonoid&| NIL |AbelianSemiGroup&| |SemiGroup&| NIL NIL
                |FullyEvalableOver&| NIL NIL |SetCategory&|
                |TranscendentalFunctionCategory&| NIL |Evalable&| NIL
                |RetractableTo&| |BasicType&| NIL NIL NIL NIL
                |TrigonometricFunctionCategory&|
                |ArcTrigonometricFunctionCategory&|
                |HyperbolicFunctionCategory&| NIL |ElementaryFunctionCategory&|
                |RadicalCategory&| NIL NIL NIL |RetractableTo&| NIL NIL NIL
                |PartialOrder&| |RetractableTo&| |RetractableTo&|
                |InnerEvalable&| |InnerEvalable&| NIL NIL NIL NIL)
             (CONS
              '#((|UnivariateLaurentSeriesConstructorCategory| 6
                                                               (|SparseUnivariateTaylorSeries|
                                                                6 7 8))
                 (|UnivariateLaurentSeriesCategory| 6)
                 (|QuotientFieldCategory|
                  (|SparseUnivariateTaylorSeries| 6 7 8))
                 (|Field|) (|UnivariatePowerSeriesCategory| 6 17)
                 (|EuclideanDomain|) (|PolynomialFactorizationExplicit|)
                 (|PowerSeriesCategory| 6 17 190) (|PrincipalIdealDomain|)
                 (|UniqueFactorizationDomain|) (|AbelianMonoidRing| 6 17)
                 (|GcdDomain|) (|OrderedIntegralDomain|) (|DivisionRing|)
                 (|IntegralDomain|) (|Algebra| 6) (|Algebra| $$)
                 (|Algebra| 126)
                 (|Algebra| (|SparseUnivariateTaylorSeries| 6 7 8))
                 (|DifferentialExtension|
                  (|SparseUnivariateTaylorSeries| 6 7 8))
                 (|FullyLinearlyExplicitRingOver|
                  (|SparseUnivariateTaylorSeries| 6 7 8))
                 (|Module| 6) (|EntireRing|) (|Module| $$) (|Module| 126)
                 (|CharacteristicNonZero|) (|CharacteristicZero|)
                 (|CommutativeRing|) (|OrderedRing|)
                 (|Module| (|SparseUnivariateTaylorSeries| 6 7 8))
                 (|PartialDifferentialRing| 10) (|DifferentialRing|)
                 (|LinearlyExplicitRingOver|
                  (|SparseUnivariateTaylorSeries| 6 7 8))
                 (|LinearlyExplicitRingOver| 17) (|BiModule| 6 6)
                 (|BiModule| $$ $$) (|BiModule| 126 126)
                 (|OrderedAbelianGroup|)
                 (|BiModule| (|SparseUnivariateTaylorSeries| 6 7 8)
                             (|SparseUnivariateTaylorSeries| 6 7 8))
                 (|Ring|) (|LeftModule| 6) (|RightModule| 6) (|RightModule| $$)
                 (|LeftModule| $$) (|LeftModule| 126) (|RightModule| 126)
                 (|OrderedCancellationAbelianMonoid|)
                 (|LeftModule| (|SparseUnivariateTaylorSeries| 6 7 8))
                 (|RightModule| (|SparseUnivariateTaylorSeries| 6 7 8)) (|Rng|)
                 (|OrderedAbelianMonoid|) (|AbelianGroup|) (|SemiRing|)
                 (|OrderedAbelianSemiGroup|) (|CancellationAbelianMonoid|)
                 (|SemiRng|) (|Monoid|) (|OrderedSet|) (|AbelianMonoid|)
                 (|FullyPatternMatchable|
                  (|SparseUnivariateTaylorSeries| 6 7 8))
                 (|AbelianSemiGroup|) (|SemiGroup|) (|Comparable|)
                 (|StepThrough|)
                 (|FullyEvalableOver| (|SparseUnivariateTaylorSeries| 6 7 8))
                 (|PatternMatchable| 168) (|PatternMatchable| 17)
                 (|SetCategory|) (|TranscendentalFunctionCategory|)
                 (|RealConstant|)
                 (|Evalable| (|SparseUnivariateTaylorSeries| 6 7 8))
                 (|Patternable| (|SparseUnivariateTaylorSeries| 6 7 8))
                 (|RetractableTo| (|SparseUnivariateTaylorSeries| 6 7 8))
                 (|BasicType|) (|CoercibleTo| 147) (|Eltable| $$ $$)
                 (|canonicalUnitNormal|) (|canonicalsClosed|)
                 (|TrigonometricFunctionCategory|)
                 (|ArcTrigonometricFunctionCategory|)
                 (|HyperbolicFunctionCategory|)
                 (|ArcHyperbolicFunctionCategory|)
                 (|ElementaryFunctionCategory|) (|RadicalCategory|)
                 (|unitsKnown|) (|CommutativeStar|) (|noZeroDivisors|)
                 (|RetractableTo| 10) (|ConvertibleTo| 152)
                 (|ConvertibleTo| 169) (|ConvertibleTo| 168) (|PartialOrder|)
                 (|RetractableTo| 126) (|RetractableTo| 17)
                 (|InnerEvalable| 10 (|SparseUnivariateTaylorSeries| 6 7 8))
                 (|InnerEvalable| (|SparseUnivariateTaylorSeries| 6 7 8)
                                  (|SparseUnivariateTaylorSeries| 6 7 8))
                 (|Eltable| (|SparseUnivariateTaylorSeries| 6 7 8) $$)
                 (|ConvertibleTo| 153) (|ConvertibleTo| 154) (|Type|))
              (|makeByteWordVec2| 193
                                  '(1 6 13 0 14 0 6 0 15 0 0 0 16 2 0 0 6 17 18
                                    0 6 0 19 0 0 0 20 2 0 0 0 0 21 2 0 17 0 17
                                    24 2 0 0 0 0 32 2 26 0 6 39 40 2 0 0 0 0 44
                                    2 0 0 26 26 45 3 9 46 0 0 13 47 2 0 46 0 0
                                    49 1 0 0 0 50 2 9 0 0 0 52 2 0 0 0 39 53 0
                                    55 0 56 2 26 57 0 39 58 1 55 0 57 59 1 55 0
                                    10 60 1 57 0 6 61 2 55 0 0 0 62 2 55 0 0 17
                                    63 2 55 0 0 0 64 2 0 55 0 17 65 3 0 0 0 17
                                    17 66 3 0 55 0 17 17 67 2 0 6 0 17 68 1 9 0
                                    0 69 1 0 0 0 70 2 0 0 0 22 71 1 0 0 0 72 1
                                    0 0 0 73 2 0 0 0 0 74 1 75 2 2 76 1 75 2 2
                                    77 1 75 2 2 78 1 0 0 0 79 1 75 2 2 80 1 0 0
                                    0 81 1 75 2 2 82 1 0 0 0 83 1 75 2 2 84 1 0
                                    0 0 85 1 75 2 2 86 1 0 0 0 87 1 75 2 2 88 1
                                    0 0 0 89 1 75 2 2 90 1 0 0 0 91 1 75 2 2 92
                                    1 0 0 0 93 1 75 2 2 94 1 0 0 0 95 1 75 2 2
                                    96 1 0 0 0 97 1 75 2 2 98 1 0 0 0 99 1 75 2
                                    2 100 1 0 0 0 101 1 75 2 2 102 1 0 0 0 103
                                    1 75 2 2 104 1 0 0 0 105 1 75 2 2 106 1 0 0
                                    0 107 1 75 2 2 108 1 0 0 0 109 1 75 2 2 110
                                    1 0 0 0 111 1 75 2 2 112 1 0 0 0 113 1 75 2
                                    2 114 1 0 0 0 115 1 75 2 2 116 1 0 0 0 117
                                    1 75 2 2 118 1 0 0 0 119 1 75 2 2 120 1 0 0
                                    0 121 1 75 2 2 122 1 0 0 0 123 1 75 2 2 124
                                    1 0 0 0 125 2 9 0 0 126 127 2 0 0 0 126 128
                                    1 126 17 0 129 2 17 46 0 0 130 1 0 26 0 131
                                    2 26 0 0 126 132 1 126 17 0 133 1 9 135 0
                                    136 1 135 13 0 137 1 135 13 0 138 1 9 139 0
                                    140 1 139 141 0 142 1 141 143 0 144 2 0 0 0
                                    17 145 0 126 0 146 5 9 147 135 139 10 6 126
                                    148 2 0 13 0 0 1 1 42 13 0 1 1 39 26 0 1 1
                                    0 188 0 1 1 0 10 0 11 1 6 184 0 1 1 6 0 0 1
                                    1 6 13 0 1 2 0 0 0 17 1 3 0 0 0 17 17 66 1
                                    0 135 0 1 1 0 26 0 36 1 0 28 0 29 1 0 26 0
                                    30 1 43 0 0 107 1 43 0 0 83 2 41 46 0 0 1 1
                                    35 164 165 1 1 3 0 0 1 1 3 183 0 1 1 43 0 0
                                    1 2 35 166 167 165 1 2 29 13 0 0 1 2 3 13 0
                                    0 1 1 43 0 0 103 1 43 0 0 79 1 14 17 0 1 1
                                    0 0 135 1 1 43 0 0 111 1 43 0 0 87 0 42 0 1
                                    1 15 170 0 1 1 15 143 0 1 1 9 171 0 1 1 0
                                    28 0 31 1 15 126 0 1 1 15 17 0 1 1 9 10 0 1
                                    1 0 26 0 131 1 0 0 0 34 2 0 0 17 0 35 2 3 0
                                    0 0 1 1 0 0 0 1 2 22 159 151 160 1 1 22 161
                                    151 1 2 3 174 151 160 1 1 3 175 151 1 1 4
                                    46 0 48 2 6 55 0 17 65 3 6 55 0 17 17 67 0
                                    38 0 1 2 3 0 0 0 1 1 3 177 176 1 1 3 13 0 1
                                    1 14 13 0 1 1 0 13 0 25 0 43 0 1 3 25 162 0
                                    153 162 1 3 26 163 0 154 163 1 2 0 17 0 17
                                    24 1 0 17 0 1 1 4 13 0 1 1 3 0 0 1 1 3 26 0
                                    38 2 43 0 0 17 1 1 16 46 0 1 1 14 13 0 1 2
                                    0 0 0 187 1 2 0 0 186 0 1 2 3 178 176 0 1 1
                                    0 13 0 1 3 0 0 0 188 189 1 3 0 0 0 190 17 1
                                    2 0 0 6 17 18 2 30 0 0 0 1 2 30 0 0 0 1 2 3
                                    0 173 0 1 2 0 0 191 0 1 1 43 0 0 72 1 0 0 0
                                    1 1 0 6 0 1 2 3 0 0 0 1 1 3 0 176 1 2 0 0
                                    17 26 33 1 0 192 0 1 1 3 0 0 1 2 50 0 0 10
                                    1 2 43 0 0 22 71 1 43 0 0 70 0 16 0 1 1 0
                                    193 0 1 2 3 165 165 165 1 1 3 0 176 1 2 3 0
                                    0 0 1 1 39 0 0 1 1 38 26 0 1 1 35 164 165 1
                                    1 35 164 165 1 1 3 183 0 1 2 3 180 0 0 1 3
                                    3 182 0 0 0 1 2 0 0 0 17 145 2 6 46 0 0 49
                                    2 3 178 176 0 1 1 43 0 0 73 3 18 0 0 26 26
                                    1 3 18 0 0 155 155 1 2 18 0 0 156 1 2 18 0
                                    0 157 1 3 17 0 0 158 155 1 3 17 0 0 10 26 1
                                    2 27 185 0 6 1 1 3 39 0 1 2 19 0 0 26 1 2 2
                                    0 0 0 54 2 0 6 0 17 1 2 3 179 0 0 1 1 21 0
                                    0 50 2 21 0 0 39 1 2 20 0 0 10 1 2 20 0 0
                                    158 1 3 20 0 0 158 172 1 3 20 0 0 10 39 1 3
                                    3 0 0 173 39 1 2 3 0 0 173 1 2 0 0 0 22 51
                                    1 3 0 0 1 1 3 26 0 41 1 0 17 0 37 1 43 0 0
                                    113 1 43 0 0 89 1 43 0 0 109 1 43 0 0 85 1
                                    43 0 0 105 1 43 0 0 81 1 11 152 0 1 1 23
                                    153 0 1 1 24 154 0 1 1 12 168 0 1 1 12 169
                                    0 1 1 51 150 151 1 1 0 0 0 1 1 9 0 10 1 1 5
                                    0 17 1 1 43 0 126 1 1 1 0 6 1 1 6 0 0 1 1 0
                                    0 22 23 1 0 0 26 27 1 0 147 0 149 2 0 6 0
                                    17 68 1 52 46 0 1 0 5 39 1 1 0 6 0 12 1 38
                                    26 0 1 1 43 0 0 119 1 43 0 0 95 2 6 13 0 0
                                    1 1 43 0 0 115 1 43 0 0 91 1 43 0 0 123 1
                                    43 0 0 99 2 28 6 0 17 1 1 43 0 0 125 1 43 0
                                    0 101 1 43 0 0 121 1 43 0 0 97 1 43 0 0 117
                                    1 43 0 0 93 1 14 0 0 1 2 4 0 0 39 53 2 43 0
                                    0 126 128 2 43 0 0 0 74 2 3 0 0 17 1 2 0 0
                                    0 187 1 0 42 0 20 0 4 0 16 1 21 0 0 1 2 21
                                    0 0 39 1 2 20 0 0 10 1 3 20 0 0 10 39 1 2
                                    20 0 0 158 1 3 20 0 0 158 172 1 3 3 0 0 173
                                    39 1 2 3 0 0 173 1 2 30 13 0 0 1 2 30 13 0
                                    0 1 2 0 13 0 0 1 2 30 13 0 0 1 2 30 13 0 0
                                    1 2 3 0 26 26 45 2 3 0 0 0 44 2 3 0 0 6 1 1
                                    40 0 0 1 2 40 0 0 0 1 2 0 0 0 0 21 2 40 0
                                    17 0 1 2 42 0 39 0 1 2 43 0 126 0 1 2 43 0
                                    0 126 1 2 3 0 0 26 43 2 3 0 26 0 42 2 0 0 6
                                    0 1 2 0 0 0 6 1 2 0 0 0 0 32 2 0 0 187 0
                                    1)))))
           '|lookupComplete|)) 
