Class ElementaryIntegration<C extends GcdRingElem<C>>

    • Method Detail

      • integrate

        public QuotIntegral<Cintegrate​(Quotient<C> r)
        Integration of a rational function.
        Parameters:
        r - rational function
        Returns:
        Integral container, such that integrate(r) = sum_i(g_i) + sum_j( an_j log(hd_j) )
      • integrate

        public Integral<Cintegrate​(GenPolynomial<C> a,
                                     GenPolynomial<C> d)
        Integration of a rational function.
        Parameters:
        a - numerator
        d - denominator
        Returns:
        Integral container, such that integrate(a/d) = sum_i(gn_i/gd_i) + integrate(h0) + sum_j( an_j log(hd_j) )
      • integrateHermite

        public java.util.List<GenPolynomial<C>>[] integrateHermite​(GenPolynomial<C> a,
                                                                   GenPolynomial<C> d)
        Integration of the rational part, Hermite reduction step.
        Parameters:
        a - numerator
        d - denominator, gcd(a,d) == 1
        Returns:
        [ [ gn_i, gd_i ], [ h0, hn_j, hd_j ] ] such that integrate(a/d) = sum_i(gn_i/gd_i) + integrate(h0) + sum_j( integrate(hn_j/hd_j) )
      • integrateLogPartPrepare

        public LogIntegral<CintegrateLogPartPrepare​(GenPolynomial<C> A,
                                                      GenPolynomial<C> P)
        Univariate GenPolynomial integration of the logarithmic part, eventual preparation for irreducible factorization of P.
        Parameters:
        A - univariate GenPolynomial, deg(A) < deg(P).
        P - univariate squarefree GenPolynomial, gcd(A,P) == 1.
        Returns:
        logarithmic part container.
      • integrateLogPart

        public LogIntegral<CintegrateLogPart​(GenPolynomial<C> A,
                                               GenPolynomial<C> P)
        Univariate GenPolynomial integration of the logarithmic part, Rothstein-Trager algorithm.
        Parameters:
        A - univariate GenPolynomial, deg(A) < deg(P).
        P - univariate squarefree or irreducible GenPolynomial. // gcd(A,P) == 1 automatic
        Returns:
        logarithmic part container.
      • derivative

        @Deprecated
        public Quotient<Cderivative​(Quotient<C> r)
        Deprecated.
        (forRemoval=true) use PolyUfdUtil.derivative()
        Derivation of a univariate rational function.
        Parameters:
        r - rational function
        Returns:
        dr/dx
      • isIntegral

        public boolean isIntegral​(QuotIntegral<C> ri)
        Test of integration of a rational function.
        Parameters:
        ri - integral
        Returns:
        true, if ri is an integral, else false.
      • isIntegral

        public boolean isIntegral​(LogIntegral<C> rl)
        Test of integration of the logarithmic part of a rational function.
        Parameters:
        rl - logarithmic part of an integral
        Returns:
        true, if rl is an integral, else false.