Package edu.jas.ufd
Class FactorAlgebraic<C extends GcdRingElem<C>>
- Type Parameters:
C
- coefficient type
- All Implemented Interfaces:
Factorization<AlgebraicNumber<C>>
,Serializable
Algebraic number coefficients factorization algorithms. This class implements
factorization methods for polynomials over algebraic numbers over rational
numbers or over (prime) modular integers.
- See Also:
-
Field Summary
FieldsModifier and TypeFieldDescriptionprivate static final boolean
final 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.FactorAlgebraic
(AlgebraicNumberRing<C> fac, FactorAbstract<C> factorCoeff) Constructor. -
Method Summary
Modifier and TypeMethodDescriptionGenPolynomial base factorization of a squarefree polynomial.GenPolynomial 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, factorsSquarefreeKronecker, factorsSquarefreeOptimize, isFactorization, isFactorization, isIrreducible, isRecursiveFactorization, isReducible, isSquarefree, normalizeFactorization, primitivePart, recursiveFactors, recursiveFactorsSquarefree, removeOnce, squarefreeFactors, squarefreePart
-
Field Details
-
logger
private static final org.apache.logging.log4j.Logger logger -
debug
private static final boolean debug -
factorCoeff
Factorization engine for base coefficients.
-
-
Constructor Details
-
FactorAlgebraic
protected FactorAlgebraic()No argument constructor. Note: can't use this constructor. -
FactorAlgebraic
Constructor.- Parameters:
fac
- algebraic number factory.
-
FactorAlgebraic
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.
-
factorsSquarefree
public List<GenPolynomial<AlgebraicNumber<C>>> factorsSquarefree(GenPolynomial<AlgebraicNumber<C>> P) GenPolynomial factorization of a squarefree polynomial.- Specified by:
factorsSquarefree
in interfaceFactorization<C extends GcdRingElem<C>>
- Overrides:
factorsSquarefree
in classFactorAbstract<AlgebraicNumber<C extends GcdRingElem<C>>>
- Parameters:
P
- squarefree and primitive! (respectively monic) GenPolynomial<AlgebraicNumber<C>>.- Returns:
- [p_1,...,p_k] with P = prod_{i=1, ..., k} p_i.
-