edu.jas.fd

Class GreatestCommonDivisorSimple<C extends GcdRingElem<C>>

java.lang.Object

edu.jas.fd.GreatestCommonDivisorAbstract<C>

edu.jas.fd.GreatestCommonDivisorSimple<C>

Type Parameters:

C - coefficient type

All Implemented Interfaces:

GreatestCommonDivisor<C>, java.io.Serializable

public class GreatestCommonDivisorSimple<C extends GcdRingElem<C>>
extends GreatestCommonDivisorAbstract<C>

(Non-unique) factorization domain greatest common divisor common algorithms with monic polynomial remainder sequence. If C is a field, then the monic PRS (on coefficients) is computed otherwise no simplifications in the reduction are made.

See Also:

Serialized Form

Constructor Summary

Constructors

Constructor and Description
GreatestCommonDivisorSimple()

Method Summary

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

Methods inherited from class edu.jas.fd.GreatestCommonDivisorAbstract

baseContent, baseExtendedGcd, baseGcdDiophant, baseHalfExtendedGcd, basePrimitivePart, baseRecursiveContent, baseRecursivePrimitivePart, content, coPrime, coPrime, coPrimeRec, divide, gcd, gcd, gcd, isCoPrime, isCoPrime, lcm, leftOreCond, leftOreCond, primitivePart, recursiveContent, recursiveGcd, recursivePrimitivePart, toString

Methods inherited from class java.lang.Object

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

Constructor Detail

GreatestCommonDivisorSimple

public GreatestCommonDivisorSimple()

Method Detail

baseGcd

public GenSolvablePolynomial<C> baseGcd(GenSolvablePolynomial<C> P,
                                        GenSolvablePolynomial<C> S)

Univariate GenSolvablePolynomial greatest common divisor. Uses pseudoRemainder for remainder.

Specified by:

baseGcd in class GreatestCommonDivisorAbstract<C extends GcdRingElem<C>>

Parameters:

P - univariate GenSolvablePolynomial.

S - univariate GenSolvablePolynomial.

Returns:

gcd(P,S).

recursiveUnivariateGcd

public GenSolvablePolynomial<GenPolynomial<C>> recursiveUnivariateGcd(GenSolvablePolynomial<GenPolynomial<C>> P,
                                                                      GenSolvablePolynomial<GenPolynomial<C>> S)

Univariate GenSolvablePolynomial recursive greatest comon divisor. Uses pseudoRemainder for remainder.

Specified by:

recursiveUnivariateGcd in class GreatestCommonDivisorAbstract<C extends GcdRingElem<C>>

Parameters:

P - univariate recursive GenSolvablePolynomial.

S - univariate recursive GenSolvablePolynomial.

Returns:

gcd(P,S).