Class ElementaryIntegrationLazard<C extends GcdRingElem<C>>

java.lang.Object

edu.jas.integrate.ElementaryIntegration<C>

edu.jas.integrate.ElementaryIntegrationLazard<C>

Type Parameters:

C - coefficient type

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

Method related to elementary integration. Lazard-Rioboo-Trager integration of the logarithmic part.

Author:

Youssef Elbarbary

Field Summary

Fields inherited from class ElementaryIntegration

irr, irredLogPart, sqf, ufd

Constructor Summary

Constructors

Constructor	Description
ElementaryIntegrationLazard(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, Lazard - Rioboo - Trager

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

Constructor Details

ElementaryIntegrationLazard

public ElementaryIntegrationLazard(RingFactory<C> br)

Constructor.

Method Details

integrateLogPart

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

Univariate GenPolynomial integration of the logarithmic part, Lazard - Rioboo - Trager

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.