Class ElementaryIntegrationCzichowski<C extends GcdRingElem<C>>

java.lang.Object

edu.jas.integrate.ElementaryIntegration<C>

edu.jas.integrate.ElementaryIntegrationCzichowski<C>

Type Parameters:

C - coefficient type

public class ElementaryIntegrationCzichowski<C extends GcdRingElem<C>>
extends ElementaryIntegration<C>

Method related to elementary integration. Czichowski integration based on Groebner bases for the logarithmic part.

Field Summary

Fields

Modifier and Type	Field	Description
private static final org.apache.logging.log4j.Logger	logger
final GroebnerBaseAbstract<C>	red	Engine for Groebner basis.

Fields inherited from class ElementaryIntegration

irr, irredLogPart, sqf, ufd

Constructor Summary

Constructors

Constructor	Description
ElementaryIntegrationCzichowski(RingFactory<C> br)	Constructor.

Method Summary

Modifier and Type	Method	Description
LogIntegral<C>	integrateLogPart(GenPolynomial<C> A, GenPolynomial<C> P)	Univariate GenPolynomial integration of the logarithmic part, Czichowski

Methods inherited from class ElementaryIntegration

derivative, integrate, integrate, integrateHermite, integrateLogPartPrepare, isIntegral, isIntegral

Methods inherited from class Object

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

Field Details

logger

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

red

public final GroebnerBaseAbstract<C extends GcdRingElem<C>> red

Engine for Groebner basis.

Constructor Details

ElementaryIntegrationCzichowski

public ElementaryIntegrationCzichowski(RingFactory<C> br)

Constructor.

Method Details

integrateLogPart

public LogIntegral<C> integrateLogPart(GenPolynomial<C> A,
 GenPolynomial<C> P)

Univariate GenPolynomial integration of the logarithmic part, Czichowski

Overrides:

integrateLogPart in class ElementaryIntegration<C extends GcdRingElem<C>>

Parameters:

A - univariate GenPolynomial, deg(A) < deg(P).

P - univariate irreducible GenPolynomial. // gcd(A,P) == 1 automatic

Returns:

logarithmic part container.