
(/VERSIONCHECK 2) 

(PUT '|GSERIES;coerce;Ups$;1| '|SPADreplace| '(XLAM (|upxs|) |upxs|)) 

(DEFUN |GSERIES;coerce;Ups$;1| (|upxs| $) |upxs|) 

(PUT '|GSERIES;puiseux| '|SPADreplace| '(XLAM (|f|) |f|)) 

(DEFUN |GSERIES;puiseux| (|f| $) |f|) 

(DEFUN |GSERIES;differentiate;2$;3| (|f| $)
  (PROG (|str2| |str1|)
    (RETURN
     (SEQ
      (LETT |str1| "'differentiate' unavailable on this domain;  "
            . #1=(|GSERIES;differentiate;2$;3|))
      (LETT |str2| "use 'approximate' first" . #1#)
      (EXIT (|error| (SPADCALL (STRCONC |str1| |str2|) (QREFELT $ 12)))))))) 

(DEFUN |GSERIES;differentiate;$V$;4| (|f| |v| $) (SPADCALL |f| (QREFELT $ 13))) 

(DEFUN |GSERIES;differentiate;$S$;5| (|f| |s| $)
  (PROG (|deriv| |dcds| |str2| |str1|)
    (RETURN
     (SEQ
      (COND
       ((EQUAL |s| (SPADCALL |f| (QREFELT $ 17)))
        (SEQ
         (LETT |str1| "'differentiate' unavailable on this domain;  "
               . #1=(|GSERIES;differentiate;$S$;5|))
         (LETT |str2| "use 'approximate' first" . #1#)
         (EXIT (|error| (SPADCALL (STRCONC |str1| |str2|) (QREFELT $ 12))))))
       ('T
        (SEQ
         (LETT |dcds|
               (SPADCALL (SPADCALL |f| (QREFELT $ 18)) |s| (QREFELT $ 19))
               . #1#)
         (LETT |deriv|
               (SPADCALL (SPADCALL (|GSERIES;puiseux| |f| $) (QREFELT $ 20))
                         (QREFELT $ 9))
               . #1#)
         (EXIT
          (SPADCALL
           (SPADCALL (CONS #'|GSERIES;differentiate;$S$;5!0| (VECTOR $ |s|))
                     |f| (QREFELT $ 22))
           (SPADCALL |dcds| |deriv| (QREFELT $ 23)) (QREFELT $ 24)))))))))) 

(DEFUN |GSERIES;differentiate;$S$;5!0| (|x| $$)
  (PROG (|s| $)
    (LETT |s| (QREFELT $$ 1) . #1=(|GSERIES;differentiate;$S$;5|))
    (LETT $ (QREFELT $$ 0) . #1#)
    (RETURN (PROGN (SPADCALL |x| |s| (QREFELT $ 19)))))) 

(DEFUN |GSERIES;integrate;2$;6| (|f| $)
  (PROG (|str2| |str1|)
    (RETURN
     (SEQ
      (LETT |str1| "'integrate' unavailable on this domain;  "
            . #1=(|GSERIES;integrate;2$;6|))
      (LETT |str2| "use 'approximate' first" . #1#)
      (EXIT (|error| (SPADCALL (STRCONC |str1| |str2|) (QREFELT $ 12)))))))) 

(DEFUN |GSERIES;integrate;$V$;7| (|f| |v| $) (SPADCALL |f| (QREFELT $ 26))) 

(DEFUN |GSERIES;integrate;$S$;8| (|f| |s| $)
  (PROG (|str2| |str1|)
    (RETURN
     (SEQ
      (COND
       ((EQUAL |s| (SPADCALL |f| (QREFELT $ 17)))
        (SEQ
         (LETT |str1| "'integrate' unavailable on this domain;  "
               . #1=(|GSERIES;integrate;$S$;8|))
         (LETT |str2| "use 'approximate' first" . #1#)
         (EXIT (|error| (SPADCALL (STRCONC |str1| |str2|) (QREFELT $ 12))))))
       ((NULL
         (SPADCALL |s| (SPADCALL (SPADCALL |f| (QREFELT $ 18)) (QREFELT $ 29))
                   (QREFELT $ 31)))
        (SPADCALL (CONS #'|GSERIES;integrate;$S$;8!0| (VECTOR $ |s|)) |f|
                  (QREFELT $ 22)))
       ('T
        (|error|
         "integrate: center is a function of variable of integration"))))))) 

(DEFUN |GSERIES;integrate;$S$;8!0| (|x| $$)
  (PROG (|s| $)
    (LETT |s| (QREFELT $$ 1) . #1=(|GSERIES;integrate;$S$;8|))
    (LETT $ (QREFELT $$ 0) . #1#)
    (RETURN (PROGN (SPADCALL |x| |s| (QREFELT $ 32)))))) 

(DEFUN |GSERIES;integrateWithOneAnswer| (|f| |s| $)
  (PROG (|res|)
    (RETURN
     (SEQ
      (LETT |res| (SPADCALL |f| |s| (QREFELT $ 36))
            |GSERIES;integrateWithOneAnswer|)
      (EXIT
       (COND ((QEQCAR |res| 0) (QCDR |res|))
             ('T (|SPADfirst| (QCDR |res|))))))))) 

(DEFUN |GSERIES;integrate;$S$;10| (|f| |s| $)
  (PROG (|str2| |str1|)
    (RETURN
     (SEQ
      (COND
       ((EQUAL |s| (SPADCALL |f| (QREFELT $ 17)))
        (SEQ
         (LETT |str1| "'integrate' unavailable on this domain;  "
               . #1=(|GSERIES;integrate;$S$;10|))
         (LETT |str2| "use 'approximate' first" . #1#)
         (EXIT (|error| (SPADCALL (STRCONC |str1| |str2|) (QREFELT $ 12))))))
       ((NULL
         (SPADCALL |s| (SPADCALL (SPADCALL |f| (QREFELT $ 18)) (QREFELT $ 29))
                   (QREFELT $ 31)))
        (SPADCALL (CONS #'|GSERIES;integrate;$S$;10!0| (VECTOR $ |s|)) |f|
                  (QREFELT $ 22)))
       ('T
        (|error|
         "integrate: center is a function of variable of integration"))))))) 

(DEFUN |GSERIES;integrate;$S$;10!0| (|x| $$)
  (PROG (|s| $)
    (LETT |s| (QREFELT $$ 1) . #1=(|GSERIES;integrate;$S$;10|))
    (LETT $ (QREFELT $$ 0) . #1#)
    (RETURN (PROGN (|GSERIES;integrateWithOneAnswer| |x| |s| $))))) 

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

(DEFUN |GeneralUnivariatePowerSeries;| (|#1| |#2| |#3|)
  (PROG (|pv$| #1=#:G1879 $ |dv$| DV$3 DV$2 DV$1)
    (RETURN
     (PROGN
      (LETT DV$1 (|devaluate| |#1|) . #2=(|GeneralUnivariatePowerSeries|))
      (LETT DV$2 (|devaluate| |#2|) . #2#)
      (LETT DV$3 (|devaluate| |#3|) . #2#)
      (LETT |dv$| (LIST '|GeneralUnivariatePowerSeries| DV$1 DV$2 DV$3) . #2#)
      (LETT $ (GETREFV 60) . #2#)
      (QSETREFV $ 0 |dv$|)
      (QSETREFV $ 3
                (LETT |pv$|
                      (|buildPredVector| 0 0
                                         (LIST
                                          (|HasCategory| |#1|
                                                         '(|CharacteristicNonZero|))
                                          (|HasCategory| |#1|
                                                         '(|CharacteristicZero|))
                                          (|HasCategory| |#1|
                                                         '(|CommutativeRing|))
                                          (|HasSignature| |#1|
                                                          (LIST '*
                                                                (LIST
                                                                 (|devaluate|
                                                                  |#1|)
                                                                 '(|Fraction|
                                                                   (|Integer|))
                                                                 (|devaluate|
                                                                  |#1|))))
                                          (AND
                                           (|HasCategory| |#1|
                                                          '(|PartialDifferentialRing|
                                                            (|Symbol|)))
                                           (|HasSignature| |#1|
                                                           (LIST '*
                                                                 (LIST
                                                                  (|devaluate|
                                                                   |#1|)
                                                                  '(|Fraction|
                                                                    (|Integer|))
                                                                  (|devaluate|
                                                                   |#1|)))))
                                          (|HasCategory|
                                           (|Fraction| (|Integer|))
                                           '(|SemiGroup|))
                                          (|HasCategory| |#1| '(|Field|))
                                          (OR
                                           (|HasCategory| |#1| '(|SemiRing|))
                                           (|HasSignature| |#1|
                                                           (LIST '*
                                                                 (LIST
                                                                  (|devaluate|
                                                                   |#1|)
                                                                  '(|Fraction|
                                                                    (|Integer|))
                                                                  (|devaluate|
                                                                   |#1|)))))
                                          (OR (|HasCategory| |#1| '(|Ring|))
                                              (|HasSignature| |#1|
                                                              (LIST '*
                                                                    (LIST
                                                                     (|devaluate|
                                                                      |#1|)
                                                                     '(|Fraction|
                                                                       (|Integer|))
                                                                     (|devaluate|
                                                                      |#1|)))))
                                          (|HasCategory| |#1|
                                                         '(|IntegralDomain|))
                                          (OR
                                           (|HasCategory| |#1|
                                                          '(|CommutativeRing|))
                                           (|HasCategory| |#1|
                                                          '(|IntegralDomain|))
                                           (|HasCategory| |#1| '(|Ring|))
                                           (|HasSignature| |#1|
                                                           (LIST '*
                                                                 (LIST
                                                                  (|devaluate|
                                                                   |#1|)
                                                                  '(|Fraction|
                                                                    (|Integer|))
                                                                  (|devaluate|
                                                                   |#1|)))))
                                          (OR
                                           (|HasCategory| |#1|
                                                          '(|CommutativeRing|))
                                           (|HasCategory| |#1|
                                                          '(|IntegralDomain|)))
                                          (OR
                                           (|HasCategory| |#1|
                                                          '(|CommutativeRing|))
                                           (|HasCategory| |#1| '(|Field|))
                                           (|HasCategory| |#1|
                                                          '(|IntegralDomain|)))
                                          (OR (|HasCategory| |#1| '(|Field|))
                                              (|HasCategory| |#1|
                                                             '(|IntegralDomain|)))
                                          (LETT #1#
                                                (|HasCategory| |#1|
                                                               '(|Algebra|
                                                                 (|Fraction|
                                                                  (|Integer|))))
                                                . #2#)
                                          (OR #1#
                                              (|HasCategory| |#1|
                                                             '(|AbelianGroup|))
                                              (|HasCategory| |#1|
                                                             '(|AbelianMonoid|))
                                              (|HasCategory| |#1|
                                                             '(|CancellationAbelianMonoid|))
                                              (|HasCategory| |#1|
                                                             '(|CharacteristicNonZero|))
                                              (|HasCategory| |#1|
                                                             '(|CharacteristicZero|))
                                              (|HasCategory| |#1|
                                                             '(|CommutativeRing|))
                                              (|HasCategory| |#1| '(|Field|))
                                              (|HasCategory| |#1|
                                                             '(|IntegralDomain|))
                                              (|HasCategory| |#1| '(|Ring|))
                                              (|HasSignature| |#1|
                                                              (LIST '*
                                                                    (LIST
                                                                     (|devaluate|
                                                                      |#1|)
                                                                     '(|Fraction|
                                                                       (|Integer|))
                                                                     (|devaluate|
                                                                      |#1|)))))
                                          (OR #1#
                                              (|HasCategory| |#1|
                                                             '(|AbelianGroup|))
                                              (|HasCategory| |#1|
                                                             '(|CancellationAbelianMonoid|))
                                              (|HasCategory| |#1|
                                                             '(|CharacteristicNonZero|))
                                              (|HasCategory| |#1|
                                                             '(|CharacteristicZero|))
                                              (|HasCategory| |#1|
                                                             '(|CommutativeRing|))
                                              (|HasCategory| |#1| '(|Field|))
                                              (|HasCategory| |#1|
                                                             '(|IntegralDomain|))
                                              (|HasCategory| |#1| '(|Ring|))
                                              (|HasSignature| |#1|
                                                              (LIST '*
                                                                    (LIST
                                                                     (|devaluate|
                                                                      |#1|)
                                                                     '(|Fraction|
                                                                       (|Integer|))
                                                                     (|devaluate|
                                                                      |#1|)))))
                                          (OR #1#
                                              (|HasCategory| |#1|
                                                             '(|AbelianGroup|))
                                              (|HasCategory| |#1|
                                                             '(|CharacteristicNonZero|))
                                              (|HasCategory| |#1|
                                                             '(|CharacteristicZero|))
                                              (|HasCategory| |#1|
                                                             '(|CommutativeRing|))
                                              (|HasCategory| |#1| '(|Field|))
                                              (|HasCategory| |#1|
                                                             '(|IntegralDomain|))
                                              (|HasCategory| |#1| '(|Ring|))
                                              (|HasSignature| |#1|
                                                              (LIST '*
                                                                    (LIST
                                                                     (|devaluate|
                                                                      |#1|)
                                                                     '(|Fraction|
                                                                       (|Integer|))
                                                                     (|devaluate|
                                                                      |#1|)))))
                                          (OR #1#
                                              (|HasCategory| |#1|
                                                             '(|CharacteristicNonZero|))
                                              (|HasCategory| |#1|
                                                             '(|CharacteristicZero|))
                                              (|HasCategory| |#1|
                                                             '(|CommutativeRing|))
                                              (|HasCategory| |#1| '(|Field|))
                                              (|HasCategory| |#1|
                                                             '(|IntegralDomain|))
                                              (|HasCategory| |#1| '(|Ring|))
                                              (|HasSignature| |#1|
                                                              (LIST '*
                                                                    (LIST
                                                                     (|devaluate|
                                                                      |#1|)
                                                                     '(|Fraction|
                                                                       (|Integer|))
                                                                     (|devaluate|
                                                                      |#1|)))))
                                          (|HasSignature| |#1|
                                                          (LIST '^
                                                                (LIST
                                                                 (|devaluate|
                                                                  |#1|)
                                                                 (|devaluate|
                                                                  |#1|)
                                                                 '(|Fraction|
                                                                   (|Integer|)))))
                                          (AND
                                           (|HasSignature| |#1|
                                                           (LIST '^
                                                                 (LIST
                                                                  (|devaluate|
                                                                   |#1|)
                                                                  (|devaluate|
                                                                   |#1|)
                                                                  '(|Fraction|
                                                                    (|Integer|)))))
                                           (|HasSignature| |#1|
                                                           (LIST '|coerce|
                                                                 (LIST
                                                                  (|devaluate|
                                                                   |#1|)
                                                                  '(|Symbol|)))))
                                          (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
                                           (|HasCategory| |#1|
                                                          '(|AbelianGroup|))
                                           (|HasSignature| |#1|
                                                           (LIST '*
                                                                 (LIST
                                                                  (|devaluate|
                                                                   |#1|)
                                                                  '(|Fraction|
                                                                    (|Integer|))
                                                                  (|devaluate|
                                                                   |#1|)))))
                                          (OR
                                           (|HasCategory| |#1|
                                                          '(|CancellationAbelianMonoid|))
                                           (|HasSignature| |#1|
                                                           (LIST '*
                                                                 (LIST
                                                                  (|devaluate|
                                                                   |#1|)
                                                                  '(|Fraction|
                                                                    (|Integer|))
                                                                  (|devaluate|
                                                                   |#1|)))))
                                          (OR
                                           (|HasCategory| |#1|
                                                          '(|AbelianMonoid|))
                                           (|HasSignature| |#1|
                                                           (LIST '*
                                                                 (LIST
                                                                  (|devaluate|
                                                                   |#1|)
                                                                  '(|Fraction|
                                                                    (|Integer|))
                                                                  (|devaluate|
                                                                   |#1|)))))))
                      . #2#))
      (|haddProp| |$ConstructorCache| '|GeneralUnivariatePowerSeries|
                  (LIST DV$1 DV$2 DV$3) (CONS 1 $))
      (|stuffDomainSlots| $)
      (QSETREFV $ 6 |#1|)
      (QSETREFV $ 7 |#2|)
      (QSETREFV $ 8 |#3|)
      (SETF |pv$| (QREFELT $ 3))
      (COND
       ((|testBitVector| |pv$| 15)
        (PROGN
         (QSETREFV $ 13
                   (CONS (|dispatchFunction| |GSERIES;differentiate;2$;3|) $))
         (QSETREFV $ 15
                   (CONS (|dispatchFunction| |GSERIES;differentiate;$V$;4|) $))
         (COND
          ((|HasCategory| |#1| '(|PartialDifferentialRing| (|Symbol|)))
           (QSETREFV $ 25
                     (CONS (|dispatchFunction| |GSERIES;differentiate;$S$;5|)
                           $))))
         (QSETREFV $ 26 (CONS (|dispatchFunction| |GSERIES;integrate;2$;6|) $))
         (QSETREFV $ 27
                   (CONS (|dispatchFunction| |GSERIES;integrate;$V$;7|) $))
         (COND
          ((|HasSignature| |#1|
                           (LIST '|integrate|
                                 (LIST (|devaluate| |#1|) (|devaluate| |#1|)
                                       '(|Symbol|))))
           (COND
            ((|HasSignature| |#1|
                             (LIST '|variables|
                                   (LIST '(|List| (|Symbol|))
                                         (|devaluate| |#1|))))
             (QSETREFV $ 33
                       (CONS (|dispatchFunction| |GSERIES;integrate;$S$;8|)
                             $))))))
         (COND
          ((|HasCategory| |#1| '(|TranscendentalFunctionCategory|))
           (COND
            ((|HasCategory| |#1| '(|PrimitiveFunctionCategory|))
             (COND
              ((|HasCategory| |#1|
                              '(|AlgebraicallyClosedFunctionSpace|
                                (|Integer|)))
               (PROGN
                (QSETREFV $ 33
                          (CONS (|dispatchFunction| |GSERIES;integrate;$S$;10|)
                                $))))))))))))
      $)))) 

(MAKEPROP '|GeneralUnivariatePowerSeries| '|infovec|
          (LIST
           '#(NIL NIL NIL NIL NIL (|UnivariatePuiseuxSeries| 6 7 8)
              (|local| |#1|) (|local| |#2|) (|local| |#3|)
              |GSERIES;coerce;Ups$;1| (|OutputForm|) (|String|) (0 . |coerce|)
              (5 . |differentiate|) (|Variable| 7) (10 . |differentiate|)
              (|Symbol|) (16 . |variable|) (21 . |center|)
              (26 . |differentiate|) (32 . |differentiate|) (|Mapping| 6 6)
              (37 . |map|) (43 . *) (49 . -) (55 . |differentiate|)
              (61 . |integrate|) (66 . |integrate|) (|List| 16)
              (72 . |variables|) (|Boolean|) (77 . |entry?|) (83 . |integrate|)
              (89 . |integrate|) (|Union| 6 (|List| 6))
              (|FunctionSpaceIntegration| 40 6) (95 . |integrate|) (|List| 38)
              (|NonNegativeInteger|) (|Fraction| 40) (|Integer|)
              (|Union| $ '"failed") (|List| $)
              (|Record| (|:| |coef| 42) (|:| |generator| $))
              (|SparseUnivariatePolynomial| $) (|Union| 42 '"failed")
              (|Record| (|:| |quotient| $) (|:| |remainder| $))
              (|Record| (|:| |coef1| $) (|:| |coef2| $) (|:| |generator| $))
              (|Record| (|:| |coef1| $) (|:| |coef2| $)) (|Union| 48 '"failed")
              (|Factored| $)
              (|Record| (|:| |unit| $) (|:| |canonical| $) (|:| |associate| $))
              (|Stream| 6) (|Record| (|:| |k| 39) (|:| |c| 6)) (|Stream| 53)
              (|PositiveInteger|) (|List| 57) (|SingletonAsOrderedSet|)
              (|List| 39) (|SingleInteger|))
           '#(~= 101 |zero?| 107 |variables| 112 |variable| 117 |unitNormal|
              122 |unitCanonical| 127 |unit?| 132 |truncate| 137 |terms| 150
              |tanh| 155 |tan| 160 |subtractIfCan| 165 |squareFreePart| 171
              |squareFree| 176 |sqrt| 181 |sizeLess?| 186 |sinh| 192 |sin| 197
              |series| 202 |sech| 208 |sec| 213 |sample| 218 |rem| 222
              |reductum| 228 |recip| 233 |quo| 238 |principalIdeal| 244
              |prime?| 249 |pole?| 254 |pi| 259 |order| 263 |one?| 274
              |nthRoot| 279 |multiplyExponents| 285 |multiEuclidean| 297
              |monomial?| 303 |monomial| 308 |map| 328 |log| 334
              |leadingMonomial| 339 |leadingCoefficient| 344 |lcm| 349 |latex|
              360 |inv| 365 |integrate| 370 |hash| 387 |gcdPolynomial| 392
              |gcd| 398 |factor| 409 |extendedEuclidean| 414 |extend| 427
              |exquo| 433 |expressIdealMember| 439 |exp| 445 |eval| 450
              |euclideanSize| 456 |elt| 461 |divide| 473 |differentiate| 479
              |degree| 522 |csch| 527 |csc| 532 |coth| 537 |cot| 542 |cosh| 547
              |cos| 552 |complete| 557 |coerce| 562 |coefficient| 597
              |charthRoot| 603 |characteristic| 608 |center| 612 |atanh| 617
              |atan| 622 |associates?| 627 |asinh| 633 |asin| 638 |asech| 643
              |asec| 648 |approximate| 653 |acsch| 659 |acsc| 664 |acoth| 669
              |acot| 674 |acosh| 679 |acos| 684 ^ 689 |Zero| 719 |One| 723 D
              727 = 764 / 770 - 782 + 793 * 799)
           'NIL
           (CONS
            (|makeByteWordVec2| 19
                                '(0 7 0 7 0 7 7 0 7 14 7 3 10 15 1 2 3 5 4 10
                                  13 14 15 0 12 19 15 0 0 3 11 19 15 15 18 8 17
                                  0 8 16 0 0 0 15 0 0 6 9 3 10 7 7 15 15 15 15
                                  15 15))
            (CONS
             '#(NIL |Field&| |UnivariatePowerSeriesCategory&|
                |EuclideanDomain&| |PowerSeriesCategory&| NIL
                |UniqueFactorizationDomain&| |AbelianMonoidRing&| |GcdDomain&|
                |IntegralDomain&| |DivisionRing&| |Algebra&| |Algebra&|
                |Algebra&| NIL NIL |Module&| |PartialDifferentialRing&|
                |DifferentialRing&| |Module&| NIL NIL |Module&| NIL NIL |Ring&|
                NIL NIL NIL NIL NIL NIL NIL NIL |AbelianGroup&| NIL NIL NIL
                |Monoid&| |AbelianMonoid&| |AbelianSemiGroup&| |SemiGroup&|
                |SetCategory&| |TranscendentalFunctionCategory&| |BasicType&|
                NIL NIL NIL NIL NIL NIL NIL |TrigonometricFunctionCategory&|
                |ArcTrigonometricFunctionCategory&|
                |HyperbolicFunctionCategory&| NIL |ElementaryFunctionCategory&|
                |RadicalCategory&|)
             (CONS
              '#((|UnivariatePuiseuxSeriesCategory| 6) (|Field|)
                 (|UnivariatePowerSeriesCategory| 6 39) (|EuclideanDomain|)
                 (|PowerSeriesCategory| 6 39 57) (|PrincipalIdealDomain|)
                 (|UniqueFactorizationDomain|) (|AbelianMonoidRing| 6 39)
                 (|GcdDomain|) (|IntegralDomain|) (|DivisionRing|)
                 (|Algebra| 6) (|Algebra| $$) (|Algebra| 39)
                 (|CharacteristicNonZero|) (|CharacteristicZero|) (|Module| 6)
                 (|PartialDifferentialRing| 16) (|DifferentialRing|)
                 (|Module| $$) (|CommutativeRing|) (|EntireRing|) (|Module| 39)
                 (|BiModule| 6 6) (|BiModule| $$ $$) (|Ring|)
                 (|BiModule| 39 39) (|LeftModule| 6) (|RightModule| 6)
                 (|RightModule| $$) (|LeftModule| $$) (|Rng|) (|LeftModule| 39)
                 (|RightModule| 39) (|AbelianGroup|) (|SemiRing|)
                 (|CancellationAbelianMonoid|) (|SemiRng|) (|Monoid|)
                 (|AbelianMonoid|) (|AbelianSemiGroup|) (|SemiGroup|)
                 (|SetCategory|) (|TranscendentalFunctionCategory|)
                 (|BasicType|) (|CoercibleTo| 10) (|Eltable| $$ $$)
                 (|unitsKnown|) (|CommutativeStar|) (|noZeroDivisors|)
                 (|canonicalUnitNormal|) (|canonicalsClosed|)
                 (|TrigonometricFunctionCategory|)
                 (|ArcTrigonometricFunctionCategory|)
                 (|HyperbolicFunctionCategory|)
                 (|ArcHyperbolicFunctionCategory|)
                 (|ElementaryFunctionCategory|) (|RadicalCategory|))
              (|makeByteWordVec2| 59
                                  '(1 11 10 0 12 1 0 0 0 13 2 0 0 0 14 15 1 0
                                    16 0 17 1 0 6 0 18 2 6 0 0 16 19 1 5 0 0 20
                                    2 0 0 21 0 22 2 0 0 6 0 23 2 0 0 0 0 24 2 0
                                    0 0 16 25 1 0 0 0 26 2 0 0 0 14 27 1 6 28 0
                                    29 2 28 30 16 0 31 2 6 0 0 16 32 2 0 0 0 16
                                    33 2 35 34 6 16 36 2 0 30 0 0 1 1 25 30 0 1
                                    1 0 56 0 1 1 0 16 0 17 1 10 51 0 1 1 10 0 0
                                    1 1 10 30 0 1 2 0 0 0 39 1 3 0 0 0 39 39 1
                                    1 0 54 0 1 1 15 0 0 1 1 15 0 0 1 2 24 41 0
                                    0 1 1 7 0 0 1 1 7 50 0 1 1 15 0 0 1 2 7 30
                                    0 0 1 1 15 0 0 1 1 15 0 0 1 2 0 0 38 54 1 1
                                    15 0 0 1 1 15 0 0 1 0 25 0 1 2 7 0 0 0 1 1
                                    0 0 0 1 1 8 41 0 1 2 7 0 0 0 1 1 7 43 42 1
                                    1 7 30 0 1 1 0 30 0 1 0 15 0 1 1 0 39 0 1 2
                                    0 39 0 39 1 1 8 30 0 1 2 15 0 0 40 1 2 0 0
                                    0 39 1 2 0 0 0 55 1 2 7 45 42 0 1 1 0 30 0
                                    1 3 0 0 0 57 39 1 3 0 0 0 56 58 1 2 0 0 6
                                    39 1 2 0 0 21 0 22 1 15 0 0 1 1 0 0 0 1 1 0
                                    6 0 1 1 7 0 42 1 2 7 0 0 0 1 1 0 11 0 1 1 7
                                    0 0 1 2 22 0 0 16 33 2 15 0 0 14 27 1 15 0
                                    0 26 1 0 59 0 1 2 7 44 44 44 1 1 7 0 42 1 2
                                    7 0 0 0 1 1 7 50 0 1 2 7 47 0 0 1 3 7 49 0
                                    0 0 1 2 0 0 0 39 1 2 10 41 0 0 1 2 7 45 42
                                    0 1 1 15 0 0 1 2 20 52 0 6 1 1 7 38 0 1 2 6
                                    0 0 0 1 2 0 6 0 39 1 2 7 46 0 0 1 2 5 0 0
                                    28 1 2 5 0 0 16 25 3 5 0 0 28 37 1 3 5 0 0
                                    16 38 1 1 4 0 0 13 2 4 0 0 38 1 2 0 0 0 14
                                    15 1 0 39 0 1 1 15 0 0 1 1 15 0 0 1 1 15 0
                                    0 1 1 15 0 0 1 1 15 0 0 1 1 15 0 0 1 1 0 0
                                    0 1 1 9 0 40 1 1 15 0 39 1 1 3 0 6 1 1 10 0
                                    0 1 1 0 0 14 1 1 0 0 5 9 1 0 10 0 1 2 0 6 0
                                    39 1 1 1 41 0 1 0 9 38 1 1 0 6 0 18 1 15 0
                                    0 1 1 15 0 0 1 2 10 30 0 0 1 1 15 0 0 1 1
                                    15 0 0 1 1 15 0 0 1 1 15 0 0 1 2 21 6 0 39
                                    1 1 15 0 0 1 1 15 0 0 1 1 15 0 0 1 1 15 0 0
                                    1 1 15 0 0 1 1 15 0 0 1 2 8 0 0 38 1 2 15 0
                                    0 39 1 2 15 0 0 0 1 2 7 0 0 40 1 2 0 0 0 55
                                    1 0 25 0 1 0 8 0 1 2 5 0 0 28 1 2 5 0 0 16
                                    1 3 5 0 0 28 37 1 3 5 0 0 16 38 1 1 4 0 0 1
                                    2 4 0 0 38 1 2 0 30 0 0 1 2 7 0 0 0 1 2 7 0
                                    0 6 1 2 23 0 0 0 24 1 23 0 0 1 2 0 0 0 0 1
                                    2 23 0 40 0 1 2 25 0 38 0 1 2 15 0 39 0 1 2
                                    15 0 0 39 1 2 0 0 0 6 1 2 0 0 6 0 23 2 0 0
                                    0 0 1 2 0 0 55 0 1)))))
           '|lookupComplete|)) 
