edu.jas.ufd
Class GreatestCommonDivisorSimple<C extends GcdRingElem<C>>

java.lang.Object
  extended by edu.jas.ufd.GreatestCommonDivisorAbstract<C>
      extended by edu.jas.ufd.GreatestCommonDivisorSimple<C>
All Implemented Interfaces:
GreatestCommonDivisor<C>, java.io.Serializable

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

Greatest common divisor 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.

Author:
Heinz Kredel
See Also:
Serialized Form

Constructor Summary
GreatestCommonDivisorSimple()
           
 
Method Summary
 GenPolynomial<C> baseGcd(GenPolynomial<C> P, GenPolynomial<C> S)
          Univariate GenPolynomial greatest comon divisor.
 GenPolynomial<GenPolynomial<C>> recursiveUnivariateGcd(GenPolynomial<GenPolynomial<C>> P, GenPolynomial<GenPolynomial<C>> 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, content, coPrime, coPrime, coPrimeRec, divide, gcd, gcd, isBasePartialFraction, isBasePartialFraction, isCoPrime, isCoPrime, lcm, primitivePart, recursiveContent, recursiveGcd, recursivePrimitivePart, resultant, toString
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Constructor Detail

GreatestCommonDivisorSimple

public GreatestCommonDivisorSimple()
Method Detail

baseGcd

public GenPolynomial<C> baseGcd(GenPolynomial<C> P,
                                GenPolynomial<C> S)
Univariate GenPolynomial greatest comon divisor. Uses pseudoRemainder for remainder.

Specified by:
baseGcd in class GreatestCommonDivisorAbstract<C extends GcdRingElem<C>>
Parameters:
P - univariate GenPolynomial.
S - univariate GenPolynomial.
Returns:
gcd(P,S).

recursiveUnivariateGcd

public GenPolynomial<GenPolynomial<C>> recursiveUnivariateGcd(GenPolynomial<GenPolynomial<C>> P,
                                                              GenPolynomial<GenPolynomial<C>> S)
Univariate GenPolynomial recursive greatest comon divisor. Uses pseudoRemainder for remainder.

Specified by:
recursiveUnivariateGcd in class GreatestCommonDivisorAbstract<C extends GcdRingElem<C>>
Parameters:
P - univariate recursive GenPolynomial.
S - univariate recursive GenPolynomial.
Returns:
gcd(P,S).