Class ElementaryIntegrationBernoulli<C extends GcdRingElem<C>>

java.lang.Object
edu.jas.integrate.ElementaryIntegration<C>
edu.jas.integrate.ElementaryIntegrationBernoulli<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 Details

    • logger

      private static final org.apache.logging.log4j.Logger logger

  • Constructor Details

    • ElementaryIntegrationBernoulli

      public ElementaryIntegrationBernoulli(RingFactory<C> br)
      Constructor.

  • Method Details

    • 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.