Package 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 Description protected GreatestCommonDivisorAbstract<MOD>
mufd
Modular gcd algorithm to use.
-
Constructor Summary
Constructors Constructor Description GreatestCommonDivisorModEval()
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method 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
-
-
-
-
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 classGreatestCommonDivisorAbstract<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 classGreatestCommonDivisorAbstract<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 interfaceGreatestCommonDivisor<MOD extends GcdRingElem<MOD> & Modular>
- Overrides:
gcd
in classGreatestCommonDivisorAbstract<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 classGreatestCommonDivisorAbstract<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 classGreatestCommonDivisorAbstract<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 interfaceGreatestCommonDivisor<MOD extends GcdRingElem<MOD> & Modular>
- Overrides:
resultant
in classGreatestCommonDivisorAbstract<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>>)
-
-