Package edu.jas.application
Class FactorAlgebraicPrim<C extends GcdRingElem<C>>
- java.lang.Object
-
- edu.jas.ufd.FactorAbstract<C>
-
- edu.jas.ufd.FactorAbsolute<AlgebraicNumber<C>>
-
- edu.jas.application.FactorAlgebraicPrim<C>
-
- Type Parameters:
C
- coefficient type
- All Implemented Interfaces:
Factorization<AlgebraicNumber<C>>
,java.io.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.- Author:
- Heinz Kredel
- See Also:
- Serialized Form
-
-
Field Summary
Fields Modifier and Type Field Description FactorAbstract<C>
factorCoeff
Factorization engine for base coefficients.-
Fields inherited from class edu.jas.ufd.FactorAbstract
engine, sengine
-
-
Constructor Summary
Constructors Modifier Constructor Description protected
FactorAlgebraicPrim()
No argument constructor.FactorAlgebraicPrim(AlgebraicNumberRing<C> fac)
Constructor.FactorAlgebraicPrim(AlgebraicNumberRing<C> fac, FactorAbstract<C> factorCoeff)
Constructor.
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description java.util.List<GenPolynomial<AlgebraicNumber<C>>>
baseFactorsSquarefree(GenPolynomial<AlgebraicNumber<C>> P)
GenPolynomial 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 Detail
-
factorCoeff
public final FactorAbstract<C extends GcdRingElem<C>> factorCoeff
Factorization engine for base coefficients.
-
-
Constructor Detail
-
FactorAlgebraicPrim
protected FactorAlgebraicPrim()
No argument constructor. Note: can't use this constructor.
-
FactorAlgebraicPrim
public FactorAlgebraicPrim(AlgebraicNumberRing<C> fac)
Constructor.- Parameters:
fac
- algebraic number factory.
-
FactorAlgebraicPrim
public FactorAlgebraicPrim(AlgebraicNumberRing<C> fac, FactorAbstract<C> factorCoeff)
Constructor.- Parameters:
fac
- algebraic number factory.factorCoeff
- factorization engine for polynomials over base coefficients.
-
-
Method Detail
-
baseFactorsSquarefree
public java.util.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.
-
-