edu.jas.ufd

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

java.lang.Object

edu.jas.ufd.GreatestCommonDivisorAbstract<MOD>

edu.jas.ufd.GreatestCommonDivisorModEval<MOD>

All Implemented Interfaces:

GreatestCommonDivisor<MOD>, java.io.Serializable

public class GreatestCommonDivisorModEval<MOD extends GcdRingElem<MOD> & Modular>
extends GreatestCommonDivisorAbstract<MOD>

Greatest common divisor algorithms with modular evaluation algorithm for recursion.

Author:

Heinz Kredel

See Also:

Serialized Form

Field Summary

Fields

Modifier and Type	Field and Description
protected GreatestCommonDivisorAbstract<MOD>	mufd Modular gcd algorithm to use.

Constructor Summary

Constructors

Constructor and Description
GreatestCommonDivisorModEval()

Method Summary

Modifier and Type	Method and Description
GenPolynomial<MOD>	baseGcd(GenPolynomial<MOD> P, GenPolynomial<MOD> S) Univariate GenPolynomial greatest common divisor.
GenPolynomial<MOD>	baseResultant(GenPolynomial<MOD> P, GenPolynomial<MOD> S) Univariate GenPolynomial resultant.
GenPolynomial<MOD>	gcd(GenPolynomial<MOD> P, GenPolynomial<MOD> S) GenPolynomial greatest common divisor, modular evaluation algorithm.
GenPolynomial<GenPolynomial<MOD>>	recursiveUnivariateGcd(GenPolynomial<GenPolynomial<MOD>> P, GenPolynomial<GenPolynomial<MOD>> S) Recursive univariate GenPolynomial greatest common divisor.
GenPolynomial<GenPolynomial<MOD>>	recursiveUnivariateResultant(GenPolynomial<GenPolynomial<MOD>> P, GenPolynomial<GenPolynomial<MOD>> S) Univariate GenPolynomial recursive resultant.
GenPolynomial<MOD>	resultant(GenPolynomial<MOD> P, GenPolynomial<MOD> S) GenPolynomial resultant, modular evaluation algorithm.

Methods inherited from class edu.jas.ufd.GreatestCommonDivisorAbstract

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

Methods inherited from class java.lang.Object

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

Field Detail

mufd

protected final GreatestCommonDivisorAbstract<MOD extends GcdRingElem<MOD> & Modular> mufd

Modular gcd algorithm to use.

Constructor Detail

GreatestCommonDivisorModEval

public GreatestCommonDivisorModEval()

Method Detail

baseGcd

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

Univariate GenPolynomial greatest common divisor.

Specified by:

baseGcd in class GreatestCommonDivisorAbstract<MOD extends GcdRingElem<MOD> & Modular>

Parameters:

P - univariate GenPolynomial.

S - univariate GenPolynomial.

Returns:

gcd(P,S).

recursiveUnivariateGcd

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

Recursive univariate GenPolynomial greatest common divisor.

Specified by:

recursiveUnivariateGcd in class GreatestCommonDivisorAbstract<MOD extends GcdRingElem<MOD> & Modular>

Parameters:

P - univariate recursive GenPolynomial.

S - univariate recursive GenPolynomial.

Returns:

gcd(P,S).

gcd

public GenPolynomial<MOD> gcd(GenPolynomial<MOD> P,
                              GenPolynomial<MOD> S)

GenPolynomial greatest common divisor, modular evaluation algorithm.

Specified by:

gcd in interface GreatestCommonDivisor<MOD extends GcdRingElem<MOD> & Modular>

Overrides:

gcd in class GreatestCommonDivisorAbstract<MOD extends GcdRingElem<MOD> & Modular>

Parameters:

P - GenPolynomial.

S - GenPolynomial.

Returns:

gcd(P,S).

baseResultant

public GenPolynomial<MOD> baseResultant(GenPolynomial<MOD> P,
                                        GenPolynomial<MOD> S)

Univariate GenPolynomial resultant.

Overrides:

baseResultant in class GreatestCommonDivisorAbstract<MOD extends GcdRingElem<MOD> & Modular>

Parameters:

P - univariate GenPolynomial.

S - univariate GenPolynomial.

Returns:

res(P,S).

recursiveUnivariateResultant

public GenPolynomial<GenPolynomial<MOD>> recursiveUnivariateResultant(GenPolynomial<GenPolynomial<MOD>> P,
                                                                      GenPolynomial<GenPolynomial<MOD>> S)

Univariate GenPolynomial recursive resultant.

Overrides:

recursiveUnivariateResultant in class GreatestCommonDivisorAbstract<MOD extends GcdRingElem<MOD> & Modular>

Parameters:

P - univariate recursive GenPolynomial.

S - univariate recursive GenPolynomial.

Returns:

res(P,S).

resultant

public GenPolynomial<MOD> resultant(GenPolynomial<MOD> P,
                                    GenPolynomial<MOD> S)

GenPolynomial resultant, modular evaluation algorithm.

Specified by:

resultant in interface GreatestCommonDivisor<MOD extends GcdRingElem<MOD> & Modular>

Overrides:

resultant in class GreatestCommonDivisorAbstract<MOD extends GcdRingElem<MOD> & Modular>

Parameters:

P - GenPolynomial.

S - GenPolynomial.

Returns:

res(P,S).

See Also:

GreatestCommonDivisorAbstract.recursiveResultant(edu.jas.poly.GenPolynomial<edu.jas.poly.GenPolynomial<C>>, edu.jas.poly.GenPolynomial<edu.jas.poly.GenPolynomial<C>>)