Package edu.jas.ufd
Class SquarefreeRingChar0<C extends GcdRingElem<C>>
java.lang.Object
edu.jas.ufd.SquarefreeAbstract<C>
edu.jas.ufd.SquarefreeRingChar0<C>
- All Implemented Interfaces:
Squarefree<C>
,Serializable
Squarefree decomposition for coefficient rings of characteristic 0.
- See Also:
-
Field Summary
FieldsModifier and TypeFieldDescriptionprotected final RingFactory
<C> Factory for ring 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.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, 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 ring of characteristic 0 coefficients.
-
-
Constructor Details
-
SquarefreeRingChar0
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(pp(P)).
-
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).
-
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(P).
-
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.
-