edu.jas.gb

Class WordGroebnerBaseAbstract<C extends RingElem<C>>

java.lang.Object

edu.jas.gb.WordGroebnerBaseAbstract<C>

Type Parameters:

C - coefficient type

All Implemented Interfaces:

WordGroebnerBase<C>, java.io.Serializable

Direct Known Subclasses:

WordGroebnerBaseSeq

public abstract class WordGroebnerBaseAbstract<C extends RingElem<C>>
extends java.lang.Object
implements WordGroebnerBase<C>

Non-commutative Groebner Bases abstract class. Implements common Groebner bases and GB test methods.

See Also:

Serialized Form

Field Summary

Fields

Modifier and Type	Field and Description
WordReduction<C>	red Reduction engine.
WordPairList<C>	strategy Strategy for pair selection.

Constructor Summary

Constructors

Constructor and Description
WordGroebnerBaseAbstract() Constructor.
WordGroebnerBaseAbstract(WordReduction<C> red) Constructor.
WordGroebnerBaseAbstract(WordReduction<C> red, WordPairList<C> pl) Constructor.

Method Summary

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.

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

red

public final WordReduction<C extends RingElem<C>> red

Reduction engine.

strategy

public final WordPairList<C extends RingElem<C>> strategy

Strategy for pair selection.

Constructor Detail

WordGroebnerBaseAbstract

public WordGroebnerBaseAbstract()

Constructor.

WordGroebnerBaseAbstract

public WordGroebnerBaseAbstract(WordReduction<C> red)

Constructor.

Parameters:

red - Word Reduction engine

WordGroebnerBaseAbstract

public WordGroebnerBaseAbstract(WordReduction<C> red,
                                WordPairList<C> pl)

Constructor.

Parameters:

red - Word Reduction engine

pl - Word pair selection strategy

Method Detail

isGB

public boolean isGB(java.util.List<GenWordPolynomial<C>> F)

Word Groebner base test.

Specified by:

isGB in interface WordGroebnerBase<C extends RingElem<C>>

Parameters:

F - Word polynomial list.

Returns:

true, if F is a Groebner base, else false.

GB

public abstract java.util.List<GenWordPolynomial<C>> GB(java.util.List<GenWordPolynomial<C>> F)

Groebner base using pairlist class.

Specified by:

GB in interface WordGroebnerBase<C extends RingElem<C>>

Parameters:

F - polynomial list.

Returns:

GB(F) a Groebner base of F.

minimalGB

public java.util.List<GenWordPolynomial<C>> minimalGB(java.util.List<GenWordPolynomial<C>> Gp)

Minimal ordered Groebner basis.

Specified by:

minimalGB in interface WordGroebnerBase<C extends RingElem<C>>

Parameters:

Gp - a Groebner base.

Returns:

a reduced Groebner base of Gp.

isMinimalGB

public boolean isMinimalGB(java.util.List<GenWordPolynomial<C>> Gp)

Test for minimal ordered Groebner basis.

Parameters:

Gp - an ideal base.

Returns:

true, if Gp is a reduced minimal Groebner base.

terminate

public void terminate()

Cleanup and terminate ThreadPool.

cancel

public int cancel()

Cancel ThreadPool.