
(/VERSIONCHECK 2) 

(DEFUN |XEXPPKG;log;XPOLYNniXPOLY;1| (|p| |n| $)
  (PROG (|p1| |i| |k1| |k2| |s| |k|)
    (RETURN
      (SEQ (LETT |p1|
                 (SPADCALL |p| (|spadConstant| $ 10) (QREFELT $ 11))
                 . #0=(|XEXPPKG;log;XPOLYNniXPOLY;1|))
           (COND
             ((NULL (SPADCALL |p1| (QREFELT $ 13)))
              (EXIT (|error| "constant term <> 1, impossible log"))))
           (LETT |s| (|spadConstant| $ 14) . #0#) (LETT |k| |n| . #0#)
           (SEQ (LETT |i| 1 . #0#) G190
                (COND ((QSGREATERP |i| |n|) (GO G191)))
                (SEQ (LETT |k1| (SPADCALL 1 |k| (QREFELT $ 17)) . #0#)
                     (LETT |k2|
                           (SPADCALL |k1| (|spadConstant| $ 9)
                               (QREFELT $ 18)) . #0#)
                     (LETT |s|
                           (SPADCALL
                               (SPADCALL
                                   (SPADCALL |p1| |i| (QREFELT $ 20))
                                   (SPADCALL
                                    (SPADCALL |k2| (QREFELT $ 21)) |s|
                                    (QREFELT $ 11))
                                   (QREFELT $ 22))
                               |i| (QREFELT $ 20)) . #0#)
                     (EXIT (LETT |k| (- |k| 1) . #0#)))
                (LETT |i| (QSADD1 |i|) . #0#) (GO G190) G191
                (EXIT NIL))
           (EXIT |s|))))) 

(DEFUN |XEXPPKG;exp;XPOLYNniXPOLY;2| (|p| |n| $)
  (PROG (|i| |k1| |k2| |s| |k|)
    (RETURN
      (SEQ (COND
             ((NULL (SPADCALL |p| (QREFELT $ 13)))
              (|error| "constant term <> 0, exp impossible"))
             ('T
              (COND
                ((SPADCALL |p| (|spadConstant| $ 14) (QREFELT $ 25))
                 (|spadConstant| $ 10))
                ('T
                 (SEQ (LETT |s| (|spadConstant| $ 10)
                            . #0=(|XEXPPKG;exp;XPOLYNniXPOLY;2|))
                      (LETT |k| |n| . #0#)
                      (SEQ (LETT |i| 1 . #0#) G190
                           (COND ((QSGREATERP |i| |n|) (GO G191)))
                           (SEQ (LETT |k1|
                                      (SPADCALL 1 |k| (QREFELT $ 17)) . #0#)
                                (LETT |k2|
                                      (SPADCALL |k1|
                                       (|spadConstant| $ 9)
                                       (QREFELT $ 18)) . #0#)
                                (LETT |s|
                                      (SPADCALL
                                       (SPADCALL (|spadConstant| $ 10)
                                        (SPADCALL
                                         (SPADCALL |k2|
                                          (SPADCALL |p| |i|
                                           (QREFELT $ 20))
                                          (QREFELT $ 26))
                                         |s| (QREFELT $ 22))
                                        (QREFELT $ 27))
                                       |i| (QREFELT $ 20)) . #0#)
                                (EXIT (LETT |k| (- |k| 1) . #0#)))
                           (LETT |i| (QSADD1 |i|) . #0#) (GO G190) G191
                           (EXIT NIL))
                      (EXIT |s|)))))))))) 

(DEFUN |XEXPPKG;Hausdorff;2XPOLYNniXPOLY;3| (|p| |q| |n| $)
  (PROG (|p1| |q1|)
    (RETURN
      (SEQ (LETT |p1| (SPADCALL |p| |n| (QREFELT $ 28))
                 . #0=(|XEXPPKG;Hausdorff;2XPOLYNniXPOLY;3|))
           (LETT |q1| (SPADCALL |q| |n| (QREFELT $ 28)) . #0#)
           (EXIT (SPADCALL (SPADCALL |p1| |q1| (QREFELT $ 22)) |n|
                     (QREFELT $ 23))))))) 

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

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

(MAKEPROP '|XExponentialPackage| '|infovec|
    (LIST '#(NIL NIL NIL NIL NIL NIL (|local| |#1|) (|local| |#2|)
             (|local| |#3|) (0 . |One|) (4 . |One|) (8 . -) (|Boolean|)
             (14 . |quasiRegular?|) (19 . |Zero|) (|Integer|)
             (|Fraction| 15) (23 . /) (29 . *) (|NonNegativeInteger|)
             (35 . |trunc|) (41 . |coerce|) (46 . *)
             |XEXPPKG;log;XPOLYNniXPOLY;1| (52 . |Zero|) (56 . =)
             (62 . *) (68 . +) |XEXPPKG;exp;XPOLYNniXPOLY;2|
             |XEXPPKG;Hausdorff;2XPOLYNniXPOLY;3|)
          '#(|log| 74 |exp| 80 |Hausdorff| 86) 'NIL
          (CONS (|makeByteWordVec2| 1 'NIL)
                (CONS '#()
                      (CONS '#()
                            (|makeByteWordVec2| 29
                                '(0 6 0 9 0 8 0 10 2 8 0 0 0 11 1 8 12
                                  0 13 0 8 0 14 2 16 0 15 15 17 2 6 0
                                  16 0 18 2 8 0 0 19 20 1 8 0 6 21 2 8
                                  0 0 0 22 0 6 0 24 2 8 12 0 0 25 2 8 0
                                  6 0 26 2 8 0 0 0 27 2 0 8 8 19 23 2 0
                                  8 8 19 28 3 0 8 8 8 19 29)))))
          '|lookupComplete|)) 
