
(/VERSIONCHECK 2) 

(PUT '|DFSFUN;Gamma;2C;1| '|SPADreplace| 'CGAMMA) 

(DEFUN |DFSFUN;Gamma;2C;1| (|z| $) (CGAMMA |z|)) 

(PUT '|DFSFUN;Gamma;2Df;2| '|SPADreplace| 'RGAMMA) 

(DEFUN |DFSFUN;Gamma;2Df;2| (|x| $) (RGAMMA |x|)) 

(PUT '|DFSFUN;polygamma;Nni2C;3| '|SPADreplace| 'CPSI) 

(DEFUN |DFSFUN;polygamma;Nni2C;3| (|k| |z| $) (CPSI |k| |z|)) 

(PUT '|DFSFUN;polygamma;Nni2Df;4| '|SPADreplace| 'RPSI) 

(DEFUN |DFSFUN;polygamma;Nni2Df;4| (|k| |x| $) (RPSI |k| |x|)) 

(PUT '|DFSFUN;logGamma;2C;5| '|SPADreplace| 'CLNGAMMA) 

(DEFUN |DFSFUN;logGamma;2C;5| (|z| $) (CLNGAMMA |z|)) 

(PUT '|DFSFUN;logGamma;2Df;6| '|SPADreplace| 'RLNGAMMA) 

(DEFUN |DFSFUN;logGamma;2Df;6| (|x| $) (RLNGAMMA |x|)) 

(PUT '|DFSFUN;besselJ;3C;7| '|SPADreplace| 'CBESSELJ) 

(DEFUN |DFSFUN;besselJ;3C;7| (|v| |z| $) (CBESSELJ |v| |z|)) 

(PUT '|DFSFUN;besselJ;3Df;8| '|SPADreplace| 'RBESSELJ) 

(DEFUN |DFSFUN;besselJ;3Df;8| (|n| |x| $) (RBESSELJ |n| |x|)) 

(PUT '|DFSFUN;besselI;3C;9| '|SPADreplace| 'CBESSELI) 

(DEFUN |DFSFUN;besselI;3C;9| (|v| |z| $) (CBESSELI |v| |z|)) 

(PUT '|DFSFUN;besselI;3Df;10| '|SPADreplace| 'RBESSELI) 

(DEFUN |DFSFUN;besselI;3Df;10| (|n| |x| $) (RBESSELI |n| |x|)) 

(PUT '|DFSFUN;hypergeometric0F1;3C;11| '|SPADreplace| 'CHYPER0F1) 

(DEFUN |DFSFUN;hypergeometric0F1;3C;11| (|a| |z| $)
  (CHYPER0F1 |a| |z|)) 

(DEFUN |DFSFUN;hypergeometric0F1;3Df;12| (|n| |x| $)
  (SPADCALL
      (SPADCALL (SPADCALL |n| (QREFELT $ 20))
          (SPADCALL |x| (QREFELT $ 20)) (QREFELT $ 19))
      (QREFELT $ 21))) 

(DEFUN |DFSFUN;digamma;2Df;13| (|x| $)
  (SPADCALL 0 |x| (QREFELT $ 12))) 

(DEFUN |DFSFUN;digamma;2C;14| (|z| $) (SPADCALL 0 |z| (QREFELT $ 11))) 

(DEFUN |DFSFUN;Beta;3Df;15| (|x| |y| $)
  (/ (* (SPADCALL |x| (QREFELT $ 9)) (SPADCALL |y| (QREFELT $ 9)))
     (SPADCALL (+ |x| |y|) (QREFELT $ 9)))) 

(DEFUN |DFSFUN;Beta;3C;16| (|w| |z| $)
  (SPADCALL (SPADCALL (SPADCALL |w| (QREFELT $ 7))
                (SPADCALL |z| (QREFELT $ 7)) (QREFELT $ 27))
            (SPADCALL (SPADCALL |w| |z| (QREFELT $ 28)) (QREFELT $ 7))
            (QREFELT $ 29))) 

(DEFUN |DFSFUN;besselY;3Df;17| (|n| |x| $)
  (PROG (|vp|)
    (RETURN
      (SEQ (COND
             ((SPADCALL |n| (QREFELT $ 34))
              (LETT |n| (+ |n| (QREFELT $ 31))
                    . #0=(|DFSFUN;besselY;3Df;17|))))
           (LETT |vp|
                 (* |n| (FLOAT PI MOST-POSITIVE-DOUBLE-FLOAT)) . #0#)
           (EXIT (/ (- (* (COS |vp|) (SPADCALL |n| |x| (QREFELT $ 16)))
                       (SPADCALL (- |n|) |x| (QREFELT $ 16)))
                    (SIN |vp|))))))) 

(DEFUN |DFSFUN;besselY;3C;18| (|v| |z| $)
  (PROG (|vp|)
    (RETURN
      (SEQ (COND
             ((SPADCALL |v| (QREFELT $ 37))
              (LETT |v|
                    (SPADCALL |v|
                        (SPADCALL (QREFELT $ 31) (QREFELT $ 20))
                        (QREFELT $ 28))
                    . #0=(|DFSFUN;besselY;3C;18|))))
           (LETT |vp|
                 (SPADCALL |v| (SPADCALL (QREFELT $ 38))
                     (QREFELT $ 27)) . #0#)
           (EXIT (SPADCALL
                     (SPADCALL
                         (SPADCALL (SPADCALL |vp| (QREFELT $ 39))
                             (SPADCALL |v| |z| (QREFELT $ 15))
                             (QREFELT $ 27))
                         (SPADCALL (SPADCALL |v| (QREFELT $ 40)) |z|
                             (QREFELT $ 15))
                         (QREFELT $ 41))
                     (SPADCALL |vp| (QREFELT $ 42)) (QREFELT $ 29))))))) 

(DEFUN |DFSFUN;besselK;3Df;19| (|n| |x| $)
  (PROG (|p| |vp| |ahalf|)
    (RETURN
      (SEQ (COND
             ((SPADCALL |n| (QREFELT $ 34))
              (LETT |n| (+ |n| (QREFELT $ 31))
                    . #0=(|DFSFUN;besselK;3Df;19|))))
           (LETT |p| (FLOAT PI MOST-POSITIVE-DOUBLE-FLOAT) . #0#)
           (LETT |vp| (* |n| |p|) . #0#)
           (LETT |ahalf|
                 (/ 1.0 (FLOAT 2 MOST-POSITIVE-DOUBLE-FLOAT)) . #0#)
           (EXIT (/ (* (* |p| |ahalf|)
                       (- (SPADCALL (- |n|) |x| (QREFELT $ 18))
                          (SPADCALL |n| |x| (QREFELT $ 18))))
                    (SIN |vp|))))))) 

(DEFUN |DFSFUN;besselK;3C;20| (|v| |z| $)
  (PROG (|p| |vp| |ahalf|)
    (RETURN
      (SEQ (COND
             ((SPADCALL |v| (QREFELT $ 37))
              (LETT |v|
                    (SPADCALL |v|
                        (SPADCALL (QREFELT $ 31) (QREFELT $ 20))
                        (QREFELT $ 28))
                    . #0=(|DFSFUN;besselK;3C;20|))))
           (LETT |p| (SPADCALL (QREFELT $ 38)) . #0#)
           (LETT |vp| (SPADCALL |v| |p| (QREFELT $ 27)) . #0#)
           (LETT |ahalf|
                 (SPADCALL (|spadConstant| $ 44)
                     (SPADCALL 2 (QREFELT $ 47)) (QREFELT $ 29)) . #0#)
           (EXIT (SPADCALL
                     (SPADCALL (SPADCALL |p| |ahalf| (QREFELT $ 27))
                         (SPADCALL
                             (SPADCALL (SPADCALL |v| (QREFELT $ 40))
                                 |z| (QREFELT $ 17))
                             (SPADCALL |v| |z| (QREFELT $ 17))
                             (QREFELT $ 41))
                         (QREFELT $ 27))
                     (SPADCALL |vp| (QREFELT $ 42)) (QREFELT $ 29))))))) 

(DEFUN |DFSFUN;airyAi;2Df;21| (|x| $)
  (PROG (|ahalf| #0=#:G1852 |athird| |eta|)
    (RETURN
      (SEQ (LETT |ahalf|
                 (PROG2 (LETT #0#
                              (SPADCALL
                                  (FLOAT 2 MOST-POSITIVE-DOUBLE-FLOAT)
                                  (QREFELT $ 50))
                              . #1=(|DFSFUN;airyAi;2Df;21|))
                        (QCDR #0#)
                   (|check-union| (QEQCAR #0# 0) (|DoubleFloat|) #0#)) . #1#)
           (LETT |athird|
                 (PROG2 (LETT #0#
                              (SPADCALL
                                  (FLOAT 3 MOST-POSITIVE-DOUBLE-FLOAT)
                                  (QREFELT $ 50)) . #1#)
                        (QCDR #0#)
                   (|check-union| (QEQCAR #0# 0) (|DoubleFloat|) #0#)) . #1#)
           (LETT |eta|
                 (* (SPADCALL 2 |athird| (QREFELT $ 52))
                    (SPADCALL (- |x|)
                        (SPADCALL 3 |ahalf| (QREFELT $ 52))
                        (QREFELT $ 53))) . #1#)
           (EXIT (* (* (SPADCALL (- |x|) |ahalf| (QREFELT $ 53))
                       |athird|)
                    (+ (SPADCALL (- |athird|) |eta| (QREFELT $ 16))
                       (SPADCALL |athird| |eta| (QREFELT $ 16))))))))) 

(DEFUN |DFSFUN;airyAi;2C;22| (|z| $)
  (PROG (|ahalf| #0=#:G1857 |athird| |eta|)
    (RETURN
      (SEQ (LETT |ahalf|
                 (PROG2 (LETT #0#
                              (SPADCALL (SPADCALL 2 (QREFELT $ 47))
                                  (QREFELT $ 55))
                              . #1=(|DFSFUN;airyAi;2C;22|))
                        (QCDR #0#)
                   (|check-union| (QEQCAR #0# 0)
                       (|Complex| (|DoubleFloat|)) #0#)) . #1#)
           (LETT |athird|
                 (PROG2 (LETT #0#
                              (SPADCALL (SPADCALL 3 (QREFELT $ 47))
                                  (QREFELT $ 55)) . #1#)
                        (QCDR #0#)
                   (|check-union| (QEQCAR #0# 0)
                       (|Complex| (|DoubleFloat|)) #0#)) . #1#)
           (LETT |eta|
                 (SPADCALL (SPADCALL 2 |athird| (QREFELT $ 56))
                     (SPADCALL (SPADCALL |z| (QREFELT $ 40))
                         (SPADCALL 3 |ahalf| (QREFELT $ 56))
                         (QREFELT $ 57))
                     (QREFELT $ 27)) . #1#)
           (EXIT (SPADCALL
                     (SPADCALL
                         (SPADCALL (SPADCALL |z| (QREFELT $ 40))
                             |ahalf| (QREFELT $ 57))
                         |athird| (QREFELT $ 27))
                     (SPADCALL
                         (SPADCALL (SPADCALL |athird| (QREFELT $ 40))
                             |eta| (QREFELT $ 15))
                         (SPADCALL |athird| |eta| (QREFELT $ 15))
                         (QREFELT $ 28))
                     (QREFELT $ 27))))))) 

(DEFUN |DFSFUN;airyBi;2Df;23| (|x| $)
  (PROG (|ahalf| #0=#:G1862 |athird| |eta|)
    (RETURN
      (SEQ (LETT |ahalf|
                 (PROG2 (LETT #0#
                              (SPADCALL
                                  (FLOAT 2 MOST-POSITIVE-DOUBLE-FLOAT)
                                  (QREFELT $ 50))
                              . #1=(|DFSFUN;airyBi;2Df;23|))
                        (QCDR #0#)
                   (|check-union| (QEQCAR #0# 0) (|DoubleFloat|) #0#)) . #1#)
           (LETT |athird|
                 (PROG2 (LETT #0#
                              (SPADCALL
                                  (FLOAT 3 MOST-POSITIVE-DOUBLE-FLOAT)
                                  (QREFELT $ 50)) . #1#)
                        (QCDR #0#)
                   (|check-union| (QEQCAR #0# 0) (|DoubleFloat|) #0#)) . #1#)
           (LETT |eta|
                 (* (SPADCALL 2 |athird| (QREFELT $ 52))
                    (SPADCALL (- |x|)
                        (SPADCALL 3 |ahalf| (QREFELT $ 52))
                        (QREFELT $ 53))) . #1#)
           (EXIT (* (SPADCALL (- (* |x| |athird|)) |ahalf|
                        (QREFELT $ 53))
                    (- (SPADCALL (- |athird|) |eta| (QREFELT $ 16))
                       (SPADCALL |athird| |eta| (QREFELT $ 16))))))))) 

(DEFUN |DFSFUN;airyBi;2C;24| (|z| $)
  (PROG (|ahalf| #0=#:G1867 |athird| |eta|)
    (RETURN
      (SEQ (LETT |ahalf|
                 (PROG2 (LETT #0#
                              (SPADCALL (SPADCALL 2 (QREFELT $ 47))
                                  (QREFELT $ 55))
                              . #1=(|DFSFUN;airyBi;2C;24|))
                        (QCDR #0#)
                   (|check-union| (QEQCAR #0# 0)
                       (|Complex| (|DoubleFloat|)) #0#)) . #1#)
           (LETT |athird|
                 (PROG2 (LETT #0#
                              (SPADCALL (SPADCALL 3 (QREFELT $ 47))
                                  (QREFELT $ 55)) . #1#)
                        (QCDR #0#)
                   (|check-union| (QEQCAR #0# 0)
                       (|Complex| (|DoubleFloat|)) #0#)) . #1#)
           (LETT |eta|
                 (SPADCALL (SPADCALL 2 |athird| (QREFELT $ 56))
                     (SPADCALL (SPADCALL |z| (QREFELT $ 40))
                         (SPADCALL 3 |ahalf| (QREFELT $ 56))
                         (QREFELT $ 57))
                     (QREFELT $ 27)) . #1#)
           (EXIT (SPADCALL
                     (SPADCALL
                         (SPADCALL
                             (SPADCALL |z| |athird| (QREFELT $ 27))
                             (QREFELT $ 40))
                         |ahalf| (QREFELT $ 57))
                     (SPADCALL
                         (SPADCALL (SPADCALL |athird| (QREFELT $ 40))
                             |eta| (QREFELT $ 15))
                         (SPADCALL |athird| |eta| (QREFELT $ 15))
                         (QREFELT $ 41))
                     (QREFELT $ 27))))))) 

(DEFUN |DoubleFloatSpecialFunctions| ()
  (PROG ()
    (RETURN
      (PROG (#0=#:G1872)
        (RETURN
          (COND
            ((LETT #0#
                   (HGET |$ConstructorCache|
                         '|DoubleFloatSpecialFunctions|)
                   . #1=(|DoubleFloatSpecialFunctions|))
             (|CDRwithIncrement| (CDAR #0#)))
            ('T
             (UNWIND-PROTECT
               (PROG1 (CDDAR (HPUT |$ConstructorCache|
                                   '|DoubleFloatSpecialFunctions|
                                   (LIST
                                    (CONS NIL
                                     (CONS 1
                                      (|DoubleFloatSpecialFunctions;|))))))
                 (LETT #0# T . #1#))
               (COND
                 ((NOT #0#)
                  (HREM |$ConstructorCache|
                        '|DoubleFloatSpecialFunctions|))))))))))) 

(DEFUN |DoubleFloatSpecialFunctions;| ()
  (PROG (|dv$| $ |pv$|)
    (RETURN
      (PROGN
        (LETT |dv$| '(|DoubleFloatSpecialFunctions|)
              . #0=(|DoubleFloatSpecialFunctions|))
        (LETT $ (GETREFV 61) . #0#)
        (QSETREFV $ 0 |dv$|)
        (QSETREFV $ 3 (LETT |pv$| (|buildPredVector| 0 0 NIL) . #0#))
        (|haddProp| |$ConstructorCache| '|DoubleFloatSpecialFunctions|
            NIL (CONS 1 $))
        (|stuffDomainSlots| $)
        (QSETREFV $ 31 (EXPT (FLOAT 10 MOST-POSITIVE-DOUBLE-FLOAT) -7))
        $)))) 

(MAKEPROP '|DoubleFloatSpecialFunctions| '|infovec|
    (LIST '#(NIL NIL NIL NIL NIL NIL (|Complex| 8) |DFSFUN;Gamma;2C;1|
             (|DoubleFloat|) |DFSFUN;Gamma;2Df;2|
             (|NonNegativeInteger|) |DFSFUN;polygamma;Nni2C;3|
             |DFSFUN;polygamma;Nni2Df;4| |DFSFUN;logGamma;2C;5|
             |DFSFUN;logGamma;2Df;6| |DFSFUN;besselJ;3C;7|
             |DFSFUN;besselJ;3Df;8| |DFSFUN;besselI;3C;9|
             |DFSFUN;besselI;3Df;10| |DFSFUN;hypergeometric0F1;3C;11|
             (0 . |coerce|) (5 . |retract|)
             |DFSFUN;hypergeometric0F1;3Df;12| (10 . |Zero|)
             |DFSFUN;digamma;2Df;13| |DFSFUN;digamma;2C;14|
             |DFSFUN;Beta;3Df;15| (14 . *) (20 . +) (26 . /)
             |DFSFUN;Beta;3C;16| '|fuzz| (|Boolean|)
             (|IntegerRetractions| 8) (32 . |integer?|)
             |DFSFUN;besselY;3Df;17| (|IntegerRetractions| 6)
             (37 . |integer?|) (42 . |pi|) (46 . |cos|) (51 . -)
             (56 . -) (62 . |sin|) |DFSFUN;besselY;3C;18| (67 . |One|)
             |DFSFUN;besselK;3Df;19| (|Integer|) (71 . |coerce|)
             |DFSFUN;besselK;3C;20| (|Union| $ '"failed")
             (76 . |recip|) (|PositiveInteger|) (81 . *) (87 . **)
             |DFSFUN;airyAi;2Df;21| (93 . |recip|) (98 . *) (104 . **)
             |DFSFUN;airyAi;2C;22| |DFSFUN;airyBi;2Df;23|
             |DFSFUN;airyBi;2C;24|)
          '#(|polygamma| 110 |logGamma| 122 |hypergeometric0F1| 132
             |digamma| 144 |besselY| 154 |besselK| 166 |besselJ| 178
             |besselI| 190 |airyBi| 202 |airyAi| 212 |Gamma| 222 |Beta|
             232)
          'NIL
          (CONS (|makeByteWordVec2| 1 'NIL)
                (CONS '#()
                      (CONS '#()
                            (|makeByteWordVec2| 60
                                '(1 6 0 8 20 1 6 8 0 21 0 6 0 23 2 6 0
                                  0 0 27 2 6 0 0 0 28 2 6 0 0 0 29 1 33
                                  32 8 34 1 36 32 6 37 0 6 0 38 1 6 0 0
                                  39 1 6 0 0 40 2 6 0 0 0 41 1 6 0 0 42
                                  0 6 0 44 1 6 0 46 47 1 8 49 0 50 2 8
                                  0 51 0 52 2 8 0 0 0 53 1 6 49 0 55 2
                                  6 0 51 0 56 2 6 0 0 0 57 2 0 8 10 8
                                  12 2 0 6 10 6 11 1 0 6 6 13 1 0 8 8
                                  14 2 0 6 6 6 19 2 0 8 8 8 22 1 0 8 8
                                  24 1 0 6 6 25 2 0 8 8 8 35 2 0 6 6 6
                                  43 2 0 6 6 6 48 2 0 8 8 8 45 2 0 6 6
                                  6 15 2 0 8 8 8 16 2 0 8 8 8 18 2 0 6
                                  6 6 17 1 0 8 8 59 1 0 6 6 60 1 0 6 6
                                  58 1 0 8 8 54 1 0 8 8 9 1 0 6 6 7 2 0
                                  8 8 8 26 2 0 6 6 6 30)))))
          '|lookupComplete|)) 

(MAKEPROP '|DoubleFloatSpecialFunctions| 'NILADIC T) 
