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>
,Serializable
public class GreatestCommonDivisorModEval<MOD extends GcdRingElem<MOD> & Modular>
extends GreatestCommonDivisorAbstract<MOD>
Greatest common divisor algorithms with modular evaluation algorithm for
recursion.
- See Also:
-
Field Summary
FieldsModifier and TypeFieldDescriptionprivate static final boolean
private static final org.apache.logging.log4j.Logger
protected final GreatestCommonDivisorAbstract
<MOD> Modular gcd algorithm to use. -
Constructor Summary
Constructors -
Method Summary
Modifier and TypeMethodDescriptionbaseGcd
(GenPolynomial<MOD> P, GenPolynomial<MOD> S) Univariate GenPolynomial greatest common divisor.baseResultant
(GenPolynomial<MOD> P, GenPolynomial<MOD> S) Univariate GenPolynomial resultant.gcd
(GenPolynomial<MOD> P, GenPolynomial<MOD> S) GenPolynomial greatest common divisor, modular evaluation algorithm.Recursive univariate GenPolynomial greatest common divisor.recursiveUnivariateResultant
(GenPolynomial<GenPolynomial<MOD>> P, GenPolynomial<GenPolynomial<MOD>> S) Univariate GenPolynomial recursive resultant.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 Details
-
logger
private static final org.apache.logging.log4j.Logger logger -
debug
private static final boolean debug -
mufd
Modular gcd algorithm to use.
-
-
Constructor Details
-
GreatestCommonDivisorModEval
public GreatestCommonDivisorModEval()
-
-
Method Details
-
baseGcd
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
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
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
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:
-