
(/VERSIONCHECK 2) 

(DEFPARAMETER |MultivariateTaylorSeriesCategory;CAT| 'NIL) 

(DEFPARAMETER |MultivariateTaylorSeriesCategory;AL| 'NIL) 

(DEFUN |MultivariateTaylorSeriesCategory| (&REST #1=#:G1798)
  (LET (#2=#:G1799)
    (COND
     ((SETQ #2#
              (|assoc| #3=(|devaluateList| #1#)
                       |MultivariateTaylorSeriesCategory;AL|))
      (CDR #2#))
     (T
      (SETQ |MultivariateTaylorSeriesCategory;AL|
              (|cons5|
               (CONS #3#
                     (SETQ #2#
                             (APPLY #'|MultivariateTaylorSeriesCategory;|
                                    #1#)))
               |MultivariateTaylorSeriesCategory;AL|))
      #2#)))) 

(DEFUN |MultivariateTaylorSeriesCategory;| (|t#1| |t#2|)
  (PROG (#1=#:G1797)
    (RETURN
     (PROG1
         (LETT #1#
               (|sublisV|
                (PAIR '(|t#1| |t#2|)
                      (LIST (|devaluate| |t#1|) (|devaluate| |t#2|)))
                (|sublisV|
                 (PAIR '(#2=#:G1796) (LIST '(|IndexedExponents| |t#2|)))
                 (COND (|MultivariateTaylorSeriesCategory;CAT|)
                       ('T
                        (LETT |MultivariateTaylorSeriesCategory;CAT|
                              (|Join| (|PartialDifferentialRing| '|t#2|)
                                      (|PowerSeriesCategory| '|t#1| '#2#
                                                             '|t#2|)
                                      (|InnerEvalable| '|t#2| '$)
                                      (|Evalable| '$)
                                      (|mkCategory|
                                       '(((|coefficient|
                                           ($ $ |t#2| (|NonNegativeInteger|)))
                                          T)
                                         ((|coefficient|
                                           ($ $ (|List| |t#2|)
                                            (|List| (|NonNegativeInteger|))))
                                          T)
                                         ((|extend|
                                           ($ $ (|NonNegativeInteger|)))
                                          T)
                                         ((|monomial|
                                           ($ $ |t#2| (|NonNegativeInteger|)))
                                          T)
                                         ((|monomial|
                                           ($ $ (|List| |t#2|)
                                            (|List| (|NonNegativeInteger|))))
                                          T)
                                         ((|order|
                                           ((|NonNegativeInteger|) $ |t#2|))
                                          T)
                                         ((|order|
                                           ((|NonNegativeInteger|) $ |t#2|
                                            (|NonNegativeInteger|)))
                                          T)
                                         ((|polynomial|
                                           ((|Polynomial| |t#1|) $
                                            (|NonNegativeInteger|)))
                                          T)
                                         ((|polynomial|
                                           ((|Polynomial| |t#1|) $
                                            (|NonNegativeInteger|)
                                            (|NonNegativeInteger|)))
                                          T)
                                         ((|integrate| ($ $ |t#2|))
                                          (|has| |t#1|
                                                 (|Algebra|
                                                  (|Fraction| (|Integer|))))))
                                       '(((|RadicalCategory|)
                                          (|has| |t#1|
                                                 (|Algebra|
                                                  (|Fraction| (|Integer|)))))
                                         ((|TranscendentalFunctionCategory|)
                                          (|has| |t#1|
                                                 (|Algebra|
                                                  (|Fraction| (|Integer|))))))
                                       '((|Polynomial| |t#1|)
                                         (|NonNegativeInteger|) (|List| |t#2|)
                                         (|List| (|NonNegativeInteger|)))
                                       NIL))
                              . #3=(|MultivariateTaylorSeriesCategory|))))))
               . #3#)
       (SETELT #1# 0
               (LIST '|MultivariateTaylorSeriesCategory| (|devaluate| |t#1|)
                     (|devaluate| |t#2|))))))) 
