public abstract class SquarefreeFieldCharP<C extends GcdRingElem<C>> extends SquarefreeAbstract<C>
Modifier and Type | Field and Description |
---|---|
protected AlgebraicNumberRing<C> |
aCoFac
Factory for a algebraic extension of a finite field of characteristic p
coefficients.
|
protected RingFactory<C> |
coFac
Factory for finite field of characteristic p coefficients.
|
protected QuotientRing<C> |
qCoFac
Factory for a transcendental extension of a finite field of
characteristic p coefficients.
|
engine
Constructor and Description |
---|
SquarefreeFieldCharP(RingFactory<C> fac)
Constructor.
|
Modifier and Type | Method and Description |
---|---|
abstract GenPolynomial<C> |
baseRootCharacteristic(GenPolynomial<C> P)
GenPolynomial char-th root univariate polynomial.
|
java.util.SortedMap<GenPolynomial<C>,java.lang.Long> |
baseSquarefreeFactors(GenPolynomial<C> A)
GenPolynomial polynomial squarefree factorization.
|
GenPolynomial<C> |
baseSquarefreePart(GenPolynomial<C> P)
GenPolynomial polynomial greatest squarefree divisor.
|
boolean |
isCharRoot(GenPolynomial<C> P,
java.util.SortedMap<GenPolynomial<C>,java.lang.Long> F)
Polynomial is char-th root.
|
boolean |
isRecursiveCharRoot(GenPolynomial<GenPolynomial<C>> P,
GenPolynomial<GenPolynomial<C>> r)
Recursive polynomial is char-th root.
|
boolean |
isRecursiveCharRoot(GenPolynomial<GenPolynomial<C>> P,
java.util.SortedMap<GenPolynomial<GenPolynomial<C>>,java.lang.Long> F)
Recursive polynomial is char-th root.
|
abstract GenPolynomial<GenPolynomial<C>> |
recursiveUnivariateRootCharacteristic(GenPolynomial<GenPolynomial<C>> P)
GenPolynomial char-th root univariate polynomial with polynomial
coefficients.
|
java.util.SortedMap<GenPolynomial<GenPolynomial<C>>,java.lang.Long> |
recursiveUnivariateSquarefreeFactors(GenPolynomial<GenPolynomial<C>> P)
GenPolynomial recursive univariate polynomial squarefree factorization.
|
GenPolynomial<GenPolynomial<C>> |
recursiveUnivariateSquarefreePart(GenPolynomial<GenPolynomial<C>> P)
GenPolynomial recursive univariate polynomial greatest squarefree
divisor.
|
java.util.SortedMap<C,java.lang.Long> |
squarefreeFactors(C coeff)
Coefficient squarefree factorization.
|
java.util.SortedMap<GenPolynomial<C>,java.lang.Long> |
squarefreeFactors(GenPolynomial<C> P)
GenPolynomial squarefree factorization.
|
GenPolynomial<C> |
squarefreePart(GenPolynomial<C> P)
GenPolynomial greatest squarefree divisor.
|
java.lang.String |
toString()
Get the String representation.
|
basePartialFraction, coPrimeSquarefree, coPrimeSquarefree, factorCount, isBasePartialFraction, isCoPrimeSquarefree, isFactorization, isFactorization, isRecursiveFactorization, isRecursiveSquarefree, isSquarefree, isSquarefree, normalizeFactorization, recursiveSquarefreeFactors, recursiveSquarefreePart, squarefreePart
protected final RingFactory<C extends GcdRingElem<C>> coFac
protected final AlgebraicNumberRing<C extends GcdRingElem<C>> aCoFac
coFac
is an algebraic extension, then
aCoFac
is equal to coFac
, else
aCoFac
is null
.protected final QuotientRing<C extends GcdRingElem<C>> qCoFac
coFac
is an transcendental
extension, then qCoFac
is equal to coFac
, else
qCoFac
is null
.public SquarefreeFieldCharP(RingFactory<C> fac)
public java.lang.String toString()
toString
in class java.lang.Object
Object.toString()
public GenPolynomial<C> baseSquarefreePart(GenPolynomial<C> P)
baseSquarefreePart
in class SquarefreeAbstract<C extends GcdRingElem<C>>
P
- GenPolynomial.public java.util.SortedMap<GenPolynomial<C>,java.lang.Long> baseSquarefreeFactors(GenPolynomial<C> A)
baseSquarefreeFactors
in class SquarefreeAbstract<C extends GcdRingElem<C>>
A
- GenPolynomial.public GenPolynomial<GenPolynomial<C>> recursiveUnivariateSquarefreePart(GenPolynomial<GenPolynomial<C>> P)
recursiveUnivariateSquarefreePart
in class SquarefreeAbstract<C extends GcdRingElem<C>>
P
- recursive univariate GenPolynomial.public java.util.SortedMap<GenPolynomial<GenPolynomial<C>>,java.lang.Long> recursiveUnivariateSquarefreeFactors(GenPolynomial<GenPolynomial<C>> P)
recursiveUnivariateSquarefreeFactors
in class SquarefreeAbstract<C extends GcdRingElem<C>>
P
- recursive univariate GenPolynomial.public GenPolynomial<C> squarefreePart(GenPolynomial<C> P)
squarefreePart
in interface Squarefree<C extends GcdRingElem<C>>
squarefreePart
in class SquarefreeAbstract<C extends GcdRingElem<C>>
P
- GenPolynomial.public java.util.SortedMap<GenPolynomial<C>,java.lang.Long> squarefreeFactors(GenPolynomial<C> P)
squarefreeFactors
in interface Squarefree<C extends GcdRingElem<C>>
squarefreeFactors
in class SquarefreeAbstract<C extends GcdRingElem<C>>
P
- GenPolynomial.public java.util.SortedMap<C,java.lang.Long> squarefreeFactors(C coeff)
squarefreeFactors
in class SquarefreeAbstract<C extends GcdRingElem<C>>
coeff
- coefficient.public abstract GenPolynomial<C> baseRootCharacteristic(GenPolynomial<C> P)
P
- GenPolynomial.public abstract GenPolynomial<GenPolynomial<C>> recursiveUnivariateRootCharacteristic(GenPolynomial<GenPolynomial<C>> P)
P
- recursive univariate GenPolynomial.public boolean isCharRoot(GenPolynomial<C> P, java.util.SortedMap<GenPolynomial<C>,java.lang.Long> F)
P
- polynomial.F
- = [p_1 -> e_1, ..., p_k -> e_k].public boolean isRecursiveCharRoot(GenPolynomial<GenPolynomial<C>> P, java.util.SortedMap<GenPolynomial<GenPolynomial<C>>,java.lang.Long> F)
P
- recursive polynomial.F
- = [p_1 -> e_1, ..., p_k -> e_k].public boolean isRecursiveCharRoot(GenPolynomial<GenPolynomial<C>> P, GenPolynomial<GenPolynomial<C>> r)
P
- recursive polynomial.r
- = recursive polynomial.