public class SquarefreeInfiniteFieldCharP<C extends GcdRingElem<C>> extends SquarefreeFieldCharP<Quotient<C>>
Modifier and Type | Field and Description |
---|---|
protected SquarefreeAbstract<C> |
qengine
Squarefree engine for infinite ring of characteristic p base coefficients.
|
aCoFac, coFac, qCoFac
engine
Constructor and Description |
---|
SquarefreeInfiniteFieldCharP(RingFactory<Quotient<C>> fac)
Constructor.
|
Modifier and Type | Method and Description |
---|---|
GenPolynomial<Quotient<C>> |
baseRootCharacteristic(GenPolynomial<Quotient<C>> P)
GenPolynomial char-th root univariate polynomial.
|
GenPolynomial<GenPolynomial<Quotient<C>>> |
recursiveUnivariateRootCharacteristic(GenPolynomial<GenPolynomial<Quotient<C>>> P)
GenPolynomial char-th root univariate polynomial with polynomial
coefficients.
|
GenPolynomial<Quotient<C>> |
rootCharacteristic(GenPolynomial<Quotient<C>> P)
GenPolynomial char-th root main variable.
|
java.util.SortedMap<Quotient<C>,java.lang.Long> |
rootCharacteristic(Quotient<C> P)
Characteristics root of a Quotient.
|
java.util.SortedMap<Quotient<C>,java.lang.Long> |
squarefreeFactors(Quotient<C> P)
Squarefree factors of a Quotient.
|
baseSquarefreeFactors, baseSquarefreePart, isCharRoot, isRecursiveCharRoot, isRecursiveCharRoot, recursiveUnivariateSquarefreeFactors, recursiveUnivariateSquarefreePart, squarefreeFactors, squarefreePart, toString
basePartialFraction, coPrimeSquarefree, coPrimeSquarefree, factorCount, isBasePartialFraction, isCoPrimeSquarefree, isFactorization, isFactorization, isRecursiveFactorization, isRecursiveSquarefree, isSquarefree, isSquarefree, normalizeFactorization, recursiveSquarefreeFactors, recursiveSquarefreePart, squarefreePart
protected final SquarefreeAbstract<C extends GcdRingElem<C>> qengine
public SquarefreeInfiniteFieldCharP(RingFactory<Quotient<C>> fac)
public java.util.SortedMap<Quotient<C>,java.lang.Long> squarefreeFactors(Quotient<C> P)
squarefreeFactors
in class SquarefreeFieldCharP<Quotient<C extends GcdRingElem<C>>>
P
- Quotient.public java.util.SortedMap<Quotient<C>,java.lang.Long> rootCharacteristic(Quotient<C> P)
P
- Quotient.public GenPolynomial<Quotient<C>> rootCharacteristic(GenPolynomial<Quotient<C>> P)
P
- univariate GenPolynomial with Quotient coefficients.public GenPolynomial<Quotient<C>> baseRootCharacteristic(GenPolynomial<Quotient<C>> P)
baseRootCharacteristic
in class SquarefreeFieldCharP<Quotient<C extends GcdRingElem<C>>>
P
- GenPolynomial.public GenPolynomial<GenPolynomial<Quotient<C>>> recursiveUnivariateRootCharacteristic(GenPolynomial<GenPolynomial<Quotient<C>>> P)
recursiveUnivariateRootCharacteristic
in class SquarefreeFieldCharP<Quotient<C extends GcdRingElem<C>>>
P
- recursive univariate GenPolynomial.