Package 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 Description ElementaryIntegrationLazard(RingFactory<C> br)
Constructor.
-
Method Summary
All Methods Instance Methods Concrete Methods 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 edu.jas.integrate.ElementaryIntegration
derivative, integrate, integrate, integrateHermite, integrateLogPartPrepare, isIntegral, isIntegral
-
-
-
-
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 logarithmic part, Lazard - Rioboo - Trager- Overrides:
integrateLogPart
in classElementaryIntegration<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.
-
-