Package edu.jas.ufd
Class SquarefreeFiniteFieldCharP<C extends GcdRingElem<C>>
java.lang.Object
edu.jas.ufd.SquarefreeAbstract<C>
edu.jas.ufd.SquarefreeFieldCharP<C>
edu.jas.ufd.SquarefreeFiniteFieldCharP<C>
- All Implemented Interfaces:
Squarefree<C>
,Serializable
Squarefree decomposition for finite coefficient fields of characteristic p.
- See Also:
-
Field Summary
FieldsFields 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.Characteristics root of a coefficient.GenPolynomial char-th root univariate polynomial with polynomial coefficients.Characteristics root of a coefficient.Characteristics root of a polynomial.Methods inherited from class edu.jas.ufd.SquarefreeFieldCharP
baseSquarefreeFactors, baseSquarefreePart, isCharRoot, isRecursiveCharRoot, isRecursiveCharRoot, recursiveUnivariateSquarefreeFactors, recursiveUnivariateSquarefreePart, squarefreeFactors, 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
-
-
Constructor Details
-
SquarefreeFiniteFieldCharP
Constructor.
-
-
Method Details
-
rootCharacteristic
Characteristics root of a coefficient. Note: not needed at the moment.- Parameters:
p
- coefficient.- Returns:
- [p -> k] if exists k with e=k*characteristic(c) and c = p**e, else null.
-
coeffRootCharacteristic
Characteristics root of a coefficient.- Parameters:
c
- coefficient.- Returns:
- r with r**p == c, if such an r exists, else null.
-
rootCharacteristic
Characteristics root of a polynomial. Note: call only in recursion.- Parameters:
P
- polynomial.- Returns:
- [p -> k] if exists k with e=k*characteristic(P) and P = p**e, else null.
-
baseRootCharacteristic
GenPolynomial char-th root univariate polynomial. Base coefficient type must be finite field, that is ModInteger or AlgebraicNumber<ModInteger> etc.- Specified by:
baseRootCharacteristic
in classSquarefreeFieldCharP<C extends GcdRingElem<C>>
- Parameters:
P
- GenPolynomial.- Returns:
- char-th_rootOf(P), or null if no char-th root.
-
recursiveUnivariateRootCharacteristic
public GenPolynomial<GenPolynomial<C>> recursiveUnivariateRootCharacteristic(GenPolynomial<GenPolynomial<C>> P) GenPolynomial char-th root univariate polynomial with polynomial coefficients.- Specified by:
recursiveUnivariateRootCharacteristic
in classSquarefreeFieldCharP<C extends GcdRingElem<C>>
- Parameters:
P
- recursive univariate GenPolynomial.- Returns:
- char-th_rootOf(P), or null if P is no char-th root.
-