edu.jas.ufd
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>>, java.io.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.

Author:

Heinz Kredel

See Also:

Serialized Form

Field Summary

protected FactorAbstract<C>

nengine Factorization engine for normal coefficients.

Fields inherited from class edu.jas.ufd.FactorAbstract

engine, sengine

Constructor Summary

protected	FactorQuotient() No argument constructor.
	FactorQuotient(QuotientRing<C> fac) Constructor.

Method Summary

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.

Methods inherited from class edu.jas.ufd.FactorAbstract

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

Methods inherited from class java.lang.Object

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

Field Detail

nengine

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

Factorization engine for normal coefficients.

Constructor Detail

FactorQuotient

protected FactorQuotient()

No argument constructor.

FactorQuotient

public FactorQuotient(QuotientRing<C> fac)

Constructor.

Parameters:

fac - coefficient quotient ring factory.

Method Detail

baseFactorsSquarefree

public java.util.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 java.util.List<GenPolynomial<Quotient<C>>> factorsSquarefree(GenPolynomial<Quotient<C>> P)

GenPolynomial factorization of a squarefree polynomial.

Specified by:

factorsSquarefree in interface Factorization<Quotient<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.