public class FactorQuotient<C extends GcdRingElem<C>> extends FactorAbstract<Quotient<C>>
application.Quotient
.Modifier and Type | Field and Description |
---|---|
protected FactorAbstract<C> |
nengine
Factorization engine for normal coefficients.
|
engine, sengine
Modifier | Constructor and Description |
---|---|
protected |
FactorQuotient()
No argument constructor.
|
|
FactorQuotient(QuotientRing<C> fac)
Constructor.
|
|
FactorQuotient(QuotientRing<C> fac,
FactorAbstract<C> nengine)
Constructor.
|
Modifier and Type | Method and Description |
---|---|
java.util.List<GenPolynomial<Quotient<C>>> |
baseFactorsSquarefree(GenPolynomial<Quotient<C>> P)
GenPolynomial base factorization of a squarefree polynomial.
|
java.util.List<GenPolynomial<Quotient<C>>> |
factorsSquarefree(GenPolynomial<Quotient<C>> P)
GenPolynomial factorization of a squarefree polynomial.
|
baseFactors, baseFactorsRadical, basePrimitivePart, factors, factorsDegree, factorsRadical, factorsRadical, factorsSquarefreeKronecker, factorsSquarefreeOptimize, isFactorization, isFactorization, isIrreducible, isRecursiveFactorization, isReducible, isSquarefree, normalizeFactorization, primitivePart, recursiveFactors, recursiveFactorsSquarefree, squarefreeFactors, squarefreePart, toString
protected final FactorAbstract<C extends GcdRingElem<C>> nengine
protected FactorQuotient()
public FactorQuotient(QuotientRing<C> fac)
fac
- coefficient quotient ring factory.public FactorQuotient(QuotientRing<C> fac, FactorAbstract<C> nengine)
fac
- coefficient quotient ring factory.nengine
- factorization engine for polynomials over base
coefficients.public java.util.List<GenPolynomial<Quotient<C>>> baseFactorsSquarefree(GenPolynomial<Quotient<C>> P)
baseFactorsSquarefree
in class FactorAbstract<Quotient<C extends GcdRingElem<C>>>
P
- squarefree GenPolynomial.public java.util.List<GenPolynomial<Quotient<C>>> factorsSquarefree(GenPolynomial<Quotient<C>> P)
factorsSquarefree
in interface Factorization<Quotient<C extends GcdRingElem<C>>>
factorsSquarefree
in class FactorAbstract<Quotient<C extends GcdRingElem<C>>>
P
- squarefree GenPolynomial.