Package edu.jas.ufd
Class GreatestCommonDivisorSubres<C extends GcdRingElem<C>>
java.lang.Object
edu.jas.ufd.GreatestCommonDivisorAbstract<C>
edu.jas.ufd.GreatestCommonDivisorSubres<C>
- All Implemented Interfaces:
GreatestCommonDivisor<C>
,Serializable
public class GreatestCommonDivisorSubres<C extends GcdRingElem<C>>
extends GreatestCommonDivisorAbstract<C>
Greatest common divisor algorithms with subresultant polynomial remainder
sequence.
- See Also:
-
Field Summary
Fields -
Constructor Summary
Constructors -
Method Summary
Modifier and TypeMethodDescriptionGenPolynomial base coefficient discriminant.baseGcd
(GenPolynomial<C> P, GenPolynomial<C> S) Univariate GenPolynomial greatest common divisor.basePseudoRemainder
(GenPolynomial<C> P, GenPolynomial<C> S) Deprecated.baseResultant
(GenPolynomial<C> P, GenPolynomial<C> S) Univariate GenPolynomial resultant.Deprecated.(forRemoval=true) UsePolyUtil.recursiveDensePseudoRemainder(edu.jas.poly.GenPolynomial,edu.jas.poly.GenPolynomial)
insteadUnivariate GenPolynomial recursive greatest common divisor.Univariate GenPolynomial recursive resultant.recursiveUnivariateSubResultantList
(GenPolynomial<GenPolynomial<C>> P, GenPolynomial<GenPolynomial<C>> S) Univariate GenPolynomial recursive Subresultant list.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, gcd, isBasePartialFraction, isBasePartialFraction, isCoPrime, isCoPrime, lcm, primitivePart, recursiveContent, recursiveGcd, recursivePrimitivePart, recursivePrimitivePart, recursiveResultant, resultant, toString
-
Field Details
-
logger
private static final org.apache.logging.log4j.Logger logger -
debug
private static final boolean debug
-
-
Constructor Details
-
GreatestCommonDivisorSubres
public GreatestCommonDivisorSubres()
-
-
Method Details
-
basePseudoRemainder
Deprecated.(forRemoval=true) UsePolyUtil.baseDensePseudoRemainder(edu.jas.poly.GenPolynomial,edu.jas.poly.GenPolynomial)
insteadGenPolynomial pseudo remainder. For univariate polynomials.- Parameters:
P
- GenPolynomial.S
- nonzero GenPolynomial.- Returns:
- remainder with ldcf(S)m P = quotient * S + remainder.
-
recursivePseudoRemainder
@Deprecated public GenPolynomial<GenPolynomial<C>> recursivePseudoRemainder(GenPolynomial<GenPolynomial<C>> P, GenPolynomial<GenPolynomial<C>> S) Deprecated.(forRemoval=true) UsePolyUtil.recursiveDensePseudoRemainder(edu.jas.poly.GenPolynomial,edu.jas.poly.GenPolynomial)
insteadGenPolynomial pseudo remainder. For recursive polynomials.- Parameters:
P
- recursive GenPolynomial.S
- nonzero recursive GenPolynomial.- Returns:
- remainder with ldcf(S)m P = quotient * S + remainder.
-
baseGcd
Univariate GenPolynomial greatest common divisor. Uses pseudoRemainder for remainder.- Specified by:
baseGcd
in classGreatestCommonDivisorAbstract<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 common divisor. Uses pseudoRemainder for remainder.- Specified by:
recursiveUnivariateGcd
in classGreatestCommonDivisorAbstract<C extends GcdRingElem<C>>
- Parameters:
P
- univariate recursive GenPolynomial.S
- univariate recursive GenPolynomial.- Returns:
- gcd(P,S).
-
baseResultant
Univariate GenPolynomial resultant. Uses pseudoRemainder for remainder.- Overrides:
baseResultant
in classGreatestCommonDivisorAbstract<C extends GcdRingElem<C>>
- Parameters:
P
- univariate GenPolynomial.S
- univariate GenPolynomial.- Returns:
- res(P,S).
-
recursiveUnivariateResultant
public GenPolynomial<GenPolynomial<C>> recursiveUnivariateResultant(GenPolynomial<GenPolynomial<C>> P, GenPolynomial<GenPolynomial<C>> S) Univariate GenPolynomial recursive resultant. Uses pseudoRemainder for remainder.- Overrides:
recursiveUnivariateResultant
in classGreatestCommonDivisorAbstract<C extends GcdRingElem<C>>
- Parameters:
P
- univariate recursive GenPolynomial.S
- univariate recursive GenPolynomial.- Returns:
- res(P,S).
-
recursiveUnivariateSubResultantList
public List<GenPolynomial<GenPolynomial<C>>> recursiveUnivariateSubResultantList(GenPolynomial<GenPolynomial<C>> P, GenPolynomial<GenPolynomial<C>> S) Univariate GenPolynomial recursive Subresultant list. Uses pseudoRemainder for remainder. Author: Youssef Elbarbary- Parameters:
P
- univariate recursive GenPolynomial.S
- univariate recursive GenPolynomial.- Returns:
- subResList(P,S).
-
baseDiscriminant
GenPolynomial base coefficient discriminant.- Parameters:
P
- GenPolynomial.- Returns:
- discriminant(P).
-
PolyUtil.baseDensePseudoRemainder(edu.jas.poly.GenPolynomial,edu.jas.poly.GenPolynomial)
instead