
(/VERSIONCHECK 2) 

(DEFUN |INTRF;infieldIntegrate;FSU;1| (|f| |x| $)
  (SPADCALL (CONS #'|INTRF;infieldIntegrate;FSU;1!0| (VECTOR $ |x|))
      (SPADCALL (SPADCALL |f| |x| (QREFELT $ 12)) (QREFELT $ 15))
      (QREFELT $ 19))) 

(DEFUN |INTRF;infieldIntegrate;FSU;1!0| (|#1| $$)
  (SPADCALL |#1| (QREFELT $$ 1) (QREFELT (QREFELT $$ 0) 11))) 

(DEFUN |INTRF;internalIntegrate;FSIr;2| (|f| |x| $)
  (SPADCALL (CONS #'|INTRF;internalIntegrate;FSIr;2!0| (VECTOR $ |x|))
      (SPADCALL (SPADCALL |f| |x| (QREFELT $ 12)) (QREFELT $ 22))
      (QREFELT $ 24))) 

(DEFUN |INTRF;internalIntegrate;FSIr;2!0| (|#1| $$)
  (SPADCALL |#1| (QREFELT $$ 1) (QREFELT (QREFELT $$ 0) 11))) 

(DEFUN |INTRF;extendedIntegrate;FSFU;3| (|f| |x| |g| $)
  (SPADCALL (CONS #'|INTRF;extendedIntegrate;FSFU;3!0| (VECTOR $ |x|))
      (SPADCALL (SPADCALL |f| |x| (QREFELT $ 12))
          (SPADCALL |g| |x| (QREFELT $ 12)) (QREFELT $ 28))
      (QREFELT $ 31))) 

(DEFUN |INTRF;extendedIntegrate;FSFU;3!0| (|#1| $$)
  (SPADCALL |#1| (QREFELT $$ 1) (QREFELT (QREFELT $$ 0) 11))) 

(DEFUN |INTRF;limitedIntegrate;FSLU;4| (|f| |x| |lu| $)
  (PROG (#0=#:G1868 |u| #1=#:G1869)
    (RETURN
      (SEQ (SPADCALL
               (CONS #'|INTRF;limitedIntegrate;FSLU;4!0|
                     (VECTOR $ |x|))
               (SPADCALL (SPADCALL |f| |x| (QREFELT $ 12))
                   (PROGN
                     (LETT #0# NIL
                           . #2=(|INTRF;limitedIntegrate;FSLU;4|))
                     (SEQ (LETT |u| NIL . #2#) (LETT #1# |lu| . #2#)
                          G190
                          (COND
                            ((OR (ATOM #1#)
                                 (PROGN
                                   (LETT |u| (CAR #1#) . #2#)
                                   NIL))
                             (GO G191)))
                          (SEQ (EXIT (LETT #0#
                                      (CONS
                                       (SPADCALL |u| |x|
                                        (QREFELT $ 12))
                                       #0#) . #2#)))
                          (LETT #1# (CDR #1#) . #2#) (GO G190) G191
                          (EXIT (NREVERSE0 #0#))))
                   (QREFELT $ 37))
               (QREFELT $ 41)))))) 

(DEFUN |INTRF;limitedIntegrate;FSLU;4!0| (|#1| $$)
  (SPADCALL |#1| (QREFELT $$ 1) (QREFELT (QREFELT $$ 0) 11))) 

(DEFUN |RationalFunctionIntegration| (#0=#:G1870)
  (PROG ()
    (RETURN
      (PROG (#1=#:G1871)
        (RETURN
          (COND
            ((LETT #1#
                   (|lassocShiftWithFunction| (LIST (|devaluate| #0#))
                       (HGET |$ConstructorCache|
                             '|RationalFunctionIntegration|)
                       '|domainEqualList|)
                   . #2=(|RationalFunctionIntegration|))
             (|CDRwithIncrement| #1#))
            ('T
             (UNWIND-PROTECT
               (PROG1 (|RationalFunctionIntegration;| #0#)
                 (LETT #1# T . #2#))
               (COND
                 ((NOT #1#)
                  (HREM |$ConstructorCache|
                        '|RationalFunctionIntegration|))))))))))) 

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

(MAKEPROP '|RationalFunctionIntegration| '|infovec|
    (LIST '#(NIL NIL NIL NIL NIL NIL (|local| |#1|)
             (|Fraction| (|Polynomial| 6))
             (|Fraction| (|SparseUnivariatePolynomial| 7)) (|Symbol|)
             (|PolynomialCategoryQuotientFunctions|
                 (|IndexedExponents| 9) 9 6 (|Polynomial| 6) 7)
             (0 . |multivariate|) (6 . |univariate|)
             (|Union| 8 '"failed")
             (|RationalIntegration| 7 (|SparseUnivariatePolynomial| 7))
             (12 . |infieldint|) (|Union| 7 '"failed") (|Mapping| 7 8)
             (|IntegrationResultFunctions2| 8 7) (17 . |map|)
             |INTRF;infieldIntegrate;FSU;1| (|IntegrationResult| 8)
             (23 . |integrate|) (|IntegrationResult| 7) (28 . |map|)
             |INTRF;internalIntegrate;FSIr;2|
             (|Record| (|:| |ratpart| 8) (|:| |coeff| 8))
             (|Union| 26 '"failed") (34 . |extendedint|)
             (|Record| (|:| |ratpart| 7) (|:| |coeff| 7))
             (|Union| 29 '"failed") (40 . |map|)
             |INTRF;extendedIntegrate;FSFU;3|
             (|Record| (|:| |coeff| 8) (|:| |logand| 8))
             (|Record| (|:| |mainpart| 8)
                 (|:| |limitedlogs| (|List| 33)))
             (|Union| 34 '"failed") (|List| 8) (46 . |limitedint|)
             (|Record| (|:| |coeff| 7) (|:| |logand| 7))
             (|Record| (|:| |mainpart| 7)
                 (|:| |limitedlogs| (|List| 38)))
             (|Union| 39 '"failed") (52 . |map|) (|List| 7)
             |INTRF;limitedIntegrate;FSLU;4|)
          '#(|limitedIntegrate| 58 |internalIntegrate| 65
             |infieldIntegrate| 71 |extendedIntegrate| 77)
          'NIL
          (CONS (|makeByteWordVec2| 1 'NIL)
                (CONS '#()
                      (CONS '#()
                            (|makeByteWordVec2| 43
                                '(2 10 7 8 9 11 2 10 8 7 9 12 1 14 13 8
                                  15 2 18 16 17 13 19 1 14 21 8 22 2 18
                                  23 17 21 24 2 14 27 8 8 28 2 18 30 17
                                  27 31 2 14 35 8 36 37 2 18 40 17 35
                                  41 3 0 40 7 9 42 43 2 0 23 7 9 25 2 0
                                  16 7 9 20 3 0 30 7 9 7 32)))))
          '|lookupComplete|)) 
