Class ElementaryIntegrationBernoulli<C extends GcdRingElem<C>>

  • Type Parameters:
    C - coefficient type

    public class ElementaryIntegrationBernoulli<C extends GcdRingElem<C>>
    extends ElementaryIntegration<C>
    Methods related to the Bernoulli algorithm for elementary integration. The denominator is factored into linear factors over iterated algebraic extensions over the rational numbers.
    • Field Detail

      • logger

        private static final org.apache.logging.log4j.Logger logger
    • Constructor Detail

      • ElementaryIntegrationBernoulli

        public ElementaryIntegrationBernoulli​(RingFactory<C> br)
        Constructor.
    • Method Detail

      • integrateLogPart

        public LogIntegral<C> integrateLogPart​(GenPolynomial<C> A,
                                               GenPolynomial<C> P)
        Univariate GenPolynomial integration of the logarithmic part, Bernoulli linear factorization algorithm.
        Overrides:
        integrateLogPart in class ElementaryIntegration<C extends GcdRingElem<C>>
        Parameters:
        A - univariate GenPolynomial, deg(A) < deg(P).
        P - univariate squarefree or irreducible GenPolynomial. // gcd(A,P) == 1 automatic
        Returns:
        logarithmic part container.