edu.jas.integrate

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.

Author:

Heinz Kredel

Field Summary

Fields inherited from class edu.jas.integrate.ElementaryIntegration

irr, irredLogPart, sqf, ufd

Constructor Summary

Constructors

Constructor and Description
ElementaryIntegrationBernoulli(RingFactory<C> br) Constructor.

Method Summary

Modifier and Type	Method and Description
LogIntegral<C>	integrateLogPart(GenPolynomial<C> A, GenPolynomial<C> P) Univariate GenPolynomial integration of the logarithmic part, Bernoulli linear factorization algorithm.

Methods inherited from class edu.jas.integrate.ElementaryIntegration

deriviative, integrate, integrate, integrateHermite, integrateLogPartPrepare, isIntegral, isIntegral

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

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.