C
- coefficient typepublic abstract class WordGroebnerBaseAbstract<C extends RingElem<C>> extends java.lang.Object implements WordGroebnerBase<C>
Modifier and Type | Field and Description |
---|---|
WordReduction<C> |
red
Reduction engine.
|
WordPairList<C> |
strategy
Strategy for pair selection.
|
Constructor and Description |
---|
WordGroebnerBaseAbstract()
Constructor.
|
WordGroebnerBaseAbstract(WordReduction<C> red)
Constructor.
|
WordGroebnerBaseAbstract(WordReduction<C> red,
WordPairList<C> pl)
Constructor.
|
Modifier and Type | Method and Description |
---|---|
int |
cancel()
Cancel ThreadPool.
|
abstract 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)
Word Groebner base test.
|
boolean |
isMinimalGB(java.util.List<GenWordPolynomial<C>> Gp)
Test for minimal ordered Groebner basis.
|
java.util.List<GenWordPolynomial<C>> |
minimalGB(java.util.List<GenWordPolynomial<C>> Gp)
Minimal ordered Groebner basis.
|
void |
terminate()
Cleanup and terminate ThreadPool.
|
public final WordReduction<C extends RingElem<C>> red
public final WordPairList<C extends RingElem<C>> strategy
public WordGroebnerBaseAbstract()
public WordGroebnerBaseAbstract(WordReduction<C> red)
red
- Word Reduction enginepublic WordGroebnerBaseAbstract(WordReduction<C> red, WordPairList<C> pl)
red
- Word Reduction enginepl
- Word pair selection strategypublic boolean isGB(java.util.List<GenWordPolynomial<C>> F)
isGB
in interface WordGroebnerBase<C extends RingElem<C>>
F
- Word polynomial list.public abstract java.util.List<GenWordPolynomial<C>> GB(java.util.List<GenWordPolynomial<C>> F)
GB
in interface WordGroebnerBase<C extends RingElem<C>>
F
- polynomial list.public java.util.List<GenWordPolynomial<C>> minimalGB(java.util.List<GenWordPolynomial<C>> Gp)
minimalGB
in interface WordGroebnerBase<C extends RingElem<C>>
Gp
- a Groebner base.public boolean isMinimalGB(java.util.List<GenWordPolynomial<C>> Gp)
Gp
- an ideal base.public void terminate()
public int cancel()