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

java.lang.Object

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

edu.jas.ufdroot.FactorRealAlgebraic<C>

Type Parameters:

C - coefficient type

All Implemented Interfaces:

Factorization<RealAlgebraicNumber<C>>, Serializable

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

Real algebraic number coefficients factorization algorithms. This class implements factorization methods for polynomials over real algebraic numbers from package edu.jas.root.

See Also:

• Serialized Form

Field Summary

Fields

Modifier and Type	Field	Description
final FactorAbstract<AlgebraicNumber<C>>	factorAlgebraic	Factorization engine for base coefficients.
private static final org.apache.logging.log4j.Logger	logger

Fields inherited from class FactorAbstract

engine, sengine

Constructor Summary

Constructors

Modifier	Constructor	Description
protected	FactorRealAlgebraic()	No argument constructor.
	FactorRealAlgebraic(RealAlgebraicRing<C> fac)	Constructor.
	FactorRealAlgebraic(RealAlgebraicRing<C> fac, FactorAbstract<AlgebraicNumber<C>> factorAlgebraic)	Constructor.

Method Summary

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

Methods inherited from class 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 Object

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

Field Details

logger

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

factorAlgebraic

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

Factorization engine for base coefficients.

Constructor Details

FactorRealAlgebraic

protected FactorRealAlgebraic()

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

FactorRealAlgebraic

public FactorRealAlgebraic(RealAlgebraicRing<C> fac)

Constructor.

Parameters:

fac - algebraic number factory.

FactorRealAlgebraic

public FactorRealAlgebraic(RealAlgebraicRing<C> fac,
 FactorAbstract<AlgebraicNumber<C>> factorAlgebraic)

Constructor.

Parameters:

fac - algebraic number factory.

factorAlgebraic - factorization engine for polynomials over base coefficients.

Method Details

baseFactorsSquarefree

public 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.