edu.jas.application

Class FactorRealReal<C extends GcdRingElem<C> & Rational>

java.lang.Object

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

edu.jas.application.FactorRealReal<C>

Type Parameters:

C - coefficient type

All Implemented Interfaces:

Factorization<RealAlgebraicNumber<C>>, java.io.Serializable

public class FactorRealReal<C extends GcdRingElem<C> & Rational>
extends FactorAbstract<RealAlgebraicNumber<C>>

Real algebraic number coefficients factorization algorithms. This class implements factorization methods for polynomials over bi-variate real algebraic numbers from package

 edu.jas.application
 

.

Author:

Heinz Kredel

See Also:

Serialized Form

Field Summary

Fields

Modifier and Type	Field and Description
FactorAbstract<RealAlgebraicNumber<C>>	factorAlgebraic Factorization engine for base coefficients.

Fields inherited from class edu.jas.ufd.FactorAbstract

engine, sengine

Constructor Summary

Constructors

Modifier	Constructor and Description
protected	FactorRealReal() No argument constructor.
	FactorRealReal(RealAlgebraicRing<C> fac) Constructor.
	FactorRealReal(RealAlgebraicRing<C> fac, FactorAbstract<RealAlgebraicNumber<C>> factorAlgebraic) Constructor.

Method Summary

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

Methods inherited from class edu.jas.ufd.FactorAbstract

baseFactors, baseFactorsRadical, basePrimitivePart, factors, factorsDegree, factorsRadical, factorsRadical, factorsSquarefree, factorsSquarefreeKronecker, factorsSquarefreeOptimize, isFactorization, isFactorization, isIrreducible, isRecursiveFactorization, isReducible, isSquarefree, normalizeFactorization, 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

factorAlgebraic

public final FactorAbstract<RealAlgebraicNumber<C extends GcdRingElem<C> & Rational>> factorAlgebraic

Factorization engine for base coefficients.

Constructor Detail

FactorRealReal

protected FactorRealReal()

No argument constructor. Note: can't use this constructor.

FactorRealReal

public FactorRealReal(RealAlgebraicRing<C> fac)

Constructor.

Parameters:

fac - algebraic number factory.

FactorRealReal

public FactorRealReal(RealAlgebraicRing<C> fac,
                      FactorAbstract<RealAlgebraicNumber<C>> factorAlgebraic)

Constructor.

Parameters:

fac - algebraic number factory.

factorAlgebraic - factorization engine for polynomials over base coefficients.

Method Detail

baseFactorsSquarefree

public java.util.List<GenPolynomial<RealAlgebraicNumber<C>>> baseFactorsSquarefree(GenPolynomial<RealAlgebraicNumber<C>> P)

GenPolynomial base factorization of a squarefree polynomial.

Specified by:

baseFactorsSquarefree in class FactorAbstract<RealAlgebraicNumber<C extends GcdRingElem<C> & Rational>>

Parameters:

P - squarefree GenPolynomial<RealAlgebraicNumber<C>>.

Returns:

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