edu.jas.ufd

Class GreatestCommonDivisorHensel<MOD extends GcdRingElem<MOD> & Modular>

java.lang.Object

edu.jas.ufd.GreatestCommonDivisorAbstract<BigInteger>

edu.jas.ufd.GreatestCommonDivisorHensel<MOD>

All Implemented Interfaces:

GreatestCommonDivisor<BigInteger>, java.io.Serializable

public class GreatestCommonDivisorHensel<MOD extends GcdRingElem<MOD> & Modular>
extends GreatestCommonDivisorAbstract<BigInteger>

Greatest common divisor algorithms with subresultant polynomial remainder sequence and univariate Hensel lifting.

See Also:

Serialized Form

Field Summary

Fields

Modifier and Type	Field and Description
GreatestCommonDivisorAbstract<BigInteger>	iufd Fall back gcd algorithm.
boolean	quadratic Flag for linear or quadratic Hensel lift.

Constructor Summary

Constructors

Constructor and Description
GreatestCommonDivisorHensel() Constructor.
GreatestCommonDivisorHensel(boolean quadratic) Constructor.

Method Summary

Modifier and Type	Method and Description
GenPolynomial<BigInteger>	baseGcd(GenPolynomial<BigInteger> P, GenPolynomial<BigInteger> S) Univariate GenPolynomial greatest comon divisor.
GenPolynomial<GenPolynomial<BigInteger>>	recursiveUnivariateGcd(GenPolynomial<GenPolynomial<BigInteger>> P, GenPolynomial<GenPolynomial<BigInteger>> S) Univariate GenPolynomial recursive greatest comon divisor.

Methods inherited from class edu.jas.ufd.GreatestCommonDivisorAbstract

baseContent, baseExtendedGcd, baseGcdDiophant, baseHalfExtendedGcd, basePartialFraction, basePartialFraction, basePartialFraction, basePartialFractionValue, basePrimitivePart, baseRecursiveContent, baseRecursivePrimitivePart, baseResultant, content, coPrime, coPrime, coPrimeRec, divide, gcd, gcd, gcd, isBasePartialFraction, isBasePartialFraction, isCoPrime, isCoPrime, lcm, primitivePart, recursiveContent, recursiveGcd, recursivePrimitivePart, recursiveResultant, recursiveUnivariateResultant, resultant, toString

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, wait, wait, wait

Field Detail

quadratic

public final boolean quadratic

Flag for linear or quadratic Hensel lift.

iufd

public final GreatestCommonDivisorAbstract<BigInteger> iufd

Fall back gcd algorithm.

Constructor Detail

GreatestCommonDivisorHensel

public GreatestCommonDivisorHensel()

Constructor.

GreatestCommonDivisorHensel

public GreatestCommonDivisorHensel(boolean quadratic)

Constructor.

Parameters:

quadratic - use quadratic Hensel lift.

Method Detail

baseGcd

public GenPolynomial<BigInteger> baseGcd(GenPolynomial<BigInteger> P,
                                         GenPolynomial<BigInteger> S)

Univariate GenPolynomial greatest comon divisor. Uses univariate Hensel lifting.

Specified by:

baseGcd in class GreatestCommonDivisorAbstract<BigInteger>

Parameters:

P - univariate GenPolynomial.

S - univariate GenPolynomial.

Returns:

gcd(P,S).

recursiveUnivariateGcd

public GenPolynomial<GenPolynomial<BigInteger>> recursiveUnivariateGcd(GenPolynomial<GenPolynomial<BigInteger>> P,
                                                                       GenPolynomial<GenPolynomial<BigInteger>> S)

Univariate GenPolynomial recursive greatest comon divisor. Uses multivariate Hensel list.

Specified by:

recursiveUnivariateGcd in class GreatestCommonDivisorAbstract<BigInteger>

Parameters:

P - univariate recursive GenPolynomial.

S - univariate recursive GenPolynomial.

Returns:

gcd(P,S).