
(/VERSIONCHECK 2) 

(DEFUN |LAPLACE;laplace;F2SF;1| (|f| |t| |s| $)
  (|LAPLACE;locallaplace| (SPADCALL |f| |t| (QREFELT $ 15)) |t|
   (SPADCALL |t| (QREFELT $ 16)) |s| (SPADCALL |s| (QREFELT $ 16)) $)) 

(DEFUN |LAPLACE;algebraic?| (|f| |t| $)
  (PROG (#1=#:G704 #2=#:G706 #3=#:G709 |k| |m| #4=#:G708 #5=#:G707 |l|)
    (RETURN
     (SEQ
      (EXIT
       (SEQ
        (LETT |l| (SPADCALL (SPADCALL |f| (QREFELT $ 19)) |t| (QREFELT $ 22))
              . #6=(|LAPLACE;algebraic?|))
        (LETT |m|
              (SPADCALL (ELT $ 23)
                        (PROGN
                         (LETT #5# NIL . #6#)
                         (SEQ (LETT |k| NIL . #6#) (LETT #4# |l| . #6#) G190
                              (COND
                               ((OR (ATOM #4#)
                                    (PROGN (LETT |k| (CAR #4#) . #6#) NIL))
                                #7=(GO G191)))
                              (SEQ
                               (EXIT
                                (LETT #5#
                                      (CONS (SPADCALL |k| (QREFELT $ 25)) #5#)
                                      . #6#)))
                              (LETT #4# (CDR #4#) . #6#) #8=(GO G190) G191
                              (EXIT (NREVERSE0 #5#))))
                        0 (QREFELT $ 28))
              . #6#)
        (SEQ
         (EXIT
          (SEQ (LETT |k| NIL . #6#) (LETT #3# |l| . #6#) G190
               (COND
                ((OR (ATOM #3#) (PROGN (LETT |k| (CAR #3#) . #6#) NIL)) #7#))
               (SEQ
                (EXIT
                 (COND
                  ((EQL (SPADCALL |k| (QREFELT $ 25)) |m|)
                   (COND
                    ((SPADCALL (SPADCALL |k| (QREFELT $ 29)) (QREFELT $ 8)
                               (QREFELT $ 31))
                     (PROGN
                      (LETT #1# (PROGN (LETT #2# 'T . #6#) (GO #2#)) . #6#)
                      (GO #1#))))))))
               (LETT #3# (CDR #3#) . #6#) #8# G191 (EXIT NIL)))
         #1# (EXIT #1#))
        (EXIT 'NIL)))
      #2# (EXIT #2#))))) 

(DEFUN |LAPLACE;dvlap| (|l| |x| $)
  (PROG (|e| |v| |l3| |l2| |l1|)
    (RETURN
     (SEQ (LETT |l1| (|SPADfirst| |l|) . #1=(|LAPLACE;dvlap|))
          (LETT |l2| (SPADCALL |l| (QREFELT $ 33)) . #1#)
          (LETT |v|
                (SPADCALL (LETT |l3| (SPADCALL |l| (QREFELT $ 34)) . #1#)
                          (QREFELT $ 35))
                . #1#)
          (EXIT
           (COND
            ((EQUAL |x| |v|)
             (SPADCALL
              (SPADCALL (QREFELT $ 13) (SPADCALL |l2| |l1| (QREFELT $ 36)) |l2|
                        |l3| (QREFELT $ 37))
              (QREFELT $ 38)))
            ('T
             (SEQ
              (LETT |e|
                    (SPADCALL
                     (SPADCALL (SPADCALL |l3| |l2| (QREFELT $ 36))
                               (QREFELT $ 38))
                     (QREFELT $ 39))
                    . #1#)
              (EXIT
               (|LAPLACE;locallaplace|
                (SPADCALL
                 (SPADCALL (SPADCALL |e| |l1| (QREFELT $ 36)) |x|
                           (QREFELT $ 40))
                 |e| (QREFELT $ 41))
                (SPADCALL |l2| (QREFELT $ 35)) |l2| |v| |l3| $)))))))))) 

(DEFUN |LAPLACE;isLinear| (|f| |t| $)
  (PROG (|c| |b| #1=#:G727 |d| |ff|)
    (RETURN
     (SEQ
      (EXIT
       (SEQ
        (LETT |ff| (SPADCALL |f| (SPADCALL |t| (QREFELT $ 42)) (QREFELT $ 45))
              . #2=(|LAPLACE;isLinear|))
        (SEQ
         (LETT |d| (SPADCALL (SPADCALL |ff| (QREFELT $ 48)) (QREFELT $ 50))
               . #2#)
         (EXIT
          (COND
           ((OR (QEQCAR |d| 1)
                (< 1 (SPADCALL (SPADCALL |ff| (QREFELT $ 55)) (QREFELT $ 56))))
            (PROGN (LETT #1# (CONS 1 "failed") . #2#) (GO #1#))))))
        (COND
         ((SPADCALL
           (LETT |b|
                 (SPADCALL
                  (SPADCALL (SPADCALL |ff| (QREFELT $ 55)) 0 (QREFELT $ 57))
                  (QCDR |d|) (QREFELT $ 41))
                 . #2#)
           |t| (QREFELT $ 58))
          (COND
           ((SPADCALL
             (LETT |c|
                   (SPADCALL
                    (SPADCALL (SPADCALL |ff| (QREFELT $ 55)) 1 (QREFELT $ 57))
                    (QCDR |d|) (QREFELT $ 41))
                   . #2#)
             |t| (QREFELT $ 58))
            (EXIT (CONS 0 (CONS |b| |c|)))))))
        (EXIT (CONS 1 "failed"))))
      #1# (EXIT #1#))))) 

(DEFUN |LAPLACE;atn| (|f| |t| $)
  (PROG (#1=#:G760 |c| |d| |r| #2=#:G731 |rec| #3=#:G764 #4=#:G755 |g| |u|
         #5=#:G748 #6=#:G763 #7=#:G747 |vv| |w| #8=#:G739 |v|)
    (RETURN
     (SEQ
      (EXIT
       (SEQ
        (COND
         ((QEQCAR (LETT |v| (SPADCALL |f| (QREFELT $ 61)) . #9=(|LAPLACE;atn|))
                  0)
          (SEQ
           (LETT |w|
                 (PROG2
                     (LETT #8# |v| . #9#)
                     (QCDR #8#)
                   (|check-union| (QEQCAR #8# 0)
                                  (|Record|
                                   (|:| |var| (|Kernel| (QREFELT $ 7)))
                                   (|:| |exponent| (|Integer|)))
                                  #8#))
                 . #9#)
           (EXIT
            (COND
             ((< 0 (QCDR |w|))
              (SEQ
               (EXIT
                (SEQ (LETT |vv| (SPADCALL (QCAR |w|) (QREFELT $ 65)) . #9#)
                     (EXIT
                      (COND
                       ((QEQCAR |vv| 0)
                        (COND
                         ((EQUAL (QCDR |vv|) |t|)
                          (PROGN
                           (LETT #5#
                                 (PROGN
                                  (LETT #6#
                                        (CONS 0
                                              (CONS (|spadConstant| $ 52)
                                                    (PROG1
                                                        (LETT #7# (QCDR |w|)
                                                              . #9#)
                                                      (|check-subtype|
                                                       (> #7# 0)
                                                       '(|PositiveInteger|)
                                                       #7#))))
                                        . #9#)
                                  (GO #6#))
                                 . #9#)
                           (GO #5#)))))))))
               #5# (EXIT #5#))))))))
        (EXIT
         (COND
          ((QEQCAR (LETT |u| (SPADCALL |f| (QREFELT $ 67)) . #9#) 0)
           (SEQ (LETT |c| (|spadConstant| $ 52) . #9#) (LETT |d| 0 . #9#)
                (SEQ (LETT |g| NIL . #9#)
                     (LETT #3#
                           (PROG2
                               (LETT #4# |u| . #9#)
                               (QCDR #4#)
                             (|check-union| (QEQCAR #4# 0)
                                            (|List| (QREFELT $ 7)) #4#))
                           . #9#)
                     G190
                     (COND
                      ((OR (ATOM #3#) (PROGN (LETT |g| (CAR #3#) . #9#) NIL))
                       (GO G191)))
                     (SEQ
                      (EXIT
                       (COND
                        ((QEQCAR (LETT |rec| (|LAPLACE;atn| |g| |t| $) . #9#)
                                 0)
                         (SEQ
                          (LETT |r|
                                (PROG2
                                    (LETT #2# |rec| . #9#)
                                    (QCDR #2#)
                                  (|check-union| (QEQCAR #2# 0)
                                                 (|Record|
                                                  (|:| |coef| (QREFELT $ 7))
                                                  (|:| |deg|
                                                       (|PositiveInteger|)))
                                                 #2#))
                                . #9#)
                          (LETT |c| (SPADCALL |c| (QCAR |r|) (QREFELT $ 36))
                                . #9#)
                          (EXIT (LETT |d| (+ |d| (QCDR |r|)) . #9#))))
                        ('T
                         (LETT |c| (SPADCALL |c| |g| (QREFELT $ 36)) . #9#)))))
                     (LETT #3# (CDR #3#) . #9#) (GO G190) G191 (EXIT NIL))
                (EXIT
                 (COND ((ZEROP |d|) (CONS 1 "failed"))
                       (#10='T
                        (CONS 0
                              (CONS |c|
                                    (PROG1 (LETT #1# |d| . #9#)
                                      (|check-subtype| (> #1# 0)
                                                       '(|PositiveInteger|)
                                                       #1#)))))))))
          (#10# (CONS 1 "failed"))))))
      #6# (EXIT #6#))))) 

(DEFUN |LAPLACE;aexp| (|f| |t| $)
  (PROG (#1=#:G792 #2=#:G798 |rec| #3=#:G767 |r| |w| #4=#:G789 |v| |c| |c1|
         |c0| #5=#:G799 #6=#:G775 |g| |u|)
    (RETURN
     (SEQ
      (EXIT
       (COND
        ((SPADCALL |f| '|exp| (QREFELT $ 68))
         (SEQ
          (LETT |v|
                (|LAPLACE;isLinear|
                 (|SPADfirst|
                  (SPADCALL (SPADCALL |f| (QREFELT $ 69)) (QREFELT $ 70)))
                 |t| $)
                . #7=(|LAPLACE;aexp|))
          (EXIT
           (COND ((QEQCAR |v| 1) (CONS 1 "failed"))
                 (#8='T
                  (CONS 0
                        (VECTOR (|spadConstant| $ 52) (QCDR (QCDR |v|))
                                (QCAR (QCDR |v|)))))))))
        ((QEQCAR (LETT |u| (SPADCALL |f| (QREFELT $ 67)) . #7#) 0)
         (SEQ (LETT |c| (|spadConstant| $ 52) . #7#)
              (LETT |c1| (LETT |c0| (|spadConstant| $ 63) . #7#) . #7#)
              (SEQ (LETT |g| NIL . #7#)
                   (LETT #5#
                         (PROG2
                             (LETT #6# |u| . #7#)
                             (QCDR #6#)
                           (|check-union| (QEQCAR #6# 0) (|List| (QREFELT $ 7))
                                          #6#))
                         . #7#)
                   G190
                   (COND
                    ((OR (ATOM #5#) (PROGN (LETT |g| (CAR #5#) . #7#) NIL))
                     (GO G191)))
                   (SEQ
                    (EXIT
                     (COND
                      ((QEQCAR (LETT |r| (|LAPLACE;aexp| |g| |t| $) . #7#) 0)
                       (SEQ
                        (LETT |rec|
                              (PROG2
                                  (LETT #3# |r| . #7#)
                                  (QCDR #3#)
                                (|check-union| (QEQCAR #3# 0)
                                               (|Record|
                                                (|:| |coef| (QREFELT $ 7))
                                                (|:| |coef1| (QREFELT $ 7))
                                                (|:| |coef0| (QREFELT $ 7)))
                                               #3#))
                              . #7#)
                        (LETT |c| (SPADCALL |c| (QVELT |rec| 0) (QREFELT $ 36))
                              . #7#)
                        (LETT |c0|
                              (SPADCALL |c0| (QVELT |rec| 2) (QREFELT $ 71))
                              . #7#)
                        (EXIT
                         (LETT |c1|
                               (SPADCALL |c1| (QVELT |rec| 1) (QREFELT $ 71))
                               . #7#))))
                      ('T
                       (LETT |c| (SPADCALL |c| |g| (QREFELT $ 36)) . #7#)))))
                   (LETT #5# (CDR #5#) . #7#) (GO G190) G191 (EXIT NIL))
              (COND
               ((SPADCALL |c0| (QREFELT $ 72))
                (COND
                 ((SPADCALL |c1| (QREFELT $ 72)) (EXIT (CONS 1 "failed"))))))
              (EXIT (CONS 0 (VECTOR |c| |c1| |c0|)))))
        (#8#
         (SEQ
          (COND
           ((QEQCAR (LETT |v| (SPADCALL |f| (QREFELT $ 75)) . #7#) 0)
            (SEQ
             (LETT |w|
                   (PROG2
                       (LETT #4# |v| . #7#)
                       (QCDR #4#)
                     (|check-union| (QEQCAR #4# 0)
                                    (|Record| (|:| |val| (QREFELT $ 7))
                                              (|:| |exponent| (|Integer|)))
                                    #4#))
                   . #7#)
             (EXIT
              (COND
               ((NULL (EQL (QCDR |w|) 1))
                (SEQ
                 (EXIT
                  (COND
                   ((QEQCAR (LETT |r| (|LAPLACE;aexp| (QCAR |w|) |t| $) . #7#)
                            0)
                    (PROGN
                     (LETT #1#
                           (SEQ
                            (LETT |rec|
                                  (PROG2
                                      (LETT #3# |r| . #7#)
                                      (QCDR #3#)
                                    (|check-union| (QEQCAR #3# 0)
                                                   (|Record|
                                                    (|:| |coef| (QREFELT $ 7))
                                                    (|:| |coef1| (QREFELT $ 7))
                                                    (|:| |coef0|
                                                         (QREFELT $ 7)))
                                                   #3#))
                                  . #7#)
                            (EXIT
                             (PROGN
                              (LETT #2#
                                    (CONS 0
                                          (VECTOR
                                           (SPADCALL (QVELT |rec| 0) (QCDR |w|)
                                                     (QREFELT $ 77))
                                           (SPADCALL (QCDR |w|) (QVELT |rec| 1)
                                                     (QREFELT $ 78))
                                           (SPADCALL (QCDR |w|) (QVELT |rec| 2)
                                                     (QREFELT $ 78))))
                                    . #7#)
                              (GO #2#))))
                           . #7#)
                     (GO #1#)))))
                 #1# (EXIT #1#))))))))
          (EXIT (CONS 1 "failed"))))))
      #2# (EXIT #2#))))) 

(DEFUN |LAPLACE;mkPlus| (|f| $)
  (PROG (#1=#:G811 |p| #2=#:G810 |d| |u|)
    (RETURN
     (SEQ
      (LETT |u| (SPADCALL (SPADCALL |f| (QREFELT $ 80)) (QREFELT $ 82))
            . #3=(|LAPLACE;mkPlus|))
      (EXIT
       (COND ((QEQCAR |u| 1) (CONS 1 "failed"))
             ('T
              (SEQ (LETT |d| (SPADCALL |f| (QREFELT $ 83)) . #3#)
                   (EXIT
                    (CONS 0
                          (PROGN
                           (LETT #2# NIL . #3#)
                           (SEQ (LETT |p| NIL . #3#)
                                (LETT #1# (QCDR |u|) . #3#) G190
                                (COND
                                 ((OR (ATOM #1#)
                                      (PROGN (LETT |p| (CAR #1#) . #3#) NIL))
                                  (GO G191)))
                                (SEQ
                                 (EXIT
                                  (LETT #2#
                                        (CONS (SPADCALL |p| |d| (QREFELT $ 84))
                                              #2#)
                                        . #3#)))
                                (LETT #1# (CDR #1#) . #3#) (GO G190) G191
                                (EXIT (NREVERSE0 #2#)))))))))))))) 

(DEFUN |LAPLACE;tdenom| (|f| |t| $)
  (COND
   ((QEQCAR
     (SPADCALL (SPADCALL |f| (QREFELT $ 83)) (SPADCALL |t| (QREFELT $ 80))
               (QREFELT $ 86))
     1)
    (CONS 1 "failed"))
   ('T (CONS 0 (SPADCALL |t| |f| (QREFELT $ 36)))))) 

(DEFUN |LAPLACE;intlaplace| (|f| |ss| |g| |v| |vv| $)
  (PROG (|l| #1=#:G830 |u| |i|)
    (RETURN
     (SEQ
      (COND
       ((OR (SPADCALL |g| (QREFELT $ 13) (QREFELT $ 87))
            (QEQCAR
             (LETT |i| (SPADCALL |g| |v| (QREFELT $ 90))
                   . #2=(|LAPLACE;intlaplace|))
             1))
        (CONS 1 "failed"))
       ('T
        (SEQ
         (LETT |u|
               (SPADCALL
                (PROG2
                    (LETT #1# |i| . #2#)
                    (QCDR #1#)
                  (|check-union| (QEQCAR #1# 0) (QREFELT $ 7) #1#))
                (SPADCALL (SPADCALL |vv| (QREFELT $ 92))
                          (SPADCALL (QREFELT $ 93)) (QREFELT $ 95))
                (QREFELT $ 100))
               . #2#)
         (EXIT
          (COND
           ((QEQCAR |u| 0)
            (SEQ
             (LETT |l|
                   (SPADCALL
                    (PROG2
                        (LETT #1# |i| . #2#)
                        (QCDR #1#)
                      (|check-union| (QEQCAR #1# 0) (QREFELT $ 7) #1#))
                    (SPADCALL (SPADCALL |vv| (QREFELT $ 92))
                              (SPADCALL |ss| (QREFELT $ 92)) (QREFELT $ 95))
                    (QREFELT $ 100))
                   . #2#)
             (EXIT
              (COND
               ((QEQCAR |l| 0)
                (SPADCALL (SPADCALL (QCDR |u|) (QCDR |l|) (QREFELT $ 101))
                          (QREFELT $ 102)))
               (#3='T (CONS 1 "failed"))))))
           (#3# (CONS 1 "failed"))))))))))) 

(DEFUN |LAPLACE;lapkernel| (|f| |t| |tt| |ss| $)
  (PROG (|op| |a| |s| |fint| |arg| |k|)
    (RETURN
     (SEQ (LETT |k| (SPADCALL |f| (QREFELT $ 104)) . #1=(|LAPLACE;lapkernel|))
          (EXIT
           (COND
            ((OR (QEQCAR |k| 1)
                 (NULL
                  (LETT |arg| (SPADCALL (QCDR |k|) (QREFELT $ 70)) . #1#)))
             (CONS 1 "failed"))
            ((SPADCALL (LETT |op| (SPADCALL (QCDR |k|) (QREFELT $ 29)) . #1#)
                       '|%diff| (QREFELT $ 105))
             (COND
              ((OR (NULL (EQL (LENGTH |arg|) 3))
                   (NULL
                    (SPADCALL (SPADCALL |arg| 3 (QREFELT $ 106)) |t|
                              (QREFELT $ 68))))
               (CONS 1 "failed"))
              ('T
               (SEQ
                (LETT |fint|
                      (SPADCALL (SPADCALL |arg| 1 (QREFELT $ 106))
                                (SPADCALL |arg| 2 (QREFELT $ 106)) |tt|
                                (QREFELT $ 107))
                      . #1#)
                (LETT |s|
                      (SPADCALL
                       (SPADCALL
                        (SPADCALL (SPADCALL |ss| (QREFELT $ 19)) 1
                                  (QREFELT $ 108))
                        (QREFELT $ 29))
                       (QREFELT $ 109))
                      . #1#)
                (EXIT
                 (CONS 0
                       (SPADCALL
                        (SPADCALL |ss|
                                  (|LAPLACE;locallaplace| |fint| |t| |tt| |s|
                                   |ss| $)
                                  (QREFELT $ 36))
                        (SPADCALL |fint|
                                  (SPADCALL |tt| (|spadConstant| $ 63)
                                            (QREFELT $ 112))
                                  (QREFELT $ 114))
                        (QREFELT $ 115))))))))
            ((NULL (NULL (CDR |arg|))) (CONS 1 "failed"))
            ('T
             (COND
              ((SPADCALL |t|
                         (SPADCALL
                          (LETT |a|
                                (SPADCALL (|SPADfirst| |arg|) |tt|
                                          (QREFELT $ 41))
                                . #1#)
                          (QREFELT $ 117))
                         (QREFELT $ 118))
               (CONS 1 "failed"))
              ((SPADCALL (LETT |op| (SPADCALL (QCDR |k|) (QREFELT $ 29)) . #1#)
                         '|Si| (QREFELT $ 105))
               (CONS 0
                     (SPADCALL
                      (SPADCALL (SPADCALL |a| |ss| (QREFELT $ 41))
                                (QREFELT $ 119))
                      |ss| (QREFELT $ 41))))
              ((SPADCALL |op| '|Ci| (QREFELT $ 105))
               (CONS 0
                     (SPADCALL
                      (SPADCALL
                       (SPADCALL
                        (SPADCALL (SPADCALL |ss| 2 (QREFELT $ 121))
                                  (SPADCALL |a| 2 (QREFELT $ 121))
                                  (QREFELT $ 71))
                        (SPADCALL |a| 2 (QREFELT $ 121)) (QREFELT $ 41))
                       (QREFELT $ 122))
                      (SPADCALL 2 |ss| (QREFELT $ 123)) (QREFELT $ 41))))
              ((SPADCALL |op| '|Ei| (QREFELT $ 105))
               (CONS 0
                     (SPADCALL
                      (SPADCALL
                       (SPADCALL (SPADCALL |ss| |a| (QREFELT $ 71)) |a|
                                 (QREFELT $ 41))
                       (QREFELT $ 122))
                      |ss| (QREFELT $ 41))))
              ('T
               (SEQ
                (COND
                 ((|HasCategory| (QREFELT $ 7) '(|SpecialFunctionCategory|))
                  (COND
                   ((SPADCALL |op| '|log| (QREFELT $ 105))
                    (EXIT
                     (CONS 0
                           (SPADCALL
                            (SPADCALL
                             (SPADCALL
                              (SPADCALL (|spadConstant| $ 52) (QREFELT $ 124))
                              (SPADCALL |a| (QREFELT $ 122)) (QREFELT $ 115))
                             (SPADCALL |ss| (QREFELT $ 122)) (QREFELT $ 115))
                            |ss| (QREFELT $ 41))))))))
                (EXIT (CONS 1 "failed")))))))))))) 

(DEFUN |LAPLACE;locallaplace| (|f| |t| |tt| |s| |ss| $)
  (PROG (|x| |ww| #1=#:G893 |w| |la| |vv| #2=#:G888 |v| |rec| #3=#:G881
         #4=#:G880 #5=#:G882 #6=#:G903 #7=#:G878 |g| |u| |vvv|)
    (RETURN
     (SEQ
      (COND ((SPADCALL |f| (QREFELT $ 72)) (|spadConstant| $ 63))
            ((SPADCALL |f| (|spadConstant| $ 52) (QREFELT $ 110))
             (SPADCALL |ss| (QREFELT $ 125)))
            (#8='T
             (SEQ
              (LETT |x| (|LAPLACE;tdenom| |f| |tt| $)
                    . #9=(|LAPLACE;locallaplace|))
              (EXIT
               (COND
                ((QEQCAR |x| 0)
                 (SEQ
                  (LETT |g|
                        (|LAPLACE;locallaplace| (QCDR |x|) |t| |tt|
                         (LETT |vv| (SPADCALL (QREFELT $ 126)) . #9#)
                         (LETT |vvv| (SPADCALL |vv| (QREFELT $ 16)) . #9#) $)
                        . #9#)
                  (LETT |x| (|LAPLACE;intlaplace| |f| |ss| |g| |vv| |vvv| $)
                        . #9#)
                  (EXIT
                   (COND ((QEQCAR |x| 0) (QCDR |x|))
                         (#8#
                          (SPADCALL (QREFELT $ 13) |f| |tt| |ss|
                                    (QREFELT $ 37)))))))
                ((QEQCAR (LETT |u| (|LAPLACE;mkPlus| |f| $) . #9#) 0)
                 (PROGN
                  (LETT #3# NIL . #9#)
                  (SEQ (LETT |g| NIL . #9#)
                       (LETT #6#
                             (PROG2
                                 (LETT #7# |u| . #9#)
                                 (QCDR #7#)
                               (|check-union| (QEQCAR #7# 0)
                                              (|List| (QREFELT $ 7)) #7#))
                             . #9#)
                       G190
                       (COND
                        ((OR (ATOM #6#) (PROGN (LETT |g| (CAR #6#) . #9#) NIL))
                         (GO G191)))
                       (SEQ
                        (EXIT
                         (PROGN
                          (LETT #5#
                                (|LAPLACE;locallaplace| |g| |t| |tt| |s| |ss|
                                 $)
                                . #9#)
                          (COND
                           (#3#
                            (LETT #4# (SPADCALL #4# #5# (QREFELT $ 71)) . #9#))
                           ('T
                            (PROGN
                             (LETT #4# #5# . #9#)
                             (LETT #3# 'T . #9#)))))))
                       (LETT #6# (CDR #6#) . #9#) (GO G190) G191 (EXIT NIL))
                  (COND (#3# #4#) (#8# (|spadConstant| $ 63)))))
                ((NULL
                  (SPADCALL
                   (QCAR (LETT |rec| (SPADCALL |f| |t| (QREFELT $ 129)) . #9#))
                   (|spadConstant| $ 52) (QREFELT $ 110)))
                 (SPADCALL (QCAR |rec|)
                           (|LAPLACE;locallaplace| (QCDR |rec|) |t| |tt| |s|
                            |ss| $)
                           (QREFELT $ 36)))
                ('T
                 (COND
                  ((QEQCAR (LETT |v| (|LAPLACE;atn| |f| |t| $) . #9#) 0)
                   (SEQ
                    (LETT |vv|
                          (PROG2
                              (LETT #2# |v| . #9#)
                              (QCDR #2#)
                            (|check-union| (QEQCAR #2# 0)
                                           (|Record| (|:| |coef| (QREFELT $ 7))
                                                     (|:| |deg|
                                                          (|PositiveInteger|)))
                                           #2#))
                          . #9#)
                    (EXIT
                     (COND
                      ((SPADCALL
                        (LETT |la|
                              (|LAPLACE;locallaplace| (QCAR |vv|) |t| |tt| |s|
                               |ss| $)
                              . #9#)
                        (QREFELT $ 13) (QREFELT $ 87))
                       (SPADCALL (QREFELT $ 13) |f| |tt| |ss| (QREFELT $ 37)))
                      (#8#
                       (SPADCALL (EXPT -1 (QCDR |vv|))
                                 (SPADCALL |la| |s| (QCDR |vv|)
                                           (QREFELT $ 130))
                                 (QREFELT $ 78)))))))
                  ((QEQCAR (LETT |w| (|LAPLACE;aexp| |f| |t| $) . #9#) 0)
                   (SEQ
                    (LETT |ww|
                          (PROG2
                              (LETT #1# |w| . #9#)
                              (QCDR #1#)
                            (|check-union| (QEQCAR #1# 0)
                                           (|Record| (|:| |coef| (QREFELT $ 7))
                                                     (|:| |coef1|
                                                          (QREFELT $ 7))
                                                     (|:| |coef0|
                                                          (QREFELT $ 7)))
                                           #1#))
                          . #9#)
                    (EXIT
                     (SPADCALL (SPADCALL (QVELT |ww| 2) (QREFELT $ 39))
                               (|LAPLACE;locallaplace| (QVELT |ww| 0) |t| |tt|
                                |s|
                                (SPADCALL |ss| (QVELT |ww| 1) (QREFELT $ 115))
                                $)
                               (QREFELT $ 36)))))
                  (#8#
                   (SEQ
                    (LETT |x| (|LAPLACE;lapkernel| |f| |t| |tt| |ss| $) . #9#)
                    (EXIT
                     (COND ((QEQCAR |x| 0) (QCDR |x|))
                           (#8#
                            (SPADCALL (QREFELT $ 13) |f| |tt| |ss|
                                      (QREFELT $ 37)))))))))))))))))) 

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

(DEFUN |LaplaceTransform;| (|#1| |#2|)
  (PROG (|pv$| $ |dv$| DV$2 DV$1)
    (RETURN
     (PROGN
      (LETT DV$1 (|devaluate| |#1|) . #1=(|LaplaceTransform|))
      (LETT DV$2 (|devaluate| |#2|) . #1#)
      (LETT |dv$| (LIST '|LaplaceTransform| DV$1 DV$2) . #1#)
      (LETT $ (GETREFV 133) . #1#)
      (QSETREFV $ 0 |dv$|)
      (QSETREFV $ 3 (LETT |pv$| (|buildPredVector| 0 0 NIL) . #1#))
      (|haddProp| |$ConstructorCache| '|LaplaceTransform| (LIST DV$1 DV$2)
                  (CONS 1 $))
      (|stuffDomainSlots| $)
      (QSETREFV $ 6 |#1|)
      (QSETREFV $ 7 |#2|)
      (QSETREFV $ 8 '|%alg|)
      (QSETREFV $ 13 (SPADCALL '|laplace| 3 (QREFELT $ 12)))
      (SPADCALL (QREFELT $ 13) '|%specialDiff|
                (CONS (|function| |LAPLACE;dvlap|) $) (QREFELT $ 132))
      $)))) 

(MAKEPROP '|LaplaceTransform| '|infovec|
          (LIST
           '#(NIL NIL NIL NIL NIL NIL (|local| |#1|) (|local| |#2|) 'ALGOP
              (|Symbol|) (|NonNegativeInteger|) (|BasicOperator|)
              (0 . |operator|) '|oplap| (|TrigonometricManipulations| 6 7)
              (6 . |complexElementary|) (12 . |coerce|)
              |LAPLACE;laplace;F2SF;1| (|List| 44) (17 . |kernels|) (|List| 24)
              (|IntegrationTools| 6 7) (22 . |varselect|) (28 . |max|)
              (|Kernel| 7) (34 . |height|) (|Mapping| 10 10 10) (|List| 10)
              (39 . |reduce|) (46 . |operator|) (|Boolean|) (51 . |has?|)
              (|List| 7) (57 . |second|) (62 . |third|) (67 . |retract|)
              (72 . *) (78 . |elt|) (86 . -) (91 . |exp|)
              (96 . |differentiate|) (102 . /) (108 . |kernel|)
              (|Fraction| (|SparseUnivariatePolynomial| $)) (|Kernel| $)
              (113 . |univariate|) (|SparseUnivariatePolynomial| 7)
              (|Fraction| 46) (119 . |denom|) (|Union| 7 '#1="failed")
              (124 . |retractIfCan|) (129 . |One|) (133 . |One|) (137 . |One|)
              (141 . |One|) (145 . |numer|) (150 . |degree|)
              (155 . |coefficient|) (161 . |freeOf?|)
              (|Record| (|:| |var| 44) (|:| |exponent| 76))
              (|Union| 59 '#2="failed") (167 . |isExpt|) (172 . |Zero|)
              (176 . |Zero|) (|Union| 9 '"failed") (180 . |symbolIfCan|)
              (|Union| (|List| $) '#2#) (185 . |isTimes|) (190 . |is?|)
              (196 . |retract|) (201 . |argument|) (206 . +) (212 . |zero?|)
              (|Record| (|:| |val| $) (|:| |exponent| 76)) (|Union| 73 '#2#)
              (217 . |isPower|) (|Integer|) (222 . ^) (228 . *)
              (|SparseMultivariatePolynomial| 6 44) (234 . |numer|)
              (|SparseMultivariatePolynomial| 6 24) (239 . |isPlus|)
              (244 . |denom|) (249 . /) (|Union| $ '"failed") (255 . |exquo|)
              (261 . |is?|) (|Union| 7 32) (|FunctionSpaceIntegration| 6 7)
              (267 . |integrate|) (|OrderedCompletion| 7) (273 . |coerce|)
              (278 . |plusInfinity|) (|Equation| 91) (282 . |equation|)
              (|Union| 91 '"failed")
              (|Record| (|:| |leftHandLimit| 96) (|:| |rightHandLimit| 96))
              (|Union| 91 97 '"failed") (|PowerSeriesLimitPackage| 6 7)
              (288 . |limit|) (294 . -) (300 . |retractIfCan|)
              (|Union| 44 '#1#) (305 . |retractIfCan|) (310 . |is?|)
              (316 . |elt|) (322 . |eval|) (329 . |elt|) (335 . |name|)
              (340 . =) (|Equation| 7) (346 . =) (|Equation| $) (352 . |eval|)
              (358 . -) (|List| 9) (364 . |variables|) (369 . |member?|)
              (375 . |atan|) (|PositiveInteger|) (380 . ^) (386 . |log|)
              (391 . *) (397 . |digamma|) (402 . |inv|) (407 . |new|)
              (|Record| (|:| |const| 7) (|:| |nconst| 7))
              (|PatternMatchIntegration| 6 7) (411 . |splitConstant|)
              (417 . |differentiate|) (|None|) (424 . |setProperty|))
           '#(|laplace| 431) 'NIL
           (CONS (|makeByteWordVec2| 1 'NIL)
                 (CONS '#()
                       (CONS '#()
                             (|makeByteWordVec2| 132
                                                 '(2 11 0 9 10 12 2 14 7 7 9 15
                                                   1 7 0 9 16 1 7 18 0 19 2 21
                                                   20 20 9 22 2 10 0 0 0 23 1
                                                   24 10 0 25 3 27 10 26 0 10
                                                   28 1 24 11 0 29 2 11 30 0 9
                                                   31 1 32 7 0 33 1 32 7 0 34 1
                                                   7 9 0 35 2 7 0 0 0 36 4 7 0
                                                   11 0 0 0 37 1 7 0 0 38 1 7 0
                                                   0 39 2 7 0 0 9 40 2 7 0 0 0
                                                   41 1 24 0 9 42 2 7 43 0 44
                                                   45 1 47 46 0 48 1 46 49 0 50
                                                   0 6 0 51 0 7 0 52 0 47 0 53
                                                   0 46 0 54 1 47 46 0 55 1 46
                                                   10 0 56 2 46 7 0 10 57 2 7
                                                   30 0 9 58 1 7 60 0 61 0 6 0
                                                   62 0 7 0 63 1 24 64 0 65 1 7
                                                   66 0 67 2 7 30 0 9 68 1 7 44
                                                   0 69 1 24 32 0 70 2 7 0 0 0
                                                   71 1 7 30 0 72 1 7 74 0 75 2
                                                   7 0 0 76 77 2 7 0 76 0 78 1
                                                   7 79 0 80 1 81 66 0 82 1 7
                                                   79 0 83 2 7 0 79 79 84 2 81
                                                   85 0 0 86 2 7 30 0 11 87 2
                                                   89 88 7 9 90 1 91 0 7 92 0
                                                   91 0 93 2 94 0 91 91 95 2 99
                                                   98 7 94 100 2 91 0 0 0 101 1
                                                   91 49 0 102 1 7 103 0 104 2
                                                   11 30 0 9 105 2 32 7 0 76
                                                   106 3 7 0 0 0 0 107 2 20 24
                                                   0 76 108 1 11 9 0 109 2 7 30
                                                   0 0 110 2 111 0 7 7 112 2 7
                                                   0 0 113 114 2 7 0 0 0 115 1
                                                   7 116 0 117 2 116 30 9 0 118
                                                   1 7 0 0 119 2 7 0 0 120 121
                                                   1 7 0 0 122 2 7 0 120 0 123
                                                   1 7 0 0 124 1 7 0 0 125 0 9
                                                   0 126 2 128 127 7 9 129 3 7
                                                   0 0 9 10 130 3 11 0 0 9 131
                                                   132 3 0 7 7 9 9 17)))))
           '|lookupComplete|)) 
