Class FactorQuotient<C extends GcdRingElem<C>>

java.lang.Object

edu.jas.ufd.FactorAbstract<Quotient<C>>

edu.jas.ufd.FactorQuotient<C>

All Implemented Interfaces:

Factorization<Quotient<C>>, Serializable

public class FactorQuotient<C extends GcdRingElem<C>>
extends FactorAbstract<Quotient<C>>

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:

• Serialized Form

Field Summary

Fields

Modifier and Type	Field	Description
private static final org.apache.logging.log4j.Logger	logger
protected final FactorAbstract<C>	nengine	Factorization engine for normal coefficients.

Fields inherited from class FactorAbstract

engine, sengine

Constructor Summary

Constructors

Modifier	Constructor	Description
protected	FactorQuotient()	No argument constructor.
	FactorQuotient(QuotientRing<C> fac)	Constructor.
	FactorQuotient(QuotientRing<C> fac, FactorAbstract<C> nengine)	Constructor.

Method Summary

Modifier and Type	Method	Description
List<GenPolynomial<Quotient<C>>>	baseFactorsSquarefree(GenPolynomial<Quotient<C>> P)	GenPolynomial base factorization of a squarefree polynomial.
List<GenPolynomial<Quotient<C>>>	factorsSquarefree(GenPolynomial<Quotient<C>> P)	GenPolynomial factorization of a squarefree polynomial.

Methods inherited from class FactorAbstract

baseFactors, baseFactorsRadical, basePrimitivePart, factors, factorsDegree, factorsRadical, factorsRadical, factorsSquarefreeKronecker, factorsSquarefreeOptimize, isFactorization, isFactorization, isIrreducible, isRecursiveFactorization, isReducible, isSquarefree, normalizeFactorization, primitivePart, recursiveFactors, recursiveFactorsSquarefree, removeOnce, squarefreeFactors, squarefreePart, toString

Methods inherited from class Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Field Details

logger

private static final org.apache.logging.log4j.Logger logger

nengine

protected final FactorAbstract<C extends GcdRingElem<C>> nengine

Factorization engine for normal coefficients.

Constructor Details

FactorQuotient

protected FactorQuotient()

No argument constructor.

FactorQuotient

public FactorQuotient(QuotientRing<C> fac)

Constructor.

Parameters:

fac - coefficient quotient ring factory.

FactorQuotient

public FactorQuotient(QuotientRing<C> fac,
 FactorAbstract<C> nengine)

Constructor.

Parameters:

fac - coefficient quotient ring factory.

nengine - factorization engine for polynomials over base coefficients.

Method Details

baseFactorsSquarefree

public List<GenPolynomial<Quotient<C>>> baseFactorsSquarefree(GenPolynomial<Quotient<C>> P)

GenPolynomial base factorization of a squarefree polynomial.

Specified by:

baseFactorsSquarefree in class FactorAbstract<Quotient<C extends GcdRingElem<C>>>

Parameters:

P - squarefree GenPolynomial.

Returns:

[p_1,...,p_k] with P = prod_{i=1, ..., k} p_i.

factorsSquarefree

public List<GenPolynomial<Quotient<C>>> factorsSquarefree(GenPolynomial<Quotient<C>> P)

GenPolynomial factorization of a squarefree polynomial.

Specified by:

factorsSquarefree in interface Factorization<C extends GcdRingElem<C>>

Overrides:

factorsSquarefree in class FactorAbstract<Quotient<C extends GcdRingElem<C>>>

Parameters:

P - squarefree GenPolynomial.

Returns:

[p_1,...,p_k] with P = prod_{i=1, ..., k} p_i.