Package edu.jas.ufd
Class SquarefreeInfiniteFieldCharP<C extends GcdRingElem<C>>
- All Implemented Interfaces:
Squarefree<Quotient<C>>
,Serializable
public class SquarefreeInfiniteFieldCharP<C extends GcdRingElem<C>>
extends SquarefreeFieldCharP<Quotient<C>>
Squarefree decomposition for infinite coefficient fields of characteristic p.
- See Also:
-
Field Summary
FieldsModifier and TypeFieldDescriptionprivate static final org.apache.logging.log4j.Logger
protected final SquarefreeAbstract
<C> Squarefree engine for infinite ring of characteristic p base coefficients.Fields inherited from class edu.jas.ufd.SquarefreeFieldCharP
aCoFac, coFac, qCoFac
Fields inherited from class edu.jas.ufd.SquarefreeAbstract
engine
-
Constructor Summary
Constructors -
Method Summary
Modifier and TypeMethodDescriptionGenPolynomial char-th root univariate polynomial.GenPolynomial char-th root univariate polynomial with polynomial coefficients.GenPolynomial char-th root main variable.Characteristics root of a Quotient.Squarefree factors of a Quotient.Methods inherited from class edu.jas.ufd.SquarefreeFieldCharP
baseSquarefreeFactors, baseSquarefreePart, isCharRoot, isRecursiveCharRoot, isRecursiveCharRoot, recursiveUnivariateSquarefreeFactors, recursiveUnivariateSquarefreePart, squarefreeFactors, squarefreePart, toString
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 -
qengine
Squarefree engine for infinite ring of characteristic p base coefficients.
-
-
Constructor Details
-
SquarefreeInfiniteFieldCharP
Constructor.
-
-
Method Details
-
squarefreeFactors
Squarefree factors of a Quotient.- Overrides:
squarefreeFactors
in classSquarefreeFieldCharP<Quotient<C extends GcdRingElem<C>>>
- Parameters:
P
- Quotient.- 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.
-
rootCharacteristic
Characteristics root of a Quotient.- Parameters:
P
- Quotient.- Returns:
- [p -> k] if exists k with e=characteristic(P)*k and P = p**e, else null.
-
rootCharacteristic
GenPolynomial char-th root main variable.- Parameters:
P
- univariate GenPolynomial with Quotient coefficients.- Returns:
- char-th_rootOf(P), or null, if P is no char-th root.
-
baseRootCharacteristic
GenPolynomial char-th root univariate polynomial.- Specified by:
baseRootCharacteristic
in classSquarefreeFieldCharP<Quotient<C extends GcdRingElem<C>>>
- Parameters:
P
- GenPolynomial.- Returns:
- char-th_rootOf(P).
-
recursiveUnivariateRootCharacteristic
public GenPolynomial<GenPolynomial<Quotient<C>>> recursiveUnivariateRootCharacteristic(GenPolynomial<GenPolynomial<Quotient<C>>> P) GenPolynomial char-th root univariate polynomial with polynomial coefficients.- Specified by:
recursiveUnivariateRootCharacteristic
in classSquarefreeFieldCharP<Quotient<C extends GcdRingElem<C>>>
- Parameters:
P
- recursive univariate GenPolynomial.- Returns:
- char-th_rootOf(P), or null if P is no char-th root.
-