
(/VERSIONCHECK 2) 

(PUT '|UPXS;getExpon| '|SPADreplace| 'QCAR) 

(DEFUN |UPXS;getExpon| (|pxs| $) (QCAR |pxs|)) 

(DEFUN |UPXS;variable;$S;2| (|upxs| $) (QREFELT $ 7)) 

(DEFUN |UPXS;center;$Coef;3| (|upxs| $) (QREFELT $ 8)) 

(DEFUN |UPXS;coerce;Uts$;4| (|uts| $)
  (SPADCALL (SPADCALL |uts| (QREFELT $ 15)) (QREFELT $ 16))) 

(DEFUN |UPXS;retractIfCan;$U;5| (|upxs| $)
  (PROG (|ulsIfCan|)
    (RETURN
     (SEQ
      (LETT |ulsIfCan| (SPADCALL |upxs| (QREFELT $ 19))
            |UPXS;retractIfCan;$U;5|)
      (EXIT
       (COND ((QEQCAR |ulsIfCan| 1) (CONS 1 "failed"))
             ('T (SPADCALL (QCDR |ulsIfCan|) (QREFELT $ 21))))))))) 

(DEFUN |UPXS;coerce;V$;6| (|v| $)
  (COND
   ((SPADCALL (QREFELT $ 8) (QREFELT $ 24))
    (SPADCALL (|spadConstant| $ 25) (|spadConstant| $ 28) (QREFELT $ 29)))
   ('T
    (SPADCALL
     (SPADCALL (|spadConstant| $ 25) (|spadConstant| $ 28) (QREFELT $ 29))
     (SPADCALL (QREFELT $ 8) (|spadConstant| $ 32) (QREFELT $ 29))
     (QREFELT $ 33))))) 

(DEFUN |UPXS;differentiate;$V$;7| (|upxs| |v| $)
  (SPADCALL |upxs| (QREFELT $ 36))) 

(DEFUN |UPXS;integrate;$V$;8| (|upxs| |v| $) (SPADCALL |upxs| (QREFELT $ 38))) 

(DEFUN |UPXS;roundDown| (|rn| $)
  (PROG (|n| |num| |den|)
    (RETURN
     (SEQ (LETT |den| (SPADCALL |rn| (QREFELT $ 41)) . #1=(|UPXS;roundDown|))
          (EXIT
           (COND ((EQL |den| 1) (SPADCALL |rn| (QREFELT $ 42)))
                 (#2='T
                  (SEQ
                   (LETT |n|
                         (QUOTIENT2
                          (LETT |num| (SPADCALL |rn| (QREFELT $ 42)) . #1#)
                          |den|)
                         . #1#)
                   (EXIT
                    (COND ((SPADCALL |num| (QREFELT $ 43)) |n|)
                          (#2# (- |n| 1)))))))))))) 

(DEFUN |UPXS;stToCoef| (|st| |term| |n| |n0| $)
  (COND
   ((OR (< |n0| |n|) (SPADCALL |st| (QREFELT $ 45))) (|spadConstant| $ 30))
   ('T
    (SPADCALL
     (SPADCALL (SPADCALL |st| (QREFELT $ 46))
               (SPADCALL |term| |n| (QREFELT $ 48)) (QREFELT $ 49))
     (|UPXS;stToCoef| (SPADCALL |st| (QREFELT $ 50)) |term| (+ |n| 1) |n0| $)
     (QREFELT $ 51))))) 

(DEFUN |UPXS;approximateLaurent| (|x| |term| |n| $)
  (PROG (|app| #1=#:G711 |m| |e|)
    (RETURN
     (SEQ
      (LETT |m|
            (- |n|
               (LETT |e| (SPADCALL |x| (QREFELT $ 52))
                     . #2=(|UPXS;approximateLaurent|)))
            . #2#)
      (EXIT
       (COND ((< |m| 0) (|spadConstant| $ 30))
             (#3='T
              (SEQ
               (LETT |app|
                     (|UPXS;stToCoef|
                      (SPADCALL (SPADCALL |x| (QREFELT $ 53)) (QREFELT $ 54))
                      |term| 0
                      (PROG1 (LETT #1# |m| . #2#)
                        (|check-subtype| (>= #1# 0) '(|NonNegativeInteger|)
                                         #1#))
                      $)
                     . #2#)
               (EXIT
                (COND ((ZEROP |e|) |app|)
                      (#3#
                       (SPADCALL |app|
                                 (SPADCALL |term| (SPADCALL |e| (QREFELT $ 55))
                                           (QREFELT $ 56))
                                 (QREFELT $ 49))))))))))))) 

(DEFUN |UPXS;approximate;$FCoef;12| (|x| |r| $)
  (PROG (|term| |e|)
    (RETURN
     (SEQ
      (LETT |e| (SPADCALL |x| (QREFELT $ 57))
            . #1=(|UPXS;approximate;$FCoef;12|))
      (LETT |term|
            (SPADCALL
             (SPADCALL (SPADCALL (SPADCALL |x| (QREFELT $ 11)) (QREFELT $ 58))
                       (SPADCALL |x| (QREFELT $ 12)) (QREFELT $ 59))
             |e| (QREFELT $ 56))
            . #1#)
      (EXIT
       (|UPXS;approximateLaurent| (SPADCALL |x| (QREFELT $ 60)) |term|
        (|UPXS;roundDown| (SPADCALL |r| |e| (QREFELT $ 61)) $) $)))))) 

(DEFUN |UPXS;termOutput| (|k| |c| |vv| $)
  (PROG (|mon|)
    (RETURN
     (SEQ
      (COND
       ((SPADCALL |k| (|spadConstant| $ 32) (QREFELT $ 63))
        (SPADCALL |c| (QREFELT $ 65)))
       (#1='T
        (SEQ
         (LETT |mon|
               (COND ((SPADCALL |k| (|spadConstant| $ 28) (QREFELT $ 63)) |vv|)
                     (#1#
                      (SPADCALL |vv| (SPADCALL |k| (QREFELT $ 66))
                                (QREFELT $ 67))))
               |UPXS;termOutput|)
         (EXIT
          (COND ((SPADCALL |c| (|spadConstant| $ 25) (QREFELT $ 68)) |mon|)
                ((SPADCALL |c| (SPADCALL (|spadConstant| $ 25) (QREFELT $ 69))
                           (QREFELT $ 68))
                 (SPADCALL |mon| (QREFELT $ 70)))
                (#1#
                 (SPADCALL (SPADCALL |c| (QREFELT $ 65)) |mon|
                           (QREFELT $ 71)))))))))))) 

(PUT '|UPXS;showAll?| '|SPADreplace| '(XLAM NIL 'T)) 

(DEFUN |UPXS;showAll?| ($) 'T) 

(DEFUN |UPXS;termsToOutputForm| (|m| |rat| |uu| |xxx| $)
  (PROG (|l| |n| |count|)
    (RETURN
     (SEQ (LETT |l| NIL . #1=(|UPXS;termsToOutputForm|))
          (EXIT
           (COND
            ((SPADCALL |uu| (QREFELT $ 45))
             (SPADCALL (|spadConstant| $ 30) (QREFELT $ 65)))
            (#2='T
             (SEQ (LETT |count| |$streamCount| . #1#)
                  (SEQ (LETT |n| 0 . #1#) G190
                       (COND
                        ((OR (QSGREATERP |n| |count|)
                             (NULL
                              (COND ((SPADCALL |uu| (QREFELT $ 45)) 'NIL)
                                    ('T 'T))))
                         #3=(GO G191)))
                       (SEQ
                        (COND
                         ((NULL
                           (SPADCALL (SPADCALL |uu| (QREFELT $ 46))
                                     (|spadConstant| $ 30) (QREFELT $ 68)))
                          (LETT |l|
                                (CONS
                                 (|UPXS;termOutput|
                                  (SPADCALL (SPADCALL |n| |rat| (QREFELT $ 72))
                                            |m| (QREFELT $ 73))
                                  (SPADCALL |uu| (QREFELT $ 46)) |xxx| $)
                                 |l|)
                                . #1#)))
                        (EXIT
                         (LETT |uu| (SPADCALL |uu| (QREFELT $ 50)) . #1#)))
                       (LETT |n| (QSADD1 |n|) . #1#) #4=(GO G190) G191
                       (EXIT NIL))
                  (COND
                   ((|UPXS;showAll?| $)
                    (SEQ (LETT |n| (+ |count| 1) . #1#) G190
                         (COND
                          ((NULL
                            (COND
                             ((SPADCALL |uu| (QREFELT $ 74))
                              (COND
                               ((SPADCALL |uu| (SPADCALL |uu| (QREFELT $ 50))
                                          (QREFELT $ 75))
                                'NIL)
                               ('T 'T)))
                             ('T 'NIL)))
                           #3#))
                         (SEQ
                          (COND
                           ((NULL
                             (SPADCALL (SPADCALL |uu| (QREFELT $ 46))
                                       (|spadConstant| $ 30) (QREFELT $ 68)))
                            (LETT |l|
                                  (CONS
                                   (|UPXS;termOutput|
                                    (SPADCALL
                                     (SPADCALL |n| |rat| (QREFELT $ 72)) |m|
                                     (QREFELT $ 73))
                                    (SPADCALL |uu| (QREFELT $ 46)) |xxx| $)
                                   |l|)
                                  . #1#)))
                          (EXIT
                           (LETT |uu| (SPADCALL |uu| (QREFELT $ 50)) . #1#)))
                         (LETT |n| (+ |n| 1) . #1#) #4# G191 (EXIT NIL))))
                  (LETT |l|
                        (COND ((SPADCALL |uu| (QREFELT $ 76)) |l|)
                              (#2#
                               (SEQ
                                (COND
                                 ((SPADCALL |uu| (SPADCALL |uu| (QREFELT $ 50))
                                            (QREFELT $ 75))
                                  (COND
                                   ((SPADCALL (SPADCALL |uu| (QREFELT $ 46))
                                              (|spadConstant| $ 30)
                                              (QREFELT $ 68))
                                    (EXIT |l|)))))
                                (EXIT
                                 (CONS
                                  (SPADCALL "O"
                                            (LIST
                                             (SPADCALL |xxx|
                                                       (SPADCALL
                                                        (SPADCALL
                                                         (SPADCALL |n| |rat|
                                                                   (QREFELT $
                                                                            72))
                                                         |m| (QREFELT $ 73))
                                                        (QREFELT $ 66))
                                                       (QREFELT $ 67)))
                                            (QREFELT $ 78))
                                  |l|)))))
                        . #1#)
                  (EXIT
                   (COND
                    ((NULL |l|)
                     (SPADCALL (|spadConstant| $ 30) (QREFELT $ 65)))
                    (#2#
                     (SPADCALL (ELT $ 79) (NREVERSE |l|)
                               (QREFELT $ 82))))))))))))) 

(DEFUN |UPXS;coerce;$Of;16| (|upxs| $)
  (PROG (|xxx| |p| |m| |uls| |count| |rat|)
    (RETURN
     (SEQ (LETT |rat| (|UPXS;getExpon| |upxs| $) . #1=(|UPXS;coerce;$Of;16|))
          (LETT |uls| (SPADCALL |upxs| (QREFELT $ 60)) . #1#)
          (LETT |count| |$streamCount| . #1#)
          (LETT |uls| (SPADCALL |$streamCount| |uls| (QREFELT $ 83)) . #1#)
          (LETT |m|
                (SPADCALL (SPADCALL |uls| (QREFELT $ 52)) |rat| (QREFELT $ 72))
                . #1#)
          (LETT |p| (SPADCALL (SPADCALL |uls| (QREFELT $ 53)) (QREFELT $ 54))
                . #1#)
          (LETT |xxx|
                (COND
                 ((SPADCALL (QREFELT $ 8) (QREFELT $ 24))
                  (SPADCALL (QREFELT $ 7) (QREFELT $ 84)))
                 ('T
                  (SPADCALL
                   (SPADCALL (SPADCALL (QREFELT $ 7) (QREFELT $ 84))
                             (SPADCALL (QREFELT $ 8) (QREFELT $ 65))
                             (QREFELT $ 85))
                   (QREFELT $ 86))))
                . #1#)
          (EXIT (|UPXS;termsToOutputForm| |m| |rat| |p| |xxx| $)))))) 

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

(DEFUN |UnivariatePuiseuxSeries;| (|#1| |#2| |#3|)
  (PROG (|pv$| $ |dv$| DV$3 DV$2 DV$1)
    (RETURN
     (PROGN
      (LETT DV$1 (|devaluate| |#1|) . #1=(|UnivariatePuiseuxSeries|))
      (LETT DV$2 (|devaluate| |#2|) . #1#)
      (LETT DV$3 (|devaluate| |#3|) . #1#)
      (LETT |dv$| (LIST '|UnivariatePuiseuxSeries| DV$1 DV$2 DV$3) . #1#)
      (LETT $ (GETREFV 109) . #1#)
      (QSETREFV $ 0 |dv$|)
      (QSETREFV $ 3
                (LETT |pv$|
                      (|buildPredVector| 0 0
                                         (LIST
                                          (|HasCategory| |#1|
                                                         '(|Algebra|
                                                           (|Fraction|
                                                            (|Integer|))))
                                          (|HasCategory| |#1|
                                                         '(|CommutativeRing|))
                                          (|HasCategory| |#1|
                                                         '(|IntegralDomain|))
                                          (OR
                                           (|HasCategory| |#1|
                                                          '(|CommutativeRing|))
                                           (|HasCategory| |#1|
                                                          '(|IntegralDomain|)))
                                          (|HasCategory| |#1|
                                                         '(|CharacteristicNonZero|))
                                          (|HasCategory| |#1|
                                                         '(|CharacteristicZero|))
                                          (|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|
                                                          '(|CommutativeRing|))
                                           (|HasCategory| |#1| '(|Field|))
                                           (|HasCategory| |#1|
                                                          '(|IntegralDomain|)))
                                          (OR (|HasCategory| |#1| '(|Field|))
                                              (|HasCategory| |#1|
                                                             '(|IntegralDomain|)))
                                          (|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
                                            (|HasCategory| |#1|
                                                           '(|PrimitiveFunctionCategory|))
                                            (|HasCategory| |#1|
                                                           '(|TranscendentalFunctionCategory|))
                                            (|HasCategory| |#1|
                                                           '(|AlgebraicallyClosedFunctionSpace|
                                                             (|Integer|)))
                                            (|HasCategory| |#1|
                                                           '(|Algebra|
                                                             (|Fraction|
                                                              (|Integer|)))))
                                           (AND
                                            (|HasCategory| |#1|
                                                           '(|Algebra|
                                                             (|Fraction|
                                                              (|Integer|))))
                                            (|HasSignature| |#1|
                                                            (LIST '|integrate|
                                                                  (LIST
                                                                   (|devaluate|
                                                                    |#1|)
                                                                   (|devaluate|
                                                                    |#1|)
                                                                   '(|Symbol|))))
                                            (|HasSignature| |#1|
                                                            (LIST '|variables|
                                                                  (LIST
                                                                   '(|List|
                                                                     (|Symbol|))
                                                                   (|devaluate|
                                                                    |#1|))))))))
                      . #1#))
      (|haddProp| |$ConstructorCache| '|UnivariatePuiseuxSeries|
                  (LIST DV$1 DV$2 DV$3) (CONS 1 $))
      (|stuffDomainSlots| $)
      (QSETREFV $ 6 |#1|)
      (QSETREFV $ 7 |#2|)
      (QSETREFV $ 8 |#3|)
      (QSETREFV $ 9
                (|Record| (|:| |expon| (|Fraction| (|Integer|)))
                          (|:| |lSeries|
                               (|UnivariateLaurentSeries| |#1| |#2| |#3|))))
      (COND
       ((|testBitVector| |pv$| 7)
        (QSETREFV $ 37
                  (CONS (|dispatchFunction| |UPXS;differentiate;$V$;7|) $))))
      (COND
       ((|testBitVector| |pv$| 1)
        (QSETREFV $ 39 (CONS (|dispatchFunction| |UPXS;integrate;$V$;8|) $))))
      (COND
       ((|HasSignature| |#1|
                        (LIST '|coerce| (LIST (|devaluate| |#1|) '(|Symbol|))))
        (COND
         ((|testBitVector| |pv$| 13)
          (PROGN
           (QSETREFV $ 62
                     (CONS (|dispatchFunction| |UPXS;approximate;$FCoef;12|)
                           $)))))))
      $)))) 

(MAKEPROP '|UnivariatePuiseuxSeries| '|infovec|
          (LIST
           '#(NIL NIL NIL NIL NIL (|UnivariatePuiseuxSeriesConstructor| 6 14)
              (|local| |#1|) (|local| |#2|) (|local| |#3|) '|Rep| (|Symbol|)
              |UPXS;variable;$S;2| |UPXS;center;$Coef;3|
              (|UnivariateTaylorSeries| 6 7 8)
              (|UnivariateLaurentSeries| 6 7 8) (0 . |coerce|) (5 . |coerce|)
              |UPXS;coerce;Uts$;4| (|Union| 14 '#1="failed")
              (10 . |retractIfCan|) (|Union| 13 '#1#) (15 . |retractIfCan|)
              |UPXS;retractIfCan;$U;5| (|Boolean|) (20 . |zero?|) (25 . |One|)
              (29 . |One|) (|Fraction| 40) (33 . |One|) (37 . |monomial|)
              (43 . |Zero|) (47 . |Zero|) (51 . |Zero|) (55 . +) (|Variable| 7)
              |UPXS;coerce;V$;6| (61 . |differentiate|) (66 . |differentiate|)
              (72 . |integrate|) (77 . |integrate|) (|Integer|) (83 . |denom|)
              (88 . |numer|) (93 . |positive?|) (|Stream| 6) (98 . |empty?|)
              (103 . |frst|) (|NonNegativeInteger|) (108 . ^) (114 . *)
              (120 . |rst|) (125 . +) (131 . |degree|) (136 . |taylorRep|)
              (141 . |coefficients|) (146 . |coerce|) (151 . ^)
              (157 . |rationalPower|) (162 . |coerce|) (167 . -)
              (173 . |laurentRep|) (178 . /) (184 . |approximate|) (190 . =)
              (|OutputForm|) (196 . |coerce|) (201 . |coerce|) (206 . ^)
              (212 . =) (218 . -) (223 . -) (228 . *) (234 . *) (240 . +)
              (246 . |explicitEntries?|) (251 . |eq?|)
              (257 . |explicitlyEmpty?|) (|List| $) (262 . |prefix|) (268 . +)
              (|Mapping| 64 64 64) (|List| 64) (274 . |reduce|)
              (280 . |removeZeroes|) (286 . |coerce|) (291 . -) (297 . |paren|)
              |UPXS;coerce;$Of;16| (|List| 10) (|List| 47)
              (|Union| $ '"failed")
              (|Record| (|:| |coef| 77) (|:| |generator| $))
              (|SparseUnivariatePolynomial| $) (|Union| 77 '"failed")
              (|Record| (|:| |quotient| $) (|:| |remainder| $))
              (|Record| (|:| |coef1| $) (|:| |coef2| $)) (|Union| 95 '"failed")
              (|Record| (|:| |coef1| $) (|:| |coef2| $) (|:| |generator| $))
              (|Factored| $)
              (|Record| (|:| |unit| $) (|:| |canonical| $) (|:| |associate| $))
              (|Record| (|:| |k| 27) (|:| |c| 6)) (|Stream| 100)
              (|PositiveInteger|) (|List| 105) (|List| 27)
              (|SingletonAsOrderedSet|) (|Mapping| 6 6) (|SingleInteger|)
              (|String|))
           '#(|variable| 302 |retractIfCan| 307 |rationalPower| 317 |monomial|
              322 |laurentRep| 328 |integrate| 333 |differentiate| 344 |coerce|
              355 |center| 375 |approximate| 380 |Zero| 386 |One| 390 + 394)
           'NIL
           (CONS
            (|makeByteWordVec2| 12
                                '(0 0 10 0 10 0 10 10 0 10 12 10 1 3 2 1 3 5 6
                                  2 8 7 11 12 0 0 1 4 0 0 0 0 1 1 2 0 0 0 0 0 0
                                  0 0 0 1 0 0 0 0 0 2 3 9 10 10 1 1 1 1 1 1))
            (CONS
             '#(|UnivariatePuiseuxSeriesConstructorCategory&| NIL |Field&|
                |UnivariatePowerSeriesCategory&| |EuclideanDomain&|
                |PowerSeriesCategory&| NIL |UniqueFactorizationDomain&|
                |AbelianMonoidRing&| |GcdDomain&| |IntegralDomain&|
                |DivisionRing&| |Algebra&| |Algebra&| |Algebra&| |Module&|
                |Module&| NIL NIL |Module&| |PartialDifferentialRing&|
                |DifferentialRing&| NIL NIL |Ring&| NIL NIL NIL NIL NIL NIL NIL
                NIL NIL NIL |AbelianGroup&| NIL NIL |AbelianMonoid&| |Monoid&|
                NIL |SemiGroup&| |AbelianSemiGroup&| |SetCategory&|
                |TranscendentalFunctionCategory&| |RetractableTo&|
                |RetractableTo&| NIL |BasicType&| NIL NIL NIL NIL NIL NIL
                |TrigonometricFunctionCategory&|
                |ArcTrigonometricFunctionCategory&|
                |HyperbolicFunctionCategory&| NIL |ElementaryFunctionCategory&|
                |RadicalCategory&|)
             (CONS
              '#((|UnivariatePuiseuxSeriesConstructorCategory| 6
                                                               (|UnivariateLaurentSeries|
                                                                6 7 8))
                 (|UnivariatePuiseuxSeriesCategory| 6) (|Field|)
                 (|UnivariatePowerSeriesCategory| 6 27) (|EuclideanDomain|)
                 (|PowerSeriesCategory| 6 27 105) (|PrincipalIdealDomain|)
                 (|UniqueFactorizationDomain|) (|AbelianMonoidRing| 6 27)
                 (|GcdDomain|) (|IntegralDomain|) (|DivisionRing|)
                 (|Algebra| 27) (|Algebra| $$) (|Algebra| 6) (|Module| 27)
                 (|Module| $$) (|CharacteristicNonZero|) (|CharacteristicZero|)
                 (|Module| 6) (|PartialDifferentialRing| 10)
                 (|DifferentialRing|) (|CommutativeRing|) (|EntireRing|)
                 (|Ring|) (|BiModule| 6 6) (|BiModule| 27 27)
                 (|BiModule| $$ $$) (|Rng|) (|LeftModule| 6) (|RightModule| 6)
                 (|LeftModule| $$) (|LeftModule| 27) (|RightModule| 27)
                 (|RightModule| $$) (|AbelianGroup|)
                 (|CancellationAbelianMonoid|) (|SemiRing|) (|AbelianMonoid|)
                 (|Monoid|) (|SemiRng|) (|SemiGroup|) (|AbelianSemiGroup|)
                 (|SetCategory|) (|TranscendentalFunctionCategory|)
                 (|RetractableTo| (|UnivariateTaylorSeries| 6 7 8))
                 (|RetractableTo| (|UnivariateLaurentSeries| 6 7 8))
                 (|unitsKnown|) (|BasicType|) (|CoercibleTo| 64)
                 (|CommutativeStar|) (|noZeroDivisors|) (|Eltable| $$ $$)
                 (|canonicalUnitNormal|) (|canonicalsClosed|)
                 (|TrigonometricFunctionCategory|)
                 (|ArcTrigonometricFunctionCategory|)
                 (|HyperbolicFunctionCategory|)
                 (|ArcHyperbolicFunctionCategory|)
                 (|ElementaryFunctionCategory|) (|RadicalCategory|))
              (|makeByteWordVec2| 87
                                  '(1 14 0 13 15 1 0 0 14 16 1 0 18 0 19 1 14
                                    20 0 21 1 6 23 0 24 0 6 0 25 0 0 0 26 0 27
                                    0 28 2 0 0 6 27 29 0 6 0 30 0 0 0 31 0 27 0
                                    32 2 0 0 0 0 33 1 0 0 0 36 2 0 0 0 34 37 1
                                    0 0 0 38 2 0 0 0 34 39 1 27 40 0 41 1 27 40
                                    0 42 1 40 23 0 43 1 44 23 0 45 1 44 6 0 46
                                    2 6 0 0 47 48 2 6 0 0 0 49 1 44 0 0 50 2 6
                                    0 0 0 51 1 14 40 0 52 1 14 13 0 53 1 13 44
                                    0 54 1 27 0 40 55 2 6 0 0 27 56 1 0 27 0 57
                                    1 6 0 10 58 2 6 0 0 0 59 1 0 14 0 60 2 27 0
                                    0 0 61 2 0 6 0 27 62 2 27 23 0 0 63 1 6 64
                                    0 65 1 27 64 0 66 2 64 0 0 0 67 2 6 23 0 0
                                    68 1 6 0 0 69 1 64 0 0 70 2 64 0 0 0 71 2
                                    27 0 40 0 72 2 27 0 0 0 73 1 44 23 0 74 2
                                    44 23 0 0 75 1 44 23 0 76 2 64 0 0 77 78 2
                                    64 0 0 0 79 2 81 64 80 0 82 2 14 0 40 0 83
                                    1 10 64 0 84 2 64 0 0 0 85 1 64 0 0 86 1 0
                                    10 0 11 1 0 20 0 22 1 0 18 0 19 1 0 27 0 57
                                    2 0 0 6 27 29 1 0 14 0 60 2 1 0 0 34 39 1 1
                                    0 0 38 1 7 0 0 36 2 0 0 0 34 37 1 0 0 34 35
                                    1 0 0 13 17 1 0 0 14 16 1 0 64 0 87 1 0 6 0
                                    12 2 14 6 0 27 62 0 0 0 31 0 0 0 26 2 0 0 0
                                    0 33)))))
           '|lookupIncomplete|)) 
