Package edu.jas.ufd
Class FactorComplex<C extends GcdRingElem<C>>
- Type Parameters:
C
- coefficient type
- All Implemented Interfaces:
Factorization<Complex<C>>
,Serializable
Complex coefficients factorization algorithms. This class implements
factorization methods for polynomials over Complex numbers via the algebraic
number C(i) over rational numbers or over (prime) modular integers. Note:
Decomposition to linear factors is only via absolute factorization since
Complex are not the analytic complex numbers.
- See Also:
-
Field Summary
FieldsModifier and TypeFieldDescriptionfinal AlgebraicNumberRing
<C> Complex algebraic factory.private static final boolean
final FactorAbstract
<AlgebraicNumber<C>> Factorization engine for algebraic 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.FactorComplex
(ComplexRing<C> fac) Constructor.FactorComplex
(ComplexRing<C> fac, FactorAbstract<AlgebraicNumber<C>> factorAlgeb) Constructor.FactorComplex
(RingFactory<Complex<C>> fac) 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 -
factorAlgeb
Factorization engine for algebraic coefficients. -
afac
Complex algebraic factory.
-
-
Constructor Details
-
FactorComplex
protected FactorComplex()No argument constructor. Note: can't use this constructor. -
FactorComplex
Constructor.- Parameters:
fac
- complex number factory.
-
FactorComplex
Constructor.- Parameters:
fac
- complex number factory.
-
FactorComplex
Constructor.- Parameters:
fac
- complex number factory.factorAlgeb
- factorization engine for polynomials over algebraic coefficients.
-
-
Method Details
-
baseFactorsSquarefree
GenPolynomial base factorization of a squarefree polynomial.- Specified by:
baseFactorsSquarefree
in classFactorAbstract<Complex<C extends GcdRingElem<C>>>
- Parameters:
P
- squarefree GenPolynomial<AlgebraicNumber<C>>.- Returns:
- [p_1,...,p_k] with P = prod_{i=1, ..., k} p_i.
-
factorsSquarefree
GenPolynomial factorization of a squarefree polynomial.- Specified by:
factorsSquarefree
in interfaceFactorization<C extends GcdRingElem<C>>
- Overrides:
factorsSquarefree
in classFactorAbstract<Complex<C extends GcdRingElem<C>>>
- Parameters:
P
- squarefree GenPolynomial<AlgebraicNumber<C>>.- Returns:
- [p_1,...,p_k] with P = prod_{i=1, ..., k} p_i.
-