C
- coefficient typepublic interface CharacteristicSet<C extends GcdRingElem<C>> extends java.io.Serializable
Modifier and Type | Method and Description |
---|---|
java.util.List<GenPolynomial<C>> |
characteristicSet(java.util.List<GenPolynomial<C>> A)
Characteristic set.
|
GenPolynomial<C> |
characteristicSetReduction(java.util.List<GenPolynomial<C>> A,
GenPolynomial<C> P)
Characteristic set reduction.
|
boolean |
isCharacteristicSet(java.util.List<GenPolynomial<C>> A)
Characteristic set test.
|
java.util.List<GenPolynomial<C>> characteristicSet(java.util.List<GenPolynomial<C>> A)
A
- list of generic polynomials.boolean isCharacteristicSet(java.util.List<GenPolynomial<C>> A)
A
- list of generic polynomials.GenPolynomial<C> characteristicSetReduction(java.util.List<GenPolynomial<C>> A, GenPolynomial<C> P)
P
- generic polynomial.A
- list of generic polynomials as characteristic set.