Package edu.jas.ufd
Class SquarefreeFieldChar0<C extends GcdRingElem<C>>
java.lang.Object
edu.jas.ufd.SquarefreeAbstract<C>
edu.jas.ufd.SquarefreeFieldChar0<C>
- All Implemented Interfaces:
Squarefree<C>
,Serializable
- Direct Known Subclasses:
SquarefreeFieldChar0Yun
Squarefree decomposition for coefficient fields of characteristic 0.
- See Also:
-
Field Summary
FieldsModifier and TypeFieldDescriptionprotected final RingFactory
<C> Factory for field of characteristic 0 coefficients.private static final boolean
private static final org.apache.logging.log4j.Logger
Fields inherited from class edu.jas.ufd.SquarefreeAbstract
engine
-
Constructor Summary
Constructors -
Method Summary
Modifier and TypeMethodDescriptionGenPolynomial polynomial squarefree factorization.GenPolynomial polynomial greatest squarefree divisor.boolean
GenPolynomial test if is squarefree.boolean
GenPolynomial test if is squarefree.boolean
GenPolynomial test if is squarefree.GenPolynomial recursive univariate polynomial squarefree factorization.GenPolynomial recursive univariate polynomial greatest squarefree divisor.Coefficients squarefree factorization.GenPolynomial squarefree factorization.GenPolynomial greatest squarefree divisor.toString()
Get the String representation.Methods inherited from class edu.jas.ufd.SquarefreeAbstract
basePartialFraction, coPrimeSquarefree, coPrimeSquarefree, factorCount, isBasePartialFraction, isCoPrimeSquarefree, isFactorization, isFactorization, isRecursiveFactorization, isRecursiveSquarefree, isSquarefree, isSquarefreeAlternative, normalizeFactorization, recursiveSquarefreeFactors, recursiveSquarefreePart, squarefreePart
-
Field Details
-
logger
private static final org.apache.logging.log4j.Logger logger -
debug
private static final boolean debug -
coFac
Factory for field of characteristic 0 coefficients.
-
-
Constructor Details
-
SquarefreeFieldChar0
Constructor.
-
-
Method Details
-
toString
Get the String representation. -
baseSquarefreePart
GenPolynomial polynomial greatest squarefree divisor.- Specified by:
baseSquarefreePart
in classSquarefreeAbstract<C extends GcdRingElem<C>>
- Parameters:
P
- GenPolynomial.- Returns:
- squarefree(P).
-
isBaseSquarefree
GenPolynomial test if is squarefree.- Parameters:
P
- GenPolynomial.- Returns:
- true if P is squarefree, else false.
-
baseSquarefreeFactors
GenPolynomial polynomial squarefree factorization.- Specified by:
baseSquarefreeFactors
in classSquarefreeAbstract<C extends GcdRingElem<C>>
- Parameters:
A
- GenPolynomial.- Returns:
- [p_1 -> e_1, ..., p_k -> e_k] with A = prod_{i=1,...,k} p_i^{e_i} and p_i squarefree and gcd(p_i, p_j) = 1, for i != j.
-
recursiveUnivariateSquarefreePart
public GenPolynomial<GenPolynomial<C>> recursiveUnivariateSquarefreePart(GenPolynomial<GenPolynomial<C>> P) GenPolynomial recursive univariate polynomial greatest squarefree divisor.- Specified by:
recursiveUnivariateSquarefreePart
in classSquarefreeAbstract<C extends GcdRingElem<C>>
- Parameters:
P
- recursive univariate GenPolynomial.- Returns:
- squarefree(P).
-
isRecursiveUnivariateSquarefree
GenPolynomial test if is squarefree.- Parameters:
P
- GenPolynomial.- Returns:
- true if P is squarefree, else false.
-
recursiveUnivariateSquarefreeFactors
public SortedMap<GenPolynomial<GenPolynomial<C>>,Long> recursiveUnivariateSquarefreeFactors(GenPolynomial<GenPolynomial<C>> P) GenPolynomial recursive univariate polynomial squarefree factorization.- Specified by:
recursiveUnivariateSquarefreeFactors
in classSquarefreeAbstract<C extends GcdRingElem<C>>
- Parameters:
P
- recursive univariate GenPolynomial.- Returns:
- [p_1 -> e_1, ..., p_k -> e_k] with P = prod_{i=1,...,k} p_i^{e_i} and p_i squarefree and gcd(p_i, p_j) = 1, for i != j.
-
squarefreePart
GenPolynomial greatest squarefree divisor.- Specified by:
squarefreePart
in interfaceSquarefree<C extends GcdRingElem<C>>
- Specified by:
squarefreePart
in classSquarefreeAbstract<C extends GcdRingElem<C>>
- Parameters:
P
- GenPolynomial.- Returns:
- squarefree(pp(P)).
-
isSquarefree
GenPolynomial test if is squarefree.- Specified by:
isSquarefree
in interfaceSquarefree<C extends GcdRingElem<C>>
- Overrides:
isSquarefree
in classSquarefreeAbstract<C extends GcdRingElem<C>>
- Parameters:
P
- GenPolynomial.- Returns:
- true if P is squarefree, else false.
-
squarefreeFactors
GenPolynomial squarefree factorization.- Specified by:
squarefreeFactors
in interfaceSquarefree<C extends GcdRingElem<C>>
- Specified by:
squarefreeFactors
in classSquarefreeAbstract<C extends GcdRingElem<C>>
- Parameters:
P
- GenPolynomial.- Returns:
- [p_1 -> e_1, ..., p_k -> e_k] with P = prod_{i=1,...,k} p_i^{e_i} and p_i squarefree and gcd(p_i, p_j) = 1, for i != j.
-
squarefreeFactors
Coefficients squarefree factorization.- Specified by:
squarefreeFactors
in classSquarefreeAbstract<C extends GcdRingElem<C>>
- Parameters:
P
- coefficient.- Returns:
- [p_1 -> e_1, ..., p_k -> e_k] with P = prod_{i=1,...,k} p_i^{e_i} and p_i squarefree and gcd(p_i, p_j) = 1, for i != j.
-