C
- coefficient typepublic interface WordGroebnerBase<C extends RingElem<C>> extends java.io.Serializable
Modifier and Type | Method and Description |
---|---|
java.util.List<GenWordPolynomial<C>> |
GB(java.util.List<GenWordPolynomial<C>> F)
Groebner base using pairlist class.
|
boolean |
isGB(java.util.List<GenWordPolynomial<C>> F)
Groebner base test.
|
java.util.List<GenWordPolynomial<C>> |
minimalGB(java.util.List<GenWordPolynomial<C>> Gp)
Minimal ordered groebner basis.
|
boolean isGB(java.util.List<GenWordPolynomial<C>> F)
F
- word polynomial list.java.util.List<GenWordPolynomial<C>> GB(java.util.List<GenWordPolynomial<C>> F)
F
- word polynomial list.java.util.List<GenWordPolynomial<C>> minimalGB(java.util.List<GenWordPolynomial<C>> Gp)
Gp
- a Word Groebner base.