edu.jas.integrate

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 edu.jas.integrate.ElementaryIntegration

irr, irredLogPart, sqf, ufd

Constructor Summary

Constructors

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

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

ElementaryIntegrationLazard

public ElementaryIntegrationLazard(RingFactory<C> br)

Constructor.

Method Detail

integrateLogPart

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

Univariate GenPolynomial integration of the logaritmic 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.