
(/VERSIONCHECK 2) 

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

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

(DEFUN |ULS;coerce;V$;3| (|v| $)
  (COND
   ((SPADCALL (QREFELT $ 8) (QREFELT $ 13))
    (SPADCALL (|spadConstant| $ 14) 1 (QREFELT $ 17)))
   ('T
    (SPADCALL (SPADCALL (|spadConstant| $ 14) 1 (QREFELT $ 17))
              (SPADCALL (QREFELT $ 8) 0 (QREFELT $ 17)) (QREFELT $ 20))))) 

(DEFUN |ULS;differentiate;$V$;4| (|x| |v| $) (SPADCALL |x| (QREFELT $ 23))) 

(DEFUN |ULS;integrate;$V$;5| (|x| |v| $) (SPADCALL |x| (QREFELT $ 25))) 

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

(DEFUN |UnivariateLaurentSeries;| (|#1| |#2| |#3|)
  (PROG (|pv$| #1=#:G1855 #2=#:G1856 #3=#:G1857 #4=#:G1858 #5=#:G1859
         #6=#:G1861 $ |dv$| DV$3 DV$2 DV$1)
    (RETURN
     (PROGN
      (LETT DV$1 (|devaluate| |#1|) . #7=(|UnivariateLaurentSeries|))
      (LETT DV$2 (|devaluate| |#2|) . #7#)
      (LETT DV$3 (|devaluate| |#3|) . #7#)
      (LETT |dv$| (LIST '|UnivariateLaurentSeries| DV$1 DV$2 DV$3) . #7#)
      (LETT $ (GETREFV 81) . #7#)
      (QSETREFV $ 0 |dv$|)
      (QSETREFV $ 3
                (LETT |pv$|
                      (|buildPredVector| 0 0
                                         (LIST
                                          (|HasCategory| |#1|
                                                         '(|CommutativeRing|))
                                          (|HasCategory| |#1|
                                                         '(|IntegralDomain|))
                                          (OR
                                           (|HasCategory| |#1|
                                                          '(|CommutativeRing|))
                                           (|HasCategory| |#1|
                                                          '(|IntegralDomain|)))
                                          (|HasCategory| (|Integer|)
                                                         '(|SemiGroup|))
                                          (LETT #6#
                                                (|HasCategory| |#1| '(|Field|))
                                                . #7#)
                                          (OR
                                           (|HasCategory| |#1|
                                                          '(|CharacteristicZero|))
                                           (AND #6#
                                                (|HasCategory|
                                                 (|UnivariateTaylorSeries| |#1|
                                                                           |#2|
                                                                           |#3|)
                                                 '(|CharacteristicZero|))))
                                          (OR
                                           (AND
                                            (|HasCategory| |#1|
                                                           '(|PartialDifferentialRing|
                                                             (|Symbol|)))
                                            (|HasSignature| |#1|
                                                            (LIST '*
                                                                  (LIST
                                                                   (|devaluate|
                                                                    |#1|)
                                                                   '(|Integer|)
                                                                   (|devaluate|
                                                                    |#1|)))))
                                           (AND #6#
                                                (|HasCategory|
                                                 (|UnivariateTaylorSeries| |#1|
                                                                           |#2|
                                                                           |#3|)
                                                 '(|PartialDifferentialRing|
                                                   (|Symbol|)))))
                                          (OR
                                           (AND #6#
                                                (|HasCategory|
                                                 (|UnivariateTaylorSeries| |#1|
                                                                           |#2|
                                                                           |#3|)
                                                 '(|DifferentialRing|)))
                                           (|HasSignature| |#1|
                                                           (LIST '*
                                                                 (LIST
                                                                  (|devaluate|
                                                                   |#1|)
                                                                  '(|Integer|)
                                                                  (|devaluate|
                                                                   |#1|)))))
                                          (OR #6#
                                              (|HasCategory| |#1|
                                                             '(|IntegralDomain|)))
                                          (AND #6#
                                               (|HasCategory|
                                                (|UnivariateTaylorSeries| |#1|
                                                                          |#2|
                                                                          |#3|)
                                                '(|RetractableTo| (|Symbol|))))
                                          (AND #6#
                                               (|HasCategory|
                                                (|UnivariateTaylorSeries| |#1|
                                                                          |#2|
                                                                          |#3|)
                                                '(|ConvertibleTo|
                                                  (|InputForm|))))
                                          (AND #6#
                                               (|HasCategory|
                                                (|UnivariateTaylorSeries| |#1|
                                                                          |#2|
                                                                          |#3|)
                                                '(|RealConstant|)))
                                          (OR
                                           (|HasCategory| |#1|
                                                          '(|CommutativeRing|))
                                           #6#
                                           (|HasCategory| |#1|
                                                          '(|IntegralDomain|)))
                                          (AND #6#
                                               (|HasCategory|
                                                (|UnivariateTaylorSeries| |#1|
                                                                          |#2|
                                                                          |#3|)
                                                '(|OrderedIntegralDomain|)))
                                          (AND #6#
                                               (|HasCategory|
                                                (|UnivariateTaylorSeries| |#1|
                                                                          |#2|
                                                                          |#3|)
                                                '(|RetractableTo|
                                                  (|Integer|))))
                                          (AND #6#
                                               (|HasCategory|
                                                (|UnivariateTaylorSeries| |#1|
                                                                          |#2|
                                                                          |#3|)
                                                '(|StepThrough|)))
                                          (AND #6#
                                               (|HasCategory|
                                                (|UnivariateTaylorSeries| |#1|
                                                                          |#2|
                                                                          |#3|)
                                                (LIST '|Eltable|
                                                      (LIST
                                                       '|UnivariateTaylorSeries|
                                                       (|devaluate| |#1|)
                                                       (|devaluate| |#2|)
                                                       (|devaluate| |#3|))
                                                      (LIST
                                                       '|UnivariateTaylorSeries|
                                                       (|devaluate| |#1|)
                                                       (|devaluate| |#2|)
                                                       (|devaluate| |#3|)))))
                                          (AND #6#
                                               (|HasCategory|
                                                (|UnivariateTaylorSeries| |#1|
                                                                          |#2|
                                                                          |#3|)
                                                (LIST '|Evalable|
                                                      (LIST
                                                       '|UnivariateTaylorSeries|
                                                       (|devaluate| |#1|)
                                                       (|devaluate| |#2|)
                                                       (|devaluate| |#3|)))))
                                          (AND #6#
                                               (|HasCategory|
                                                (|UnivariateTaylorSeries| |#1|
                                                                          |#2|
                                                                          |#3|)
                                                (LIST '|InnerEvalable|
                                                      '(|Symbol|)
                                                      (LIST
                                                       '|UnivariateTaylorSeries|
                                                       (|devaluate| |#1|)
                                                       (|devaluate| |#2|)
                                                       (|devaluate| |#3|)))))
                                          (AND #6#
                                               (|HasCategory|
                                                (|UnivariateTaylorSeries| |#1|
                                                                          |#2|
                                                                          |#3|)
                                                '(|LinearlyExplicitRingOver|
                                                  (|Integer|))))
                                          (AND #6#
                                               (|HasCategory|
                                                (|UnivariateTaylorSeries| |#1|
                                                                          |#2|
                                                                          |#3|)
                                                '(|ConvertibleTo|
                                                  (|Pattern| (|Integer|)))))
                                          (AND #6#
                                               (|HasCategory|
                                                (|UnivariateTaylorSeries| |#1|
                                                                          |#2|
                                                                          |#3|)
                                                '(|ConvertibleTo|
                                                  (|Pattern| (|Float|)))))
                                          (AND #6#
                                               (|HasCategory|
                                                (|UnivariateTaylorSeries| |#1|
                                                                          |#2|
                                                                          |#3|)
                                                '(|PatternMatchable|
                                                  (|Integer|))))
                                          (AND #6#
                                               (|HasCategory|
                                                (|UnivariateTaylorSeries| |#1|
                                                                          |#2|
                                                                          |#3|)
                                                '(|PatternMatchable|
                                                  (|Float|))))
                                          (|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 #6#
                                               (|HasCategory|
                                                (|UnivariateTaylorSeries| |#1|
                                                                          |#2|
                                                                          |#3|)
                                                '(|IntegerNumberSystem|)))
                                          (AND #6#
                                               (|HasCategory|
                                                (|UnivariateTaylorSeries| |#1|
                                                                          |#2|
                                                                          |#3|)
                                                '(|EuclideanDomain|)))
                                          (LETT #5#
                                                (|HasCategory|
                                                 (|UnivariateTaylorSeries| |#1|
                                                                           |#2|
                                                                           |#3|)
                                                 '(|PolynomialFactorizationExplicit|))
                                                . #7#)
                                          (AND #6# #5#)
                                          (|HasCategory| |#1|
                                                         '(|CharacteristicNonZero|))
                                          (LETT #4#
                                                (|HasCategory|
                                                 (|UnivariateTaylorSeries| |#1|
                                                                           |#2|
                                                                           |#3|)
                                                 '(|CharacteristicNonZero|))
                                                . #7#)
                                          (OR
                                           (|HasCategory| |#1|
                                                          '(|CharacteristicNonZero|))
                                           (AND #6# #4#))
                                          (OR
                                           (AND #6#
                                                (|HasCategory|
                                                 (|UnivariateTaylorSeries| |#1|
                                                                           |#2|
                                                                           |#3|)
                                                 '(|OrderedIntegralDomain|)))
                                           (AND #6# #5#)
                                           (|HasCategory| |#1|
                                                          '(|IntegralDomain|)))
                                          (LETT #3#
                                                (AND
                                                 (|HasCategory| |#1|
                                                                '(|Field|))
                                                 (|HasCategory|
                                                  (|UnivariateTaylorSeries|
                                                   |#1| |#2| |#3|)
                                                  '(|OrderedSet|)))
                                                . #7#)
                                          (OR
                                           (AND #6#
                                                (|HasCategory|
                                                 (|UnivariateTaylorSeries| |#1|
                                                                           |#2|
                                                                           |#3|)
                                                 '(|OrderedIntegralDomain|)))
                                           #3#)
                                          (LETT #2#
                                                (AND
                                                 (|HasCategory| |#1|
                                                                '(|Field|))
                                                 (|HasCategory|
                                                  (|UnivariateTaylorSeries|
                                                   |#1| |#2| |#3|)
                                                  '(|Comparable|)))
                                                . #7#)
                                          (OR #2#
                                              (AND #6#
                                                   (|HasCategory|
                                                    (|UnivariateTaylorSeries|
                                                     |#1| |#2| |#3|)
                                                    '(|OrderedIntegralDomain|)))
                                              #3#)
                                          (LETT #1#
                                                (|HasCategory| |#1|
                                                               '(|Algebra|
                                                                 (|Fraction|
                                                                  (|Integer|))))
                                                . #7#)
                                          (OR #1#
                                              (AND #6#
                                                   (|HasCategory|
                                                    (|UnivariateTaylorSeries|
                                                     |#1| |#2| |#3|)
                                                    '(|ConvertibleTo|
                                                      (|Pattern| (|Float|)))))
                                              (AND #6#
                                                   (|HasCategory|
                                                    (|UnivariateTaylorSeries|
                                                     |#1| |#2| |#3|)
                                                    '(|ConvertibleTo|
                                                      (|Pattern|
                                                       (|Integer|)))))
                                              (AND #6#
                                                   (|HasCategory|
                                                    (|UnivariateTaylorSeries|
                                                     |#1| |#2| |#3|)
                                                    '(|ConvertibleTo|
                                                      (|InputForm|))))
                                              (AND #6#
                                                   (|HasCategory|
                                                    (|UnivariateTaylorSeries|
                                                     |#1| |#2| |#3|)
                                                    (LIST '|Eltable|
                                                          (LIST
                                                           '|UnivariateTaylorSeries|
                                                           (|devaluate| |#1|)
                                                           (|devaluate| |#2|)
                                                           (|devaluate| |#3|))
                                                          (LIST
                                                           '|UnivariateTaylorSeries|
                                                           (|devaluate| |#1|)
                                                           (|devaluate| |#2|)
                                                           (|devaluate|
                                                            |#3|)))))
                                              (AND #6#
                                                   (|HasCategory|
                                                    (|UnivariateTaylorSeries|
                                                     |#1| |#2| |#3|)
                                                    (LIST '|Evalable|
                                                          (LIST
                                                           '|UnivariateTaylorSeries|
                                                           (|devaluate| |#1|)
                                                           (|devaluate| |#2|)
                                                           (|devaluate|
                                                            |#3|)))))
                                              (AND #6#
                                                   (|HasCategory|
                                                    (|UnivariateTaylorSeries|
                                                     |#1| |#2| |#3|)
                                                    (LIST '|InnerEvalable|
                                                          '(|Symbol|)
                                                          (LIST
                                                           '|UnivariateTaylorSeries|
                                                           (|devaluate| |#1|)
                                                           (|devaluate| |#2|)
                                                           (|devaluate|
                                                            |#3|)))))
                                              (AND #6#
                                                   (|HasCategory|
                                                    (|UnivariateTaylorSeries|
                                                     |#1| |#2| |#3|)
                                                    '(|LinearlyExplicitRingOver|
                                                      (|Integer|))))
                                              (AND #6#
                                                   (|HasCategory|
                                                    (|UnivariateTaylorSeries|
                                                     |#1| |#2| |#3|)
                                                    '(|PatternMatchable|
                                                      (|Float|))))
                                              (AND #6#
                                                   (|HasCategory|
                                                    (|UnivariateTaylorSeries|
                                                     |#1| |#2| |#3|)
                                                    '(|PatternMatchable|
                                                      (|Integer|))))
                                              (AND #6#
                                                   (|HasCategory|
                                                    (|UnivariateTaylorSeries|
                                                     |#1| |#2| |#3|)
                                                    '(|RetractableTo|
                                                      (|Integer|))))
                                              (AND #6#
                                                   (|HasCategory|
                                                    (|UnivariateTaylorSeries|
                                                     |#1| |#2| |#3|)
                                                    '(|RetractableTo|
                                                      (|Symbol|))))
                                              (AND #6#
                                                   (|HasCategory|
                                                    (|UnivariateTaylorSeries|
                                                     |#1| |#2| |#3|)
                                                    '(|OrderedIntegralDomain|)))
                                              #3# (AND #6# #5#)
                                              (AND #6#
                                                   (|HasCategory|
                                                    (|UnivariateTaylorSeries|
                                                     |#1| |#2| |#3|)
                                                    '(|RealConstant|)))
                                              (AND #6#
                                                   (|HasCategory|
                                                    (|UnivariateTaylorSeries|
                                                     |#1| |#2| |#3|)
                                                    '(|StepThrough|))))
                                          (OR
                                           (AND #1#
                                                (|HasCategory| |#1|
                                                               '(|AlgebraicallyClosedFunctionSpace|
                                                                 (|Integer|)))
                                                (|HasCategory| |#1|
                                                               '(|PrimitiveFunctionCategory|))
                                                (|HasCategory| |#1|
                                                               '(|TranscendentalFunctionCategory|)))
                                           (AND #1#
                                                (|HasSignature| |#1|
                                                                (LIST
                                                                 '|integrate|
                                                                 (LIST
                                                                  (|devaluate|
                                                                   |#1|)
                                                                  (|devaluate|
                                                                   |#1|)
                                                                  '(|Symbol|))))
                                                (|HasSignature| |#1|
                                                                (LIST
                                                                 '|variables|
                                                                 (LIST
                                                                  '(|List|
                                                                    (|Symbol|))
                                                                  (|devaluate|
                                                                   |#1|))))))
                                          (OR #1#
                                              (AND #6#
                                                   (|HasCategory|
                                                    (|UnivariateTaylorSeries|
                                                     |#1| |#2| |#3|)
                                                    '(|RetractableTo|
                                                      (|Integer|)))))))
                      . #7#))
      (|haddProp| |$ConstructorCache| '|UnivariateLaurentSeries|
                  (LIST DV$1 DV$2 DV$3) (CONS 1 $))
      (|stuffDomainSlots| $)
      (QSETREFV $ 6 |#1|)
      (QSETREFV $ 7 |#2|)
      (QSETREFV $ 8 |#3|)
      (AND #6# (|HasCategory| $ '(|CharacteristicNonZero|)) #5#
           (|augmentPredVector| $ 4398046511104))
      (AND
       (OR (|HasCategory| |#1| '(|CharacteristicNonZero|))
           (AND #6# (|HasCategory| $ '(|CharacteristicNonZero|)) #5#)
           (AND #6# #4#))
       (|augmentPredVector| $ 8796093022208))
      (COND
       ((|testBitVector| |pv$| 39)
        (QSETREFV $ 26 (CONS (|dispatchFunction| |ULS;integrate;$V$;5|) $))))
      $)))) 

(MAKEPROP '|UnivariateLaurentSeries| '|infovec|
          (LIST
           '#(NIL NIL NIL NIL NIL (|UnivariateLaurentSeriesConstructor| 6 32)
              (|local| |#1|) (|local| |#2|) (|local| |#3|) (|Symbol|)
              |ULS;variable;$S;1| |ULS;center;$Coef;2| (|Boolean|)
              (0 . |zero?|) (5 . |One|) (9 . |One|) (|Integer|)
              (13 . |monomial|) (19 . |Zero|) (23 . |Zero|) (27 . +)
              (|Variable| 7) |ULS;coerce;V$;3| (33 . |differentiate|)
              |ULS;differentiate;$V$;4| (38 . |integrate|) (43 . |integrate|)
              (|Union| 38 '#1="failed") (|Matrix| $) (|InputForm|)
              (|Pattern| 46) (|Pattern| 16) (|UnivariateTaylorSeries| 6 7 8)
              (|List| 32) (|List| 35) (|Equation| 32) (|List| 9)
              (|Record| (|:| |mat| 39) (|:| |vec| (|Vector| 16))) (|Vector| $)
              (|Matrix| 16) (|PatternMatchResult| 46 $)
              (|PatternMatchResult| 16 $) (|Factored| 43)
              (|SparseUnivariatePolynomial| $) (|Union| 45 '#1#) (|List| 43)
              (|Float|) (|DoubleFloat|) (|Union| 16 '#2="failed")
              (|Union| 50 '#2#) (|Fraction| 16) (|Union| 9 '#2#)
              (|Union| $ '"failed") (|NonNegativeInteger|)
              (|Record| (|:| |unit| $) (|:| |canonical| $) (|:| |associate| $))
              (|List| 53) (|List| $) (|Factored| $) (|Mapping| 32 32)
              (|Record| (|:| |mat| 60) (|:| |vec| (|Vector| 32))) (|Matrix| 32)
              (|Record| (|:| |coef| 56) (|:| |generator| $))
              (|Union| 56 '"failed")
              (|Record| (|:| |quotient| $) (|:| |remainder| $))
              (|Record| (|:| |coef1| $) (|:| |coef2| $) (|:| |generator| $))
              (|Record| (|:| |coef1| $) (|:| |coef2| $)) (|Union| 65 '"failed")
              (|Fraction| (|Polynomial| 6)) (|Stream| 6) (|Union| 32 '"failed")
              (|Mapping| 6 16) (|Record| (|:| |k| 16) (|:| |c| 6))
              (|Stream| 71) (|PositiveInteger|) (|List| 76) (|List| 16)
              (|SingletonAsOrderedSet|) (|Mapping| 6 6) (|String|)
              (|OutputForm|) (|SingleInteger|))
           '#(|variable| 49 |monomial| 54 |integrate| 60 |differentiate| 71
              |coerce| 82 |center| 87 |Zero| 92 |One| 96 + 100)
           'NIL
           (CONS
            (|makeByteWordVec2| 40
                                '(0 0 5 5 0 5 30 0 5 5 0 5 14 5 9 40 2 1 5 5 5
                                  40 2 33 6 1 7 8 9 13 14 5 20 5 0 0 40 3 14 5
                                  0 0 0 0 40 40 1 14 5 5 0 14 0 0 14 0 0 0 36 5
                                  0 0 38 16 5 23 24 0 40 12 18 5 0 0 0 0 1 2 4
                                  5 5 40 40 40 40 40 40 10 11 12 12 15 15 17 18
                                  19 21 22 5))
            (CONS
             '#(|UnivariateLaurentSeriesConstructorCategory&| NIL
                |QuotientFieldCategory&| |Field&|
                |UnivariatePowerSeriesCategory&| |EuclideanDomain&|
                |PolynomialFactorizationExplicit&| |PowerSeriesCategory&| NIL
                |UniqueFactorizationDomain&| |AbelianMonoidRing&| |GcdDomain&|
                NIL |DivisionRing&| |IntegralDomain&| |Algebra&| |Algebra&|
                |Algebra&| |Algebra&| |DifferentialExtension&|
                |FullyLinearlyExplicitRingOver&| |Module&| |Module&| NIL NIL
                |Module&| |PartialDifferentialRing&| |DifferentialRing&| NIL
                NIL |OrderedRing&| |Module&| NIL NIL |Ring&| NIL NIL NIL NIL
                NIL NIL NIL NIL NIL NIL NIL NIL NIL NIL NIL |AbelianGroup&| NIL
                NIL NIL NIL |AbelianMonoid&| |Monoid&| NIL |OrderedSet&| NIL
                |SemiGroup&| |AbelianSemiGroup&| NIL NIL |FullyEvalableOver&|
                NIL NIL |SetCategory&| |TranscendentalFunctionCategory&| NIL
                |Evalable&| NIL |RetractableTo&| NIL |BasicType&| NIL NIL NIL
                NIL NIL NIL |TrigonometricFunctionCategory&|
                |ArcTrigonometricFunctionCategory&|
                |HyperbolicFunctionCategory&| NIL |ElementaryFunctionCategory&|
                |RadicalCategory&| |RetractableTo&| NIL NIL NIL
                |RetractableTo&| |RetractableTo&| NIL |InnerEvalable&|
                |InnerEvalable&| NIL NIL NIL)
             (CONS
              '#((|UnivariateLaurentSeriesConstructorCategory| 6
                                                               (|UnivariateTaylorSeries|
                                                                6 7 8))
                 (|UnivariateLaurentSeriesCategory| 6)
                 (|QuotientFieldCategory| (|UnivariateTaylorSeries| 6 7 8))
                 (|Field|) (|UnivariatePowerSeriesCategory| 6 16)
                 (|EuclideanDomain|) (|PolynomialFactorizationExplicit|)
                 (|PowerSeriesCategory| 6 16 76) (|PrincipalIdealDomain|)
                 (|UniqueFactorizationDomain|) (|AbelianMonoidRing| 6 16)
                 (|GcdDomain|) (|OrderedIntegralDomain|) (|DivisionRing|)
                 (|IntegralDomain|) (|Algebra| 50) (|Algebra| $$) (|Algebra| 6)
                 (|Algebra| (|UnivariateTaylorSeries| 6 7 8))
                 (|DifferentialExtension| (|UnivariateTaylorSeries| 6 7 8))
                 (|FullyLinearlyExplicitRingOver|
                  (|UnivariateTaylorSeries| 6 7 8))
                 (|Module| 50) (|Module| $$) (|CharacteristicNonZero|)
                 (|CharacteristicZero|) (|Module| 6)
                 (|PartialDifferentialRing| 9) (|DifferentialRing|)
                 (|EntireRing|) (|CommutativeRing|) (|OrderedRing|)
                 (|Module| (|UnivariateTaylorSeries| 6 7 8))
                 (|LinearlyExplicitRingOver| 16)
                 (|LinearlyExplicitRingOver| (|UnivariateTaylorSeries| 6 7 8))
                 (|Ring|) (|BiModule| 6 6) (|BiModule| 50 50)
                 (|BiModule| $$ $$) (|OrderedAbelianGroup|)
                 (|BiModule| (|UnivariateTaylorSeries| 6 7 8)
                             (|UnivariateTaylorSeries| 6 7 8))
                 (|Rng|) (|LeftModule| 6) (|RightModule| 6) (|LeftModule| $$)
                 (|LeftModule| 50) (|RightModule| 50) (|RightModule| $$)
                 (|OrderedCancellationAbelianMonoid|)
                 (|LeftModule| (|UnivariateTaylorSeries| 6 7 8))
                 (|RightModule| (|UnivariateTaylorSeries| 6 7 8))
                 (|AbelianGroup|) (|OrderedAbelianMonoid|)
                 (|CancellationAbelianMonoid|) (|SemiRing|)
                 (|OrderedAbelianSemiGroup|) (|AbelianMonoid|) (|Monoid|)
                 (|SemiRng|) (|OrderedSet|)
                 (|FullyPatternMatchable| (|UnivariateTaylorSeries| 6 7 8))
                 (|SemiGroup|) (|AbelianSemiGroup|) (|Comparable|)
                 (|StepThrough|)
                 (|FullyEvalableOver| (|UnivariateTaylorSeries| 6 7 8))
                 (|PatternMatchable| 16) (|PatternMatchable| 46)
                 (|SetCategory|) (|TranscendentalFunctionCategory|)
                 (|RealConstant|) (|Evalable| (|UnivariateTaylorSeries| 6 7 8))
                 (|Patternable| (|UnivariateTaylorSeries| 6 7 8))
                 (|RetractableTo| (|UnivariateTaylorSeries| 6 7 8))
                 (|unitsKnown|) (|BasicType|) (|CoercibleTo| 79)
                 (|CommutativeStar|) (|noZeroDivisors|) (|Eltable| $$ $$)
                 (|canonicalUnitNormal|) (|canonicalsClosed|)
                 (|TrigonometricFunctionCategory|)
                 (|ArcTrigonometricFunctionCategory|)
                 (|HyperbolicFunctionCategory|)
                 (|ArcHyperbolicFunctionCategory|)
                 (|ElementaryFunctionCategory|) (|RadicalCategory|)
                 (|RetractableTo| 9) (|ConvertibleTo| 29) (|ConvertibleTo| 47)
                 (|ConvertibleTo| 46) (|RetractableTo| 50) (|RetractableTo| 16)
                 (|Eltable| (|UnivariateTaylorSeries| 6 7 8) $$)
                 (|InnerEvalable| (|UnivariateTaylorSeries| 6 7 8)
                                  (|UnivariateTaylorSeries| 6 7 8))
                 (|InnerEvalable| 9 (|UnivariateTaylorSeries| 6 7 8))
                 (|ConvertibleTo| 31) (|ConvertibleTo| 30) (|Type|))
              (|makeByteWordVec2| 39
                                  '(1 6 12 0 13 0 6 0 14 0 0 0 15 2 0 0 6 16 17
                                    0 6 0 18 0 0 0 19 2 0 0 0 0 20 1 0 0 0 23 1
                                    0 0 0 25 2 0 0 0 21 26 1 0 9 0 10 2 0 0 6
                                    16 17 2 39 0 0 21 26 1 39 0 0 25 1 8 0 0 23
                                    2 0 0 0 21 24 1 0 0 21 22 1 0 6 0 11 0 0 0
                                    19 0 0 0 15 2 0 0 0 0 20)))))
           '|lookupIncomplete|)) 
