
(/VERSIONCHECK 2) 

(DEFUN |UnivariateFormalPowerSeries| (#0=#:G8100)
  (PROG ()
    (RETURN
      (PROG (#1=#:G8101)
        (RETURN
          (COND
            ((LETT #1#
                   (|lassocShiftWithFunction| (LIST (|devaluate| #0#))
                       (HGET |$ConstructorCache|
                             '|UnivariateFormalPowerSeries|)
                       '|domainEqualList|)
                   . #2=(|UnivariateFormalPowerSeries|))
             (|CDRwithIncrement| #1#))
            ('T
             (UNWIND-PROTECT
               (PROG1 (|UnivariateFormalPowerSeries;| #0#)
                 (LETT #1# T . #2#))
               (COND
                 ((NOT #1#)
                  (HREM |$ConstructorCache|
                        '|UnivariateFormalPowerSeries|))))))))))) 

(DEFUN |UnivariateFormalPowerSeries;| (|#1|)
  (PROG (DV$1 |dv$| $ #0=#:G8099 |pv$|)
    (RETURN
      (PROGN
        (LETT DV$1 (|devaluate| |#1|)
              . #1=(|UnivariateFormalPowerSeries|))
        (LETT |dv$| (LIST '|UnivariateFormalPowerSeries| DV$1) . #1#)
        (LETT $ (GETREFV 31) . #1#)
        (QSETREFV $ 0 |dv$|)
        (QSETREFV $ 3
            (LETT |pv$|
                  (|buildPredVector| 0 0
                      (LIST (|HasCategory| |#1|
                                '(|Algebra| (|Fraction| (|Integer|))))
                            (|HasCategory| |#1| '(|IntegralDomain|))
                            (LETT #0#
                                  (|HasCategory| |#1|
                                      '(|CommutativeRing|)) . #1#)
                            (OR #0#
                                (|HasCategory| |#1|
                                    '(|IntegralDomain|)))
                            (|HasCategory| |#1|
                                '(|CharacteristicNonZero|))
                            (|HasCategory| |#1|
                                '(|CharacteristicZero|))
                            (|HasSignature| |#1|
                                (LIST '*
                                      (LIST (|devaluate| |#1|)
                                       '(|NonNegativeInteger|)
                                       (|devaluate| |#1|))))
                            (AND (|HasCategory| |#1|
                                     '(|PartialDifferentialRing|
                                       (|Symbol|)))
                                 (|HasSignature| |#1|
                                     (LIST '*
                                      (LIST (|devaluate| |#1|)
                                       '(|NonNegativeInteger|)
                                       (|devaluate| |#1|)))))
                            (|HasCategory| (|NonNegativeInteger|)
                                '(|SemiGroup|))
                            (|HasSignature| |#1|
                                (LIST '**
                                      (LIST (|devaluate| |#1|)
                                       (|devaluate| |#1|)
                                       '(|NonNegativeInteger|))))
                            (AND (|HasSignature| |#1|
                                     (LIST '**
                                      (LIST (|devaluate| |#1|)
                                       (|devaluate| |#1|)
                                       '(|NonNegativeInteger|))))
                                 (|HasSignature| |#1|
                                     (LIST '|coerce|
                                      (LIST (|devaluate| |#1|)
                                       '(|Symbol|)))))
                            (|HasCategory| |#1| '(|Field|))
                            (OR (AND (|HasCategory| |#1|
                                      '(|AlgebraicallyClosedFunctionSpace|
                                        (|Integer|)))
                                     (|HasCategory| |#1|
                                      '(|PrimitiveFunctionCategory|))
                                     (|HasCategory| |#1|
                                      '(|TranscendentalFunctionCategory|))
                                     (|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| '|UnivariateFormalPowerSeries|
            (LIST DV$1) (CONS 1 $))
        (|stuffDomainSlots| $)
        (QSETREFV $ 6 |#1|)
        $)))) 

(MAKEPROP '|UnivariateFormalPowerSeries| '|infovec|
    (LIST '#(NIL NIL NIL NIL NIL
             (|UnivariateTaylorSeries| 6 (NRTEVAL '|x|)
                 (NRTEVAL (|spadConstant| $ 7)))
             (|local| |#1|) (0 . |Zero|) (|Symbol|)
             (|NonNegativeInteger|) (|List| 8) (|List| 9)
             (|Variable| (NRTEVAL '|x|)) (|Fraction| 14) (|Integer|)
             (|Union| $ '"failed")
             (|Record| (|:| |unit| $) (|:| |canonical| $)
                 (|:| |associate| $))
             (|Boolean|) (|Stream| 6)
             (|UnivariatePolynomial| (NRTEVAL '|x|) 6) (|Polynomial| 6)
             (|Mapping| 6 14) (|Record| (|:| |k| 9) (|:| |c| 6))
             (|Stream| 22) (|PositiveInteger|) (|List| 26)
             (|SingletonAsOrderedSet|) (|Mapping| 6 6)
             (|SingleInteger|) (|String|) (|OutputForm|))
          '#() 'NIL
          (CONS (|makeByteWordVec2| 9
                    '(0 0 0 0 2 1 2 3 1 4 2 2 5 6 3 8 7 0 0 1 4 0 0 0 0
                      1 1 3 0 0 0 0 0 0 0 0 0 1 0 0 0 3 2 9 1 1 1 1 1
                      1))
                (CONS '#(|UnivariateTaylorSeriesCategory&|
                         |UnivariatePowerSeriesCategory&|
                         |PowerSeriesCategory&| |AbelianMonoidRing&|
                         |IntegralDomain&| |Algebra&| |Algebra&|
                         |Algebra&| |Module&| NIL |Module&| NIL NIL NIL
                         |Module&| |PartialDifferentialRing&|
                         |DifferentialRing&| |Ring&| NIL NIL NIL NIL
                         NIL NIL NIL NIL NIL NIL |AbelianGroup&| NIL
                         NIL |AbelianMonoid&| |Monoid&| NIL
                         |SemiGroup&| |AbelianSemiGroup&|
                         |SetCategory&|
                         |TranscendentalFunctionCategory&| NIL
                         |BasicType&| NIL NIL NIL NIL
                         |TrigonometricFunctionCategory&|
                         |ArcTrigonometricFunctionCategory&|
                         |HyperbolicFunctionCategory&| NIL
                         |ElementaryFunctionCategory&|
                         |RadicalCategory&|)
                      (CONS '#((|UnivariateTaylorSeriesCategory| 6)
                               (|UnivariatePowerSeriesCategory| 6 9)
                               (|PowerSeriesCategory| 6 9 26)
                               (|AbelianMonoidRing| 6 9)
                               (|IntegralDomain|) (|Algebra| 13)
                               (|Algebra| $$) (|Algebra| 6)
                               (|Module| 13) (|CommutativeRing|)
                               (|Module| $$) (|EntireRing|)
                               (|CharacteristicNonZero|)
                               (|CharacteristicZero|) (|Module| 6)
                               (|PartialDifferentialRing| 8)
                               (|DifferentialRing|) (|Ring|)
                               (|BiModule| 6 6) (|BiModule| 13 13)
                               (|BiModule| $$ $$) (|Rng|)
                               (|LeftModule| 6) (|RightModule| 6)
                               (|LeftModule| $$) (|LeftModule| 13)
                               (|RightModule| 13) (|RightModule| $$)
                               (|AbelianGroup|)
                               (|CancellationAbelianMonoid|)
                               (|SemiRing|) (|AbelianMonoid|)
                               (|Monoid|) (|SemiRng|) (|SemiGroup|)
                               (|AbelianSemiGroup|) (|SetCategory|)
                               (|TranscendentalFunctionCategory|)
                               (|unitsKnown|) (|BasicType|)
                               (|CoercibleTo| 30) (|CommutativeStar|)
                               (|noZeroDivisors|) (|Eltable| $$ $$)
                               (|TrigonometricFunctionCategory|)
                               (|ArcTrigonometricFunctionCategory|)
                               (|HyperbolicFunctionCategory|)
                               (|ArcHyperbolicFunctionCategory|)
                               (|ElementaryFunctionCategory|)
                               (|RadicalCategory|))
                            (|makeByteWordVec2| 7 '(0 6 0 7)))))
          '|lookupIncomplete|)) 
