
(/VERSIONCHECK 2) 

(DEFUN |UTSSOL;seriesSolve;MLUTSF;1| (|f| |l| $)
  (PROG (|next| |st| |coeffs| |l2| |s1| |l1| #1=#:G2525 |e| #2=#:G2524)
    (RETURN
     (SEQ
      (LETT |l1|
            (SPADCALL
             (PROGN
              (LETT #2# NIL . #3=(|UTSSOL;seriesSolve;MLUTSF;1|))
              (SEQ (LETT |e| NIL . #3#) (LETT #1# |l| . #3#) G190
                   (COND
                    ((OR (ATOM #1#) (PROGN (LETT |e| (CAR #1#) . #3#) NIL))
                     (GO G191)))
                   (SEQ
                    (EXIT
                     (LETT #2# (CONS (SPADCALL |e| (QREFELT $ 10)) #2#)
                           . #3#)))
                   (LETT #1# (CDR #1#) . #3#) (GO G190) G191
                   (EXIT (NREVERSE0 #2#))))
             (QREFELT $ 13))
            . #3#)
      (LETT |s1| (SPADCALL (ELT $ 15) 0 (QREFELT $ 18)) . #3#)
      (LETT |l2|
            (SPADCALL (CONS #'|UTSSOL;seriesSolve;MLUTSF;1!0| $) |s1|
                      (QREFELT $ 28))
            . #3#)
      (LETT |coeffs| (SPADCALL |l1| |l2| (QREFELT $ 29)) . #3#)
      (LETT |st|
            (LIST |coeffs|
                  (SPADCALL (SPADCALL (SPADCALL |coeffs| (QREFELT $ 30)) |f|)
                            (QREFELT $ 31)))
            . #3#)
      (LETT |next| (CONS #'|UTSSOL;seriesSolve;MLUTSF;1!4| (VECTOR $ |st|))
            . #3#)
      (EXIT (SPADCALL (SPADCALL |next| (QREFELT $ 84)) (QREFELT $ 85))))))) 

(DEFUN |UTSSOL;seriesSolve;MLUTSF;1!4| ($$)
  (PROG (|st| $)
    (LETT |st| (QREFELT $$ 1) . #1=(|UTSSOL;seriesSolve;MLUTSF;1|))
    (LETT $ (QREFELT $$ 0) . #1#)
    (RETURN
     (PROGN
      (PROG (|nr| |coeff| |eq| |vars| #2=#:G2517 |var| #3=#:G2518 |res| |i|)
        (RETURN
         (SEQ
          (LETT |nr| (SPADCALL |st| (|spadConstant| $ 59) (QREFELT $ 33)) NIL)
          (COND
           ((SPADCALL
             (LETT |coeff| (SPADCALL |nr| (|spadConstant| $ 59) (QREFELT $ 34))
                   NIL)
             (QREFELT $ 36))
            (SEQ (LETT |res| (SPADCALL |coeff| (QREFELT $ 37)) NIL)
                 (EXIT
                  (SPADCALL |st| (|spadConstant| $ 59)
                            (SPADCALL |nr| (QREFELT $ 38)) (QREFELT $ 39)))))
           ('T
            (SEQ
             (SEQ G190
                  (COND
                   ((NULL
                     (SPADCALL
                      (LETT |eq|
                            (SPADCALL (SPADCALL |st| 2 (QREFELT $ 33))
                                      (QREFELT $ 40))
                            NIL)
                      (QREFELT $ 41)))
                    (GO G191)))
                  (SEQ
                   (EXIT
                    (SPADCALL |st| 2
                              (SPADCALL (SPADCALL |st| 2 (QREFELT $ 33))
                                        (QREFELT $ 38))
                              (QREFELT $ 39))))
                  NIL (GO G190) G191 (EXIT NIL))
             (LETT |vars| (SPADCALL |eq| (QREFELT $ 43)) NIL)
             (COND
              ((NULL
                (SPADCALL (SPADCALL |coeff| (QREFELT $ 44)) |vars|
                          (QREFELT $ 45)))
               (SEQ
                (SPADCALL
                 (SPADCALL "The variable is: "
                           (SPADCALL |coeff| (QREFELT $ 47)) (QREFELT $ 48))
                 (QREFELT $ 51))
                (SPADCALL
                 (SPADCALL "The next equations are: "
                           (SPADCALL (SPADCALL |st| 2 (QREFELT $ 33))
                                     (QREFELT $ 52))
                           (QREFELT $ 48))
                 (QREFELT $ 51))
                (EXIT
                 (COND
                  ((SPADCALL |vars| (QREFELT $ 53))
                   (|error|
                    "seriesSolve: there is no solution with the given initial values"))
                  ('T
                   (|error|
                    "seriesSolve: coefficient does not appear in equation")))))))
             (EXIT
              (COND
               ((SPADCALL (SPADCALL |vars| (QREFELT $ 54)) (QREFELT $ 55))
                (COND
                 ((SPADCALL (|spadConstant| $ 59)
                            (SPADCALL |eq| (SPADCALL |vars| (QREFELT $ 61))
                                      (QREFELT $ 62))
                            (QREFELT $ 63))
                  (COND
                   ((SPADCALL |eq| (QREFELT $ 64))
                    (SEQ
                     (SEQ (LETT |var| NIL NIL) (LETT #2# |vars| NIL) G190
                          (COND
                           ((OR (ATOM #2#)
                                (PROGN (LETT |var| (CAR #2#) NIL) NIL))
                            (GO G191)))
                          (SEQ (LETT |res| (|spadConstant| $ 65) NIL)
                               (LETT |i| (|spadConstant| $ 59) NIL)
                               (SEQ G190
                                    (COND
                                     ((NULL
                                       (COND
                                        ((OR
                                          (SPADCALL
                                           (SPADCALL |nr| |i| (QREFELT $ 34))
                                           (QREFELT $ 36))
                                          (NULL
                                           (SPADCALL
                                            (SPADCALL
                                             (SPADCALL |nr| |i| (QREFELT $ 34))
                                             (QREFELT $ 44))
                                            |var| (QREFELT $ 67))))
                                         (|spadConstant| $ 66))
                                        ('T (|spadConstant| $ 68))))
                                      (GO G191)))
                                    (SEQ
                                     (EXIT
                                      (LETT |i|
                                            (SPADCALL |i| (|spadConstant| $ 59)
                                                      (QREFELT $ 69))
                                            NIL)))
                                    NIL (GO G190) G191 (EXIT NIL))
                               (EXIT
                                (SPADCALL |nr| |i| (|spadConstant| $ 71)
                                          (QREFELT $ 72))))
                          (LETT #2# (CDR #2#) NIL) (GO G190) G191 (EXIT NIL))
                     (SPADCALL |st| (|spadConstant| $ 59)
                               (SPADCALL |nr| (QREFELT $ 38)) (QREFELT $ 39))
                     (EXIT
                      (SPADCALL |st| 2
                                (SPADCALL
                                 (CONS #'|UTSSOL;seriesSolve;MLUTSF;1!1|
                                       (VECTOR $ |res| |vars|))
                                 (SPADCALL (SPADCALL |st| 2 (QREFELT $ 33))
                                           (QREFELT $ 38))
                                 (QREFELT $ 76))
                                (QREFELT $ 39)))))
                   ('T
                    (SEQ
                     (SPADCALL
                      (SPADCALL #4="The variable is: "
                                (SPADCALL |coeff| (QREFELT $ 47))
                                (QREFELT $ 48))
                      (QREFELT $ 51))
                     (SPADCALL
                      (SPADCALL #5="The equation is: "
                                (SPADCALL |eq| (QREFELT $ 47)) (QREFELT $ 48))
                      (QREFELT $ 51))
                     (EXIT
                      (|error|
                       #6="seriesSolve: coefficient not uniquely determined"))))))
                 ('T
                  (SEQ
                   (LETT |res|
                         (SPADCALL
                          (SPADCALL
                           (SPADCALL |eq|
                                     (SPADCALL (|spadConstant| $ 77)
                                               (SPADCALL |vars| (QREFELT $ 61))
                                               (QREFELT $ 24))
                                     (QREFELT $ 78))
                           (SPADCALL |eq|
                                     (SPADCALL (|spadConstant| $ 22)
                                               (SPADCALL |vars| (QREFELT $ 61))
                                               (QREFELT $ 24))
                                     (QREFELT $ 78))
                           (QREFELT $ 79))
                          (QREFELT $ 80))
                         NIL)
                   (SPADCALL |st| (|spadConstant| $ 59)
                             (SPADCALL |nr| (QREFELT $ 38)) (QREFELT $ 39))
                   (EXIT
                    (SPADCALL |st| 2
                              (SPADCALL
                               (CONS #'|UTSSOL;seriesSolve;MLUTSF;1!2|
                                     (VECTOR |res| $ |vars|))
                               (SPADCALL (SPADCALL |st| 2 (QREFELT $ 33))
                                         (QREFELT $ 38))
                               (QREFELT $ 76))
                              (QREFELT $ 39)))))))
               ((SPADCALL |eq| (QREFELT $ 64))
                (SEQ
                 (SEQ (LETT |var| NIL NIL) (LETT #3# |vars| NIL) G190
                      (COND
                       ((OR (ATOM #3#) (PROGN (LETT |var| (CAR #3#) NIL) NIL))
                        (GO G191)))
                      (SEQ (LETT |res| (|spadConstant| $ 65) NIL)
                           (LETT |i| (|spadConstant| $ 59) NIL)
                           (SEQ G190
                                (COND
                                 ((NULL
                                   (COND
                                    ((OR
                                      (SPADCALL
                                       (SPADCALL |nr| |i| (QREFELT $ 34))
                                       (QREFELT $ 36))
                                      (NULL
                                       (SPADCALL
                                        (SPADCALL
                                         (SPADCALL |nr| |i| (QREFELT $ 34))
                                         (QREFELT $ 44))
                                        |var| (QREFELT $ 67))))
                                     (|spadConstant| $ 66))
                                    ('T (|spadConstant| $ 68))))
                                  (GO G191)))
                                (SEQ
                                 (EXIT
                                  (LETT |i|
                                        (SPADCALL |i| (|spadConstant| $ 59)
                                                  (QREFELT $ 69))
                                        NIL)))
                                NIL (GO G190) G191 (EXIT NIL))
                           (EXIT
                            (SPADCALL |nr| |i| (|spadConstant| $ 71)
                                      (QREFELT $ 72))))
                      (LETT #3# (CDR #3#) NIL) (GO G190) G191 (EXIT NIL))
                 (SPADCALL |st| (|spadConstant| $ 59)
                           (SPADCALL |nr| (QREFELT $ 38)) (QREFELT $ 39))
                 (EXIT
                  (SPADCALL |st| 2
                            (SPADCALL
                             (CONS #'|UTSSOL;seriesSolve;MLUTSF;1!3|
                                   (VECTOR $ |res| |vars|))
                             (SPADCALL (SPADCALL |st| 2 (QREFELT $ 33))
                                       (QREFELT $ 38))
                             (QREFELT $ 76))
                            (QREFELT $ 39)))))
               ('T
                (SEQ
                 (SPADCALL
                  (SPADCALL #4# (SPADCALL |coeff| (QREFELT $ 47))
                            (QREFELT $ 48))
                  (QREFELT $ 51))
                 (SPADCALL
                  (SPADCALL #5# (SPADCALL |eq| (QREFELT $ 47)) (QREFELT $ 48))
                  (QREFELT $ 51))
                 (EXIT (|error| #6#)))))))))
          (EXIT |res|)))))))) 

(DEFUN |UTSSOL;seriesSolve;MLUTSF;1!3| (|eq| $$)
  (PROG (|vars| |res| $)
    (LETT |vars| (QREFELT $$ 2) NIL)
    (LETT |res| (QREFELT $$ 1) NIL)
    (LETT $ (QREFELT $$ 0) NIL)
    (RETURN
     (PROGN
      (PROG (#1=#:G2509 |v| #2=#:G2508)
        (RETURN
         (SEQ
          (SPADCALL |eq| |vars|
                    (PROGN
                     (LETT #2# NIL NIL)
                     (SEQ (LETT |v| NIL NIL) (LETT #1# |vars| NIL) G190
                          (COND
                           ((OR (ATOM #1#)
                                (PROGN (LETT |v| (CAR #1#) NIL) NIL))
                            (GO G191)))
                          (SEQ (EXIT (LETT #2# (CONS |res| #2#) NIL)))
                          (LETT #1# (CDR #1#) NIL) (GO G190) G191
                          (EXIT (NREVERSE0 #2#))))
                    (QREFELT $ 74))))))))) 

(DEFUN |UTSSOL;seriesSolve;MLUTSF;1!2| (|eq| $$)
  (PROG (|vars| $ |res|)
    (LETT |vars| (QREFELT $$ 2) NIL)
    (LETT $ (QREFELT $$ 1) NIL)
    (LETT |res| (QREFELT $$ 0) NIL)
    (RETURN
     (PROGN
      (SPADCALL |eq| (SPADCALL |vars| (QREFELT $ 61)) |res| (QREFELT $ 81)))))) 

(DEFUN |UTSSOL;seriesSolve;MLUTSF;1!1| (|eq| $$)
  (PROG (|vars| |res| $)
    (LETT |vars| (QREFELT $$ 2) NIL)
    (LETT |res| (QREFELT $$ 1) NIL)
    (LETT $ (QREFELT $$ 0) NIL)
    (RETURN
     (PROGN
      (PROG (#1=#:G2493 |v| #2=#:G2492)
        (RETURN
         (SEQ
          (SPADCALL |eq| |vars|
                    (PROGN
                     (LETT #2# NIL NIL)
                     (SEQ (LETT |v| NIL NIL) (LETT #1# |vars| NIL) G190
                          (COND
                           ((OR (ATOM #1#)
                                (PROGN (LETT |v| (CAR #1#) NIL) NIL))
                            (GO G191)))
                          (SEQ (EXIT (LETT #2# (CONS |res| #2#) NIL)))
                          (LETT #1# (CDR #1#) NIL) (GO G190) G191
                          (EXIT (NREVERSE0 #2#))))
                    (QREFELT $ 74))))))))) 

(DEFUN |UTSSOL;seriesSolve;MLUTSF;1!0| (|i| $)
  (PROG (#1=#:G2116)
    (RETURN
     (SPADCALL (|spadConstant| $ 19)
               (SPADCALL (|spadConstant| $ 22)
                         (PROG1 (LETT #1# |i| NIL)
                           (|check-subtype| (>= #1# 0) '(|NonNegativeInteger|)
                                            #1#))
                         (QREFELT $ 24))
               (QREFELT $ 25))))) 

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

(DEFUN |TaylorSolve;| (|#1| |#2| |#3|)
  (PROG (|pv$| $ |dv$| DV$3 DV$2 DV$1)
    (RETURN
     (PROGN
      (LETT DV$1 (|devaluate| |#1|) . #1=(|TaylorSolve|))
      (LETT DV$2 (|devaluate| |#2|) . #1#)
      (LETT DV$3 (|devaluate| |#3|) . #1#)
      (LETT |dv$| (LIST '|TaylorSolve| DV$1 DV$2 DV$3) . #1#)
      (LETT $ (GETREFV 88) . #1#)
      (QSETREFV $ 0 |dv$|)
      (QSETREFV $ 3 (LETT |pv$| (|buildPredVector| 0 0 NIL) . #1#))
      (|haddProp| |$ConstructorCache| '|TaylorSolve| (LIST DV$1 DV$2 DV$3)
                  (CONS 1 $))
      (|stuffDomainSlots| $)
      (QSETREFV $ 6 |#1|)
      (QSETREFV $ 7 |#2|)
      (QSETREFV $ 8 |#3|)
      $)))) 

(MAKEPROP '|TaylorSolve| '|infovec|
          (LIST
           '#(NIL NIL NIL NIL NIL NIL (|local| |#1|) (|local| |#2|)
              (|local| |#3|) (|SparseMultivariatePolynomialExpressions| 6)
              (0 . |coerce|) (|List| 9) (|Stream| 9) (5 . |coerce|) (|Integer|)
              (10 . |inc|) (|Mapping| 14 14) (|Stream| 14) (15 . |generate|)
              (21 . |One|) (25 . |One|) (|NonNegativeInteger|) (29 . |One|)
              (|IndexedExponents| 21) (33 . |monomial|) (39 . |monomial|)
              (|Mapping| 9 14) (|StreamFunctions2| 14 9) (45 . |map|)
              (51 . |concat|) (57 . |series|) (62 . |coefficients|) (|List| 12)
              (67 . |elt|) (73 . |elt|) (|Boolean|) (79 . |ground?|)
              (84 . |ground|) (89 . |rest|) (94 . |setelt|) (101 . |first|)
              (106 . |zero?|) (|List| 21) (111 . |variables|) (116 . |retract|)
              (121 . |member?|) (|OutputForm|) (127 . |coerce|)
              (132 . |hconcat|) (|Void|) (|OutputPackage|) (138 . |output|)
              (143 . |coerce|) (148 . |empty?|) (153 . |#|) (158 . |one?|)
              (163 . |One|) (167 . |One|) (|PositiveInteger|) (171 . |One|)
              (175 . |One|) (179 . |first|) (184 . |degree|) (190 . <)
              (196 . |monomial?|) (201 . |Zero|) (205 . |true|) (209 . =)
              (215 . |false|) (219 . +) (225 . |Zero|) (229 . |Zero|)
              (233 . |setelt|) (|List| 6) (240 . |eval|) (|Mapping| 9 9)
              (247 . |map|) (253 . |Zero|) (257 . |coefficient|) (263 . /)
              (269 . -) (274 . |eval|) (|Mapping| 6) (|Stream| 6)
              (281 . |generate|) (286 . |series|) (|Mapping| 8 8)
              |UTSSOL;seriesSolve;MLUTSF;1|)
           '#(|seriesSolve| 291) 'NIL
           (CONS (|makeByteWordVec2| 1 'NIL)
                 (CONS '#()
                       (CONS '#()
                             (|makeByteWordVec2| 87
                                                 '(1 9 0 6 10 1 12 0 11 13 1 14
                                                   0 0 15 2 17 0 16 14 18 0 6 0
                                                   19 0 7 0 20 0 21 0 22 2 23 0
                                                   21 21 24 2 9 0 6 23 25 2 27
                                                   12 26 17 28 2 12 0 0 0 29 1
                                                   8 0 12 30 1 8 12 0 31 2 32
                                                   12 0 14 33 2 12 9 0 14 34 1
                                                   9 35 0 36 1 9 6 0 37 1 12 0
                                                   0 38 3 32 12 0 14 12 39 1 12
                                                   9 0 40 1 9 35 0 41 1 9 42 0
                                                   43 1 9 21 0 44 2 42 35 21 0
                                                   45 1 9 46 0 47 2 46 0 0 0 48
                                                   1 50 49 46 51 1 12 46 0 52 1
                                                   42 35 0 53 1 42 21 0 54 1 21
                                                   35 0 55 0 8 0 56 0 9 0 57 0
                                                   58 0 59 0 14 0 60 1 42 21 0
                                                   61 2 9 21 0 21 62 2 21 35 0
                                                   0 63 1 9 35 0 64 0 6 0 65 0
                                                   35 0 66 2 21 35 0 0 67 0 35
                                                   0 68 2 14 0 0 0 69 0 7 0 70
                                                   0 9 0 71 3 12 9 0 14 9 72 3
                                                   9 0 0 42 73 74 2 12 0 75 0
                                                   76 0 21 0 77 2 9 6 0 23 78 2
                                                   6 0 0 0 79 1 6 0 0 80 3 9 0
                                                   0 21 6 81 1 83 0 82 84 1 7 0
                                                   83 85 2 0 7 86 73 87)))))
           '|lookupComplete|)) 
