Package edu.jas.application
Class FactorAlgebraicPrim<C extends GcdRingElem<C>>
- Type Parameters:
C
- coefficient type
- All Implemented Interfaces:
Factorization<AlgebraicNumber<C>>
,Serializable
public class FactorAlgebraicPrim<C extends GcdRingElem<C>>
extends FactorAbsolute<AlgebraicNumber<C>>
Algebraic number coefficients factorization algorithms. This class
implements factorization methods for polynomials over algebraic
numbers over rational numbers or over (prime) modular integers. The
algorithm uses zero dimensional ideal prime decomposition.
- See Also:
-
Field Summary
FieldsModifier and TypeFieldDescriptionfinal FactorAbstract
<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.FactorAlgebraicPrim
(AlgebraicNumberRing<C> fac, FactorAbstract<C> factorCoeff) Constructor. -
Method Summary
Modifier and TypeMethodDescriptionGenPolynomial base factorization of a squarefree polynomial.Methods inherited from class edu.jas.ufd.FactorAbsolute
baseAlgebraicPartialFraction, baseAlgebraicPartialFractionIrreducibleAbsolute, baseFactorsAbsolute, baseFactorsAbsoluteIrreducible, baseFactorsAbsoluteSquarefree, factorsAbsolute, factorsAbsoluteIrreducible, factorsAbsoluteSquarefree, isAbsoluteFactorization, isAbsoluteFactorization, isAbsoluteFactorization, isAbsoluteIrreducible, toString
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
-
Field Details
-
logger
private static final org.apache.logging.log4j.Logger logger -
factorCoeff
Factorization engine for base coefficients.
-
-
Constructor Details
-
FactorAlgebraicPrim
protected FactorAlgebraicPrim()No argument constructor. Note: can't use this constructor. -
FactorAlgebraicPrim
Constructor.- Parameters:
fac
- algebraic number factory.
-
FactorAlgebraicPrim
Constructor.- Parameters:
fac
- algebraic number factory.factorCoeff
- factorization engine for polynomials over base coefficients.
-
-
Method Details
-
baseFactorsSquarefree
public List<GenPolynomial<AlgebraicNumber<C>>> baseFactorsSquarefree(GenPolynomial<AlgebraicNumber<C>> P) GenPolynomial base factorization of a squarefree polynomial.- Specified by:
baseFactorsSquarefree
in classFactorAbstract<AlgebraicNumber<C extends GcdRingElem<C>>>
- Parameters:
P
- squarefree GenPolynomial<AlgebraicNumber<C>>.- Returns:
- [p_1,...,p_k] with P = prod_{i=1, ..., k} p_i.
-