
(/VERSIONCHECK 2) 

(DEFUN |ODEINT;diff;SM;1| (|x| $)
  (PROG () (RETURN (CONS #'|ODEINT;diff;SM;1!0| (VECTOR $ |x|))))) 

(DEFUN |ODEINT;diff;SM;1!0| (|f1| $$)
  (PROG (|x| $)
    (LETT |x| (QREFELT $$ 1) . #1=(|ODEINT;diff;SM;1|))
    (LETT $ (QREFELT $$ 0) . #1#)
    (RETURN (PROGN (SPADCALL |f1| |x| (QREFELT $ 9)))))) 

(DEFUN |ODEINT;int;FSF;2| (|f| |x| $)
  (PROG (|u|)
    (RETURN
     (SEQ (LETT |u| (SPADCALL |f| |x| (QREFELT $ 14)) |ODEINT;int;FSF;2|)
          (EXIT
           (COND ((QEQCAR |u| 0) (QCDR |u|)) ('T (|SPADfirst| (QCDR |u|))))))))) 

(DEFUN |ODEINT;mkprod| (|l| $)
  (PROG (#1=#:G693 #2=#:G692 #3=#:G694 #4=#:G699 |r| |ll| |d| |rec|)
    (RETURN
     (SEQ
      (COND ((NULL |l|) (|spadConstant| $ 16))
            (#5='T
             (SEQ (LETT |rec| (|SPADfirst| |l|) . #6=(|ODEINT;mkprod|))
                  (LETT |d| (SPADCALL (QCAR |rec|) (QREFELT $ 19)) . #6#)
                  (LETT |ll|
                        (SPADCALL (CONS #'|ODEINT;mkprod!0| (VECTOR |d| $)) |l|
                                  (QREFELT $ 25))
                        . #6#)
                  (EXIT
                   (SPADCALL
                    (SPADCALL
                     (PROGN
                      (LETT #1# NIL . #6#)
                      (SEQ (LETT |r| NIL . #6#) (LETT #4# |ll| . #6#) G190
                           (COND
                            ((OR (ATOM #4#)
                                 (PROGN (LETT |r| (CAR #4#) . #6#) NIL))
                             (GO G191)))
                           (SEQ
                            (EXIT
                             (PROGN
                              (LETT #3#
                                    (SPADCALL (QCDR |r|)
                                              (SPADCALL (QCAR |r|)
                                                        (QREFELT $ 26))
                                              (QREFELT $ 27))
                                    . #6#)
                              (COND
                               (#1#
                                (LETT #2# (SPADCALL #2# #3# (QREFELT $ 28))
                                      . #6#))
                               ('T
                                (PROGN
                                 (LETT #2# #3# . #6#)
                                 (LETT #1# 'T . #6#)))))))
                           (LETT #4# (CDR #4#) . #6#) (GO G190) G191
                           (EXIT NIL))
                      (COND (#1# #2#) (#5# (|spadConstant| $ 16))))
                     |d| (QREFELT $ 29))
                    (|ODEINT;mkprod| (SPADCALL |l| |ll| (QREFELT $ 30)) $)
                    (QREFELT $ 28)))))))))) 

(DEFUN |ODEINT;mkprod!0| (|z1| $$)
  (PROG ($ |d|)
    (LETT $ (QREFELT $$ 1) . #1=(|ODEINT;mkprod|))
    (LETT |d| (QREFELT $$ 0) . #1#)
    (RETURN
     (PROGN
      (SPADCALL (SPADCALL (QCAR |z1|) (QREFELT $ 19)) |d| (QREFELT $ 21)))))) 

(DEFUN |ODEINT;expint;FSF;4| (|f| |x| $)
  (PROG (|exponent| |lrec| |w| #1=#:G722 |term| |l| #2=#:G710 |v| |na| |da| |u|
         |a|)
    (RETURN
     (SEQ
      (LETT |a| (SPADCALL |f| |x| (QREFELT $ 15)) . #3=(|ODEINT;expint;FSF;4|))
      (LETT |u| (SPADCALL (SPADCALL |a| (QREFELT $ 32)) |a| |x| (QREFELT $ 36))
            . #3#)
      (EXIT
       (COND ((QEQCAR |u| 0) (QCDR |u|))
             (#4='T
              (SEQ (LETT |da| (SPADCALL |a| (QREFELT $ 38)) . #3#)
                   (LETT |l|
                         (COND
                          ((QEQCAR
                            (LETT |v|
                                  (SPADCALL
                                   (LETT |na| (SPADCALL |a| (QREFELT $ 39))
                                         . #3#)
                                   (QREFELT $ 42))
                                  . #3#)
                            0)
                           (PROG2
                               (LETT #2# |v| . #3#)
                               (QCDR #2#)
                             (|check-union| (QEQCAR #2# 0)
                                            (|List|
                                             (|SparseMultivariatePolynomial|
                                              (QREFELT $ 6)
                                              (|Kernel| (QREFELT $ 7))))
                                            #2#)))
                          (#4# (LIST |na|)))
                         . #3#)
                   (LETT |exponent| (|spadConstant| $ 43) . #3#)
                   (LETT |lrec| NIL . #3#)
                   (SEQ (LETT |term| NIL . #3#) (LETT #1# |l| . #3#) G190
                        (COND
                         ((OR (ATOM #1#)
                              (PROGN (LETT |term| (CAR #1#) . #3#) NIL))
                          (GO G191)))
                        (SEQ
                         (LETT |w|
                               (|ODEINT;isQlog|
                                (SPADCALL |term| |da| (QREFELT $ 44)) $)
                               . #3#)
                         (EXIT
                          (COND
                           ((QEQCAR |w| 0)
                            (LETT |lrec| (CONS (QCDR |w|) |lrec|) . #3#))
                           ('T
                            (LETT |exponent|
                                  (SPADCALL |exponent| |term| (QREFELT $ 45))
                                  . #3#)))))
                        (LETT #1# (CDR #1#) . #3#) (GO G190) G191 (EXIT NIL))
                   (EXIT
                    (SPADCALL (|ODEINT;mkprod| |lrec| $)
                              (SPADCALL
                               (SPADCALL |exponent| |da| (QREFELT $ 44))
                               (QREFELT $ 46))
                              (QREFELT $ 28))))))))))) 

(DEFUN |ODEINT;isQ| (|l| $)
  (PROG (|prod| #1=#:G732 |u| #2=#:G733 |x|)
    (RETURN
     (SEQ
      (EXIT
       (SEQ (LETT |prod| (|spadConstant| $ 48) . #3=(|ODEINT;isQ|))
            (SEQ (LETT |x| NIL . #3#) (LETT #2# |l| . #3#) G190
                 (COND
                  ((OR (ATOM #2#) (PROGN (LETT |x| (CAR #2#) . #3#) NIL))
                   (GO G191)))
                 (SEQ (LETT |u| (SPADCALL |x| (QREFELT $ 50)) . #3#)
                      (EXIT
                       (COND
                        ((QEQCAR |u| 1)
                         (PROGN (LETT #1# (CONS 1 "failed") . #3#) (GO #1#)))
                        ('T
                         (LETT |prod|
                               (SPADCALL |prod| (QCDR |u|) (QREFELT $ 51))
                               . #3#)))))
                 (LETT #2# (CDR #2#) . #3#) (GO G190) G191 (EXIT NIL))
            (EXIT (CONS 0 |prod|))))
      #1# (EXIT #1#))))) 

(DEFUN |ODEINT;isQlog| (|f| $)
  (PROG (#1=#:G747 |u| |l| #2=#:G739 |v|)
    (RETURN
     (SEQ
      (COND
       ((SPADCALL |f| '|log| (QREFELT $ 52))
        (CONS 0
              (CONS (|spadConstant| $ 48)
                    (|SPADfirst|
                     (SPADCALL (SPADCALL |f| (QREFELT $ 55))
                               (QREFELT $ 58))))))
       ('T
        (SEQ
         (COND
          ((QEQCAR
            (LETT |v| (SPADCALL |f| (QREFELT $ 59)) . #3=(|ODEINT;isQlog|)) 0)
           (COND
            ((NULL
              (< 3
                 (LENGTH
                  (LETT |l|
                        (PROG2
                            (LETT #2# |v| . #3#)
                            (QCDR #2#)
                          (|check-union| (QEQCAR #2# 0) (|List| (QREFELT $ 7))
                                         #2#))
                        . #3#))))
             (EXIT
              (SEQ
               (EXIT
                (SEQ
                 (LETT |l| (NREVERSE (SPADCALL (ELT $ 60) |l| (QREFELT $ 62)))
                       . #3#)
                 (COND
                  ((SPADCALL (|SPADfirst| |l|) '|log| (QREFELT $ 52))
                   (SEQ (LETT |u| (|ODEINT;isQ| (CDR |l|) $) . #3#)
                        (EXIT
                         (COND
                          ((QEQCAR |u| 0)
                           (PROGN
                            (LETT #1#
                                  (CONS 0
                                        (CONS (QCDR |u|)
                                              (|SPADfirst|
                                               (SPADCALL
                                                (SPADCALL (|SPADfirst| |l|)
                                                          (QREFELT $ 55))
                                                (QREFELT $ 58)))))
                                  . #3#)
                            (GO #1#))))))))
                 (EXIT (CONS 1 "failed"))))
               #1# (EXIT #1#)))))))
         (EXIT (CONS 1 "failed"))))))))) 

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

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

(MAKEPROP '|ODEIntegration| '|infovec|
          (LIST
           '#(NIL NIL NIL NIL NIL NIL (|local| |#1|) (|local| |#2|) (|Symbol|)
              (0 . |differentiate|) (|Mapping| 7 7) |ODEINT;diff;SM;1|
              (|Union| 7 56) (|FunctionSpaceIntegration| 6 7) (6 . |integrate|)
              |ODEINT;int;FSF;2| (12 . |One|) (|Integer|) (|Fraction| 17)
              (16 . |denom|) (|Boolean|) (21 . =)
              (|Record| (|:| |coef| 18) (|:| |logand| 7)) (|Mapping| 20 22)
              (|List| 22) (27 . |select|) (33 . |numer|) (38 . ^) (44 . *)
              (50 . |nthRoot|) (56 . |setDifference|) (|List| 54)
              (62 . |tower|) (|Union| 7 '"failed") (|List| 57)
              (|ElementaryFunctionStructurePackage| 6 7)
              (67 . |validExponential|) (|SparseMultivariatePolynomial| 6 54)
              (74 . |denom|) (79 . |numer|) (|Union| (|List| $) '"failed")
              (|SparseMultivariatePolynomial| 6 57) (84 . |isPlus|)
              (89 . |Zero|) (93 . /) (99 . +) (105 . |exp|)
              |ODEINT;expint;FSF;4| (110 . |One|) (|Union| 18 '"failed")
              (114 . |retractIfCan|) (119 . *) (125 . |is?|) (131 . |One|)
              (|Kernel| $) (135 . |retract|) (|List| 7) (|Kernel| 7)
              (140 . |argument|) (145 . |isTimes|) (150 . |smaller?|)
              (|Mapping| 20 7 7) (156 . |sort!|))
           '#(|int| 162 |expint| 168 |diff| 174) 'NIL
           (CONS (|makeByteWordVec2| 1 'NIL)
                 (CONS '#()
                       (CONS '#()
                             (|makeByteWordVec2| 62
                                                 '(2 7 0 0 8 9 2 13 12 7 8 14 0
                                                   7 0 16 1 18 17 0 19 2 17 20
                                                   0 0 21 2 24 0 23 0 25 1 18
                                                   17 0 26 2 7 0 0 17 27 2 7 0
                                                   0 0 28 2 7 0 0 17 29 2 24 0
                                                   0 0 30 1 7 31 0 32 3 35 33
                                                   34 7 8 36 1 7 37 0 38 1 7 37
                                                   0 39 1 41 40 0 42 0 41 0 43
                                                   2 7 0 37 37 44 2 41 0 0 0 45
                                                   1 7 0 0 46 0 18 0 48 1 7 49
                                                   0 50 2 18 0 0 0 51 2 7 20 0
                                                   8 52 0 6 0 53 1 7 54 0 55 1
                                                   57 56 0 58 1 7 40 0 59 2 7
                                                   20 0 0 60 2 56 0 61 0 62 2 0
                                                   7 7 8 15 2 0 7 7 8 47 1 0 10
                                                   8 11)))))
           '|lookupComplete|)) 
