
(/VERSIONCHECK 2) 

(DEFUN |LF;Si;2F;1| (|x| $) (SPADCALL (QREFELT $ 20) |x| (QREFELT $ 24))) 

(DEFUN |LF;Ci;2F;2| (|x| $) (SPADCALL (QREFELT $ 21) |x| (QREFELT $ 24))) 

(DEFUN |LF;Ei;2F;3| (|x| $) (SPADCALL (QREFELT $ 18) |x| (QREFELT $ 24))) 

(DEFUN |LF;erf;2F;4| (|x| $) (SPADCALL (QREFELT $ 23) |x| (QREFELT $ 24))) 

(DEFUN |LF;li;2F;5| (|x| $) (SPADCALL (QREFELT $ 19) |x| (QREFELT $ 24))) 

(DEFUN |LF;dilog;2F;6| (|x| $) (SPADCALL (QREFELT $ 22) |x| (QREFELT $ 24))) 

(DEFUN |LF;belong?;BoB;7| (|op| $) (SPADCALL |op| (QREFELT $ 8) (QREFELT $ 32))) 

(DEFUN |LF;isi| (|x| $) (SPADCALL (QREFELT $ 20) |x| (QREFELT $ 34))) 

(DEFUN |LF;ici| (|x| $) (SPADCALL (QREFELT $ 21) |x| (QREFELT $ 34))) 

(DEFUN |LF;ierf| (|x| $)
  (COND ((SPADCALL |x| (QREFELT $ 35)) (|spadConstant| $ 36))
        ('T (SPADCALL (QREFELT $ 23) |x| (QREFELT $ 34))))) 

(DEFUN |LF;ili2| (|x| $)
  (COND
   ((SPADCALL |x| (|spadConstant| $ 38) (QREFELT $ 39))
    (|error| "Invalid argument"))
   ('T (SPADCALL (QREFELT $ 22) |x| (QREFELT $ 34))))) 

(DEFUN |LF;integrand| (|l| $)
  (SPADCALL (|SPADfirst| |l|)
            (SPADCALL (SPADCALL |l| (QREFELT $ 41)) (QREFELT $ 43))
            (SPADCALL |l| (QREFELT $ 44)) (QREFELT $ 45))) 

(DEFUN |LF;integral;FSF;13| (|f| |x| $)
  (PROG (|k|)
    (RETURN
     (SPADCALL (QREFELT $ 16)
               (LIST
                (SPADCALL |f|
                          (LETT |k| (SPADCALL |x| (QREFELT $ 47))
                                |LF;integral;FSF;13|)
                          (QREFELT $ 12) (QREFELT $ 45))
                (QREFELT $ 12) (SPADCALL |k| (QREFELT $ 48)))
               (QREFELT $ 50))))) 

(DEFUN |LF;iint| (|l| $)
  (COND ((SPADCALL (|SPADfirst| |l|) (QREFELT $ 35)) (|spadConstant| $ 36))
        ('T (SPADCALL (QREFELT $ 16) |l| (QREFELT $ 52))))) 

(DEFUN |LF;ddint| (|l| $)
  (SPADCALL
   (SPADCALL (SPADCALL (|LF;integrand| |l| $) (QREFELT $ 54))
             (SPADCALL (SPADCALL '|d| (QREFELT $ 55))
                       (SPADCALL (SPADCALL |l| (QREFELT $ 44)) (QREFELT $ 54))
                       (QREFELT $ 56))
             (QREFELT $ 57))
   (SPADCALL (SPADCALL (CDR |l|) (QREFELT $ 44)) (QREFELT $ 54))
   (SPADCALL (SPADCALL (CDR (CDR |l|)) (QREFELT $ 44)) (QREFELT $ 54))
   (QREFELT $ 58))) 

(DEFUN |LF;eqint| (|k1| |k2| $)
  (PROG (|res| #1=#:G695 |a2| |a1|)
    (RETURN
     (SEQ
      (EXIT
       (SEQ (LETT |a1| (SPADCALL |k1| (QREFELT $ 59)) . #2=(|LF;eqint|))
            (LETT |a2| (SPADCALL |k2| (QREFELT $ 59)) . #2#)
            (LETT |res|
                  (SPADCALL (SPADCALL |k1| (QREFELT $ 60))
                            (SPADCALL |k2| (QREFELT $ 60)) (QREFELT $ 61))
                  . #2#)
            (COND ((NULL |res|) (PROGN (LETT #1# |res| . #2#) (GO #1#))))
            (LETT |res| (SPADCALL |a1| |a2| (QREFELT $ 62)) . #2#)
            (COND (|res| (PROGN (LETT #1# |res| . #2#) (GO #1#))))
            (EXIT
             (LETT |res|
                   (COND
                    ((SPADCALL (SPADCALL |a1| 3 (QREFELT $ 64))
                               (SPADCALL |a2| 3 (QREFELT $ 64)) (QREFELT $ 39))
                     (SPADCALL
                      (SPADCALL (SPADCALL |a1| 1 (QREFELT $ 64))
                                (LIST
                                 (SPADCALL (SPADCALL |a1| 2 (QREFELT $ 64))
                                           (QREFELT $ 43)))
                                (LIST (SPADCALL |a2| 2 (QREFELT $ 64)))
                                (QREFELT $ 66))
                      (SPADCALL |a2| 1 (QREFELT $ 64)) (QREFELT $ 39)))
                    ('T 'NIL))
                   . #2#))))
      #1# (EXIT #1#))))) 

(DEFUN |LF;dvint| (|l| |x| $)
  (PROG (|k|)
    (RETURN
     (SEQ
      (LETT |k| (SPADCALL (SPADCALL |l| (QREFELT $ 41)) (QREFELT $ 43))
            |LF;dvint|)
      (EXIT
       (SPADCALL
        (SPADCALL (SPADCALL (SPADCALL |l| (QREFELT $ 44)) |x| (QREFELT $ 67))
                  (|LF;integrand| |l| $) (QREFELT $ 68))
        (SPADCALL (QREFELT $ 16)
                  (LIST (SPADCALL (|SPADfirst| |l|) |x| (QREFELT $ 67))
                        (SPADCALL |l| (QREFELT $ 41))
                        (SPADCALL |l| (QREFELT $ 44)))
                  (QREFELT $ 50))
        (QREFELT $ 69))))))) 

(DEFUN |LF;dvdint| (|l| |x| $)
  (PROG (|g| |f| |h| |k| |d| |y|)
    (RETURN
     (SEQ
      (COND
       ((EQUAL |x|
               (SPADCALL
                (LETT |y| (SPADCALL |l| (QREFELT $ 44)) . #1=(|LF;dvdint|))
                (QREFELT $ 70)))
        (|spadConstant| $ 36))
       ('T
        (SEQ
         (LETT |k|
               (SPADCALL (LETT |d| (SPADCALL |l| (QREFELT $ 41)) . #1#)
                         (QREFELT $ 43))
               . #1#)
         (EXIT
          (SPADCALL
           (SPADCALL
            (SPADCALL
             (SPADCALL
              (LETT |h| (SPADCALL (CDR (CDR |l|)) (QREFELT $ 44)) . #1#) |x|
              (QREFELT $ 67))
             (SPADCALL (LETT |f| (|SPADfirst| |l|) . #1#) |k| |h|
                       (QREFELT $ 45))
             (QREFELT $ 68))
            (SPADCALL
             (SPADCALL (LETT |g| (SPADCALL (CDR |l|) (QREFELT $ 44)) . #1#) |x|
                       (QREFELT $ 67))
             (SPADCALL |f| |k| |g| (QREFELT $ 45)) (QREFELT $ 68))
            (QREFELT $ 71))
           (SPADCALL (QREFELT $ 17)
                     (LIST (SPADCALL |f| |x| (QREFELT $ 67)) |d| |y| |g| |h|)
                     (QREFELT $ 50))
           (QREFELT $ 69)))))))))) 

(DEFUN |LF;integral;FSbF;19| (|f| |s| $)
  (PROG (|x|)
    (RETURN
     (SEQ
      (LETT |x| (SPADCALL (SPADCALL |s| (QREFELT $ 73)) (QREFELT $ 47))
            |LF;integral;FSbF;19|)
      (EXIT
       (SPADCALL (QREFELT $ 17)
                 (LIST (SPADCALL |f| |x| (QREFELT $ 12) (QREFELT $ 45))
                       (QREFELT $ 12) (SPADCALL |x| (QREFELT $ 48))
                       (SPADCALL (SPADCALL |s| (QREFELT $ 75)) (QREFELT $ 76))
                       (SPADCALL (SPADCALL |s| (QREFELT $ 75)) (QREFELT $ 77)))
                 (QREFELT $ 50))))))) 

(DEFUN |LF;ili| (|x| $)
  (COND
   ((SPADCALL |x| (|spadConstant| $ 38) (QREFELT $ 39))
    (|error| "Invalid argument"))
   ((SPADCALL |x| '|exp| (QREFELT $ 79))
    (SPADCALL
     (|SPADfirst| (SPADCALL (SPADCALL |x| (QREFELT $ 43)) (QREFELT $ 59)))
     (QREFELT $ 27)))
   ('T (SPADCALL (QREFELT $ 19) |x| (QREFELT $ 34))))) 

(DEFUN |LF;iei| (|x| $)
  (COND
   ((SPADCALL |x| (|spadConstant| $ 36) (QREFELT $ 39))
    (|error| "Invalid argument"))
   ((SPADCALL |x| '|log| (QREFELT $ 79))
    (SPADCALL
     (|SPADfirst| (SPADCALL (SPADCALL |x| (QREFELT $ 43)) (QREFELT $ 59)))
     (QREFELT $ 29)))
   ('T (SPADCALL (QREFELT $ 18) |x| (QREFELT $ 34))))) 

(DEFUN |LF;operator;2Bo;22| (|op| $)
  (COND ((SPADCALL |op| '|integral| (QREFELT $ 81)) (QREFELT $ 16))
        ((SPADCALL |op| '|%defint| (QREFELT $ 81)) (QREFELT $ 17))
        ((SPADCALL |op| '|Ei| (QREFELT $ 81)) (QREFELT $ 18))
        ((SPADCALL |op| '|Si| (QREFELT $ 81)) (QREFELT $ 20))
        ((SPADCALL |op| '|Ci| (QREFELT $ 81)) (QREFELT $ 21))
        ((SPADCALL |op| '|li| (QREFELT $ 81)) (QREFELT $ 19))
        ((SPADCALL |op| '|erf| (QREFELT $ 81)) (QREFELT $ 23))
        ((SPADCALL |op| '|dilog| (QREFELT $ 81)) (QREFELT $ 22))
        ('T (|error| "Not a Liouvillian operator")))) 

(DEFUN |LF;pint| (|l| $)
  (SPADCALL (CONS (SPADCALL '|integral| (QREFELT $ 104)) |l|) (QREFELT $ 105))) 

(DEFUN |LF;inint| (|l| $)
  (PROG (|r2|)
    (RETURN
     (SEQ
      (LETT |r2|
            (SPADCALL
             (LIST (SPADCALL (SPADCALL "::" (QREFELT $ 107)) (QREFELT $ 104))
                   (SPADCALL (SPADCALL |l| (QREFELT $ 44)) (QREFELT $ 108))
                   (SPADCALL '|Symbol| (QREFELT $ 104)))
             (QREFELT $ 105))
            |LF;inint|)
      (EXIT
       (|LF;pint| (LIST (SPADCALL (|LF;integrand| |l| $) (QREFELT $ 108)) |r2|)
        $)))))) 

(DEFUN |LF;indint| (|l| $)
  (|LF;pint|
   (LIST (SPADCALL (|LF;integrand| |l| $) (QREFELT $ 108))
         (SPADCALL
          (CONS (SPADCALL (SPADCALL "=" (QREFELT $ 107)) (QREFELT $ 104))
                (LIST (SPADCALL (SPADCALL |l| (QREFELT $ 44)) (QREFELT $ 108))
                      (SPADCALL
                       (CONS (SPADCALL 'SEGMENT (QREFELT $ 104))
                             (LIST
                              (SPADCALL (SPADCALL (CDR |l|) (QREFELT $ 44))
                                        (QREFELT $ 108))
                              (SPADCALL
                               (SPADCALL (CDR (CDR |l|)) (QREFELT $ 44))
                               (QREFELT $ 108))))
                       (QREFELT $ 105))))
          (QREFELT $ 105)))
   $)) 

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

(DEFUN |LiouvillianFunction;| (|#1| |#2|)
  (PROG (|pv$| $ |dv$| DV$2 DV$1)
    (RETURN
     (PROGN
      (LETT DV$1 (|devaluate| |#1|) . #1=(|LiouvillianFunction|))
      (LETT DV$2 (|devaluate| |#2|) . #1#)
      (LETT |dv$| (LIST '|LiouvillianFunction| DV$1 DV$2) . #1#)
      (LETT $ (GETREFV 109) . #1#)
      (QSETREFV $ 0 |dv$|)
      (QSETREFV $ 3 (LETT |pv$| (|buildPredVector| 0 0 NIL) . #1#))
      (|haddProp| |$ConstructorCache| '|LiouvillianFunction| (LIST DV$1 DV$2)
                  (CONS 1 $))
      (|stuffDomainSlots| $)
      (QSETREFV $ 6 |#1|)
      (QSETREFV $ 7 |#2|)
      (QSETREFV $ 8 '|prim|)
      (QSETREFV $ 12 (SPADCALL (SPADCALL (QREFELT $ 10)) (QREFELT $ 11)))
      (QSETREFV $ 16 (SPADCALL '|integral| (QREFELT $ 15)))
      (QSETREFV $ 17 (SPADCALL '|%defint| (QREFELT $ 15)))
      (QSETREFV $ 18 (SPADCALL '|Ei| (QREFELT $ 15)))
      (QSETREFV $ 19 (SPADCALL '|li| (QREFELT $ 15)))
      (QSETREFV $ 20 (SPADCALL '|Si| (QREFELT $ 15)))
      (QSETREFV $ 21 (SPADCALL '|Ci| (QREFELT $ 15)))
      (QSETREFV $ 22 (SPADCALL '|dilog| (QREFELT $ 15)))
      (QSETREFV $ 23 (SPADCALL '|erf| (QREFELT $ 15)))
      (SPADCALL (QREFELT $ 18) (CONS (|function| |LF;iei|) $) (QREFELT $ 85))
      (SPADCALL (QREFELT $ 19) (CONS (|function| |LF;ili|) $) (QREFELT $ 85))
      (SPADCALL (QREFELT $ 20) (CONS (|function| |LF;isi|) $) (QREFELT $ 85))
      (SPADCALL (QREFELT $ 21) (CONS (|function| |LF;ici|) $) (QREFELT $ 85))
      (SPADCALL (QREFELT $ 23) (CONS (|function| |LF;ierf|) $) (QREFELT $ 85))
      (SPADCALL (QREFELT $ 22) (CONS (|function| |LF;ili2|) $) (QREFELT $ 85))
      (SPADCALL (QREFELT $ 16) (CONS (|function| |LF;iint|) $) (QREFELT $ 87))
      (SPADCALL (QREFELT $ 20) (CONS #'|LiouvillianFunction!0| $)
                (QREFELT $ 90))
      (SPADCALL (QREFELT $ 21) (CONS #'|LiouvillianFunction!1| $)
                (QREFELT $ 90))
      (SPADCALL (QREFELT $ 18) (CONS #'|LiouvillianFunction!2| $)
                (QREFELT $ 90))
      (SPADCALL (QREFELT $ 19) (CONS #'|LiouvillianFunction!3| $)
                (QREFELT $ 90))
      (SPADCALL (QREFELT $ 23) (CONS #'|LiouvillianFunction!4| $)
                (QREFELT $ 90))
      (SPADCALL (QREFELT $ 22) (CONS #'|LiouvillianFunction!5| $)
                (QREFELT $ 90))
      (SPADCALL (QREFELT $ 16) '|%specialEqual|
                (CONS (|function| |LF;eqint|) $) (QREFELT $ 102))
      (SPADCALL (QREFELT $ 16) '|%specialDiff| (CONS (|function| |LF;dvint|) $)
                (QREFELT $ 102))
      (SPADCALL (QREFELT $ 17) '|%specialDiff|
                (CONS (|function| |LF;dvdint|) $) (QREFELT $ 102))
      (SPADCALL (QREFELT $ 17) '|%specialDisp| (CONS (|function| |LF;ddint|) $)
                (QREFELT $ 102))
      (COND
       ((|HasCategory| |#1| '(|ConvertibleTo| (|InputForm|)))
        (PROGN
         (SPADCALL (QREFELT $ 16) '|%specialInput|
                   (CONS (|function| |LF;inint|) $) (QREFELT $ 102))
         (SPADCALL (QREFELT $ 17) '|%specialInput|
                   (CONS (|function| |LF;indint|) $) (QREFELT $ 102)))))
      $)))) 

(DEFUN |LiouvillianFunction!5| (|z1| $)
  (SPADCALL (SPADCALL |z1| (QREFELT $ 93))
            (SPADCALL (|spadConstant| $ 38) |z1| (QREFELT $ 71))
            (QREFELT $ 89))) 

(DEFUN |LiouvillianFunction!4| (|z1| $)
  (SPADCALL
   (SPADCALL 2
             (SPADCALL
              (SPADCALL (SPADCALL |z1| 2 (QREFELT $ 96)) (QREFELT $ 97))
              (QREFELT $ 92))
             (QREFELT $ 98))
   (SPADCALL (SPADCALL (QREFELT $ 99)) (QREFELT $ 100)) (QREFELT $ 89))) 

(DEFUN |LiouvillianFunction!3| (|z1| $)
  (SPADCALL (SPADCALL |z1| (QREFELT $ 93)) (QREFELT $ 94))) 

(DEFUN |LiouvillianFunction!2| (|z1| $)
  (SPADCALL (SPADCALL |z1| (QREFELT $ 92)) |z1| (QREFELT $ 89))) 

(DEFUN |LiouvillianFunction!1| (|z1| $)
  (SPADCALL (SPADCALL |z1| (QREFELT $ 91)) |z1| (QREFELT $ 89))) 

(DEFUN |LiouvillianFunction!0| (|z1| $)
  (SPADCALL (SPADCALL |z1| (QREFELT $ 88)) |z1| (QREFELT $ 89))) 

(MAKEPROP '|LiouvillianFunction| '|infovec|
          (LIST
           '#(NIL NIL NIL NIL NIL NIL (|local| |#1|) (|local| |#2|) 'PRIM
              (|Symbol|) (0 . |new|) (4 . |coerce|) '|dummy| (|BasicOperator|)
              (|CommonOperators|) (9 . |operator|) '|opint| '|opdint| '|opei|
              '|opli| '|opsi| '|opci| '|opli2| '|operf| (14 . |elt|)
              |LF;Si;2F;1| |LF;Ci;2F;2| |LF;Ei;2F;3| |LF;erf;2F;4| |LF;li;2F;5|
              |LF;dilog;2F;6| (|Boolean|) (20 . |has?|) |LF;belong?;BoB;7|
              (26 . |kernel|) (32 . |zero?|) (37 . |Zero|) (41 . |One|)
              (45 . |One|) (49 . =) (|List| 7) (55 . |second|) (|Kernel| $)
              (60 . |retract|) (65 . |third|) (70 . |eval|) (|Kernel| 7)
              (77 . |kernel|) (82 . |coerce|) (|List| $) (87 . |elt|)
              |LF;integral;FSF;13| (93 . |kernel|) (|OutputForm|)
              (99 . |coerce|) (104 . |coerce|) (109 . |hconcat|) (115 . *)
              (121 . |int|) (128 . |argument|) (133 . |operator|) (138 . =)
              (144 . =) (|Integer|) (150 . |elt|) (|List| 42) (156 . |subst|)
              (163 . |differentiate|) (169 . *) (175 . +) (181 . |retract|)
              (186 . -) (|SegmentBinding| 7) (192 . |variable|) (|Segment| 7)
              (197 . |segment|) (202 . |lo|) (207 . |hi|) |LF;integral;FSbF;19|
              (212 . |is?|) (218 . |Zero|) (222 . |is?|) |LF;operator;2Bo;22|
              (|Mapping| 7 7) (|BasicOperatorFunctions1| 7) (228 . |evaluate|)
              (|Mapping| 7 40) (234 . |evaluate|) (240 . |sin|) (245 . /)
              (251 . |derivative|) (257 . |cos|) (262 . |exp|) (267 . |log|)
              (272 . |inv|) (|PositiveInteger|) (277 . ^) (283 . -) (288 . *)
              (294 . |pi|) (298 . |sqrt|) (|None|) (303 . |setProperty|)
              (|InputForm|) (310 . |convert|) (315 . |convert|) (|String|)
              (320 . |coerce|) (325 . |convert|))
           '#(|operator| 330 |li| 335 |integral| 340 |erf| 352 |dilog| 357
              |belong?| 362 |Si| 367 |Ei| 372 |Ci| 377)
           'NIL
           (CONS (|makeByteWordVec2| 1 'NIL)
                 (CONS '#()
                       (CONS '#()
                             (|makeByteWordVec2| 108
                                                 '(0 9 0 10 1 7 0 9 11 1 14 13
                                                   9 15 2 7 0 13 0 24 2 13 31 0
                                                   9 32 2 7 0 13 0 34 1 7 31 0
                                                   35 0 7 0 36 0 6 0 37 0 7 0
                                                   38 2 7 31 0 0 39 1 40 7 0 41
                                                   1 7 42 0 43 1 40 7 0 44 3 7
                                                   0 0 42 0 45 1 46 0 9 47 1 7
                                                   0 42 48 2 7 0 13 49 50 2 7 0
                                                   13 49 52 1 7 53 0 54 1 9 53
                                                   0 55 2 53 0 0 0 56 2 53 0 0
                                                   0 57 3 53 0 0 0 0 58 1 46 40
                                                   0 59 1 46 13 0 60 2 13 31 0
                                                   0 61 2 40 31 0 0 62 2 40 7 0
                                                   63 64 3 7 0 0 65 49 66 2 7 0
                                                   0 9 67 2 7 0 0 0 68 2 7 0 0
                                                   0 69 1 7 9 0 70 2 7 0 0 0 71
                                                   1 72 9 0 73 1 72 74 0 75 1
                                                   74 7 0 76 1 74 7 0 77 2 7 31
                                                   0 9 79 0 6 0 80 2 13 31 0 9
                                                   81 2 84 13 13 83 85 2 84 13
                                                   13 86 87 1 7 0 0 88 2 7 0 0
                                                   0 89 2 84 13 13 83 90 1 7 0
                                                   0 91 1 7 0 0 92 1 7 0 0 93 1
                                                   7 0 0 94 2 7 0 0 95 96 1 7 0
                                                   0 97 2 7 0 95 0 98 0 7 0 99
                                                   1 7 0 0 100 3 13 0 0 9 101
                                                   102 1 9 103 0 104 1 103 0 49
                                                   105 1 9 0 106 107 1 7 103 0
                                                   108 1 0 13 13 82 1 0 7 7 29
                                                   2 0 7 7 72 78 2 0 7 7 9 51 1
                                                   0 7 7 28 1 0 7 7 30 1 0 31
                                                   13 33 1 0 7 7 25 1 0 7 7 27
                                                   1 0 7 7 26)))))
           '|lookupComplete|)) 
