Package edu.jas.ufdroot
Class FactorRealAlgebraic<C extends GcdRingElem<C> & Rational>
- 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:
-
Field Summary
FieldsModifier and TypeFieldDescriptionfinal FactorAbstract
<AlgebraicNumber<C>> Factorization engine for base coefficients.private static final org.apache.logging.log4j.Logger
Fields inherited from class edu.jas.ufd.FactorAbstract
engine, sengine
-
Constructor Summary
ConstructorsModifierConstructorDescriptionprotected
No argument constructor.Constructor.FactorRealAlgebraic
(RealAlgebraicRing<C> fac, FactorAbstract<AlgebraicNumber<C>> factorAlgebraic) Constructor. -
Method Summary
Modifier and TypeMethodDescriptionGenPolynomial 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
-
Field Details
-
logger
private static final org.apache.logging.log4j.Logger logger -
factorAlgebraic
Factorization engine for base coefficients.
-
-
Constructor Details
-
FactorRealAlgebraic
protected FactorRealAlgebraic()No argument constructor. Note: can't use this constructor. -
FactorRealAlgebraic
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 classFactorAbstract<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.
-