Package edu.jas.ufd
Class FactorQuotient<C extends GcdRingElem<C>>
- All Implemented Interfaces:
Factorization<Quotient<C>>
,Serializable
Rational function coefficients factorization algorithms. This class
implements factorization methods for polynomials over rational functions,
that is, with coefficients from class
application.Quotient
.- See Also:
-
Field Summary
FieldsModifier and TypeFieldDescriptionprivate static final org.apache.logging.log4j.Logger
protected final FactorAbstract
<C> Factorization engine for normal coefficients.Fields inherited from class edu.jas.ufd.FactorAbstract
engine, sengine
-
Constructor Summary
ConstructorsModifierConstructorDescriptionprotected
No argument constructor.FactorQuotient
(QuotientRing<C> fac) Constructor.FactorQuotient
(QuotientRing<C> fac, FactorAbstract<C> nengine) Constructor. -
Method Summary
Modifier and TypeMethodDescriptionGenPolynomial base factorization of a squarefree polynomial.GenPolynomial factorization of a squarefree polynomial.Methods inherited from class edu.jas.ufd.FactorAbstract
baseFactors, baseFactorsRadical, basePrimitivePart, factors, factorsDegree, factorsRadical, factorsRadical, factorsSquarefreeKronecker, factorsSquarefreeOptimize, isFactorization, isFactorization, isIrreducible, isRecursiveFactorization, isReducible, isSquarefree, normalizeFactorization, primitivePart, recursiveFactors, recursiveFactorsSquarefree, removeOnce, squarefreeFactors, squarefreePart, toString
-
Field Details
-
logger
private static final org.apache.logging.log4j.Logger logger -
nengine
Factorization engine for normal coefficients.
-
-
Constructor Details
-
FactorQuotient
protected FactorQuotient()No argument constructor. -
FactorQuotient
Constructor.- Parameters:
fac
- coefficient quotient ring factory.
-
FactorQuotient
Constructor.- Parameters:
fac
- coefficient quotient ring factory.nengine
- factorization engine for polynomials over base coefficients.
-
-
Method Details
-
baseFactorsSquarefree
GenPolynomial base factorization of a squarefree polynomial.- Specified by:
baseFactorsSquarefree
in classFactorAbstract<Quotient<C extends GcdRingElem<C>>>
- Parameters:
P
- squarefree GenPolynomial.- Returns:
- [p_1,...,p_k] with P = prod_{i=1, ..., k} p_i.
-
factorsSquarefree
GenPolynomial factorization of a squarefree polynomial.- Specified by:
factorsSquarefree
in interfaceFactorization<C extends GcdRingElem<C>>
- Overrides:
factorsSquarefree
in classFactorAbstract<Quotient<C extends GcdRingElem<C>>>
- Parameters:
P
- squarefree GenPolynomial.- Returns:
- [p_1,...,p_k] with P = prod_{i=1, ..., k} p_i.
-