Class WordGroebnerBaseSeq<C extends RingElem<C>>

java.lang.Object

edu.jas.gb.WordGroebnerBaseAbstract<C>

edu.jas.gb.WordGroebnerBaseSeq<C>

Type Parameters:

C - coefficient type

All Implemented Interfaces:

WordGroebnerBase<C>, Serializable

public class WordGroebnerBaseSeq<C extends RingElem<C>>
extends WordGroebnerBaseAbstract<C>

Non-commutative word Groebner Base sequential algorithm. Implements Groebner bases and GB test. Run-time for GB computation is limited to 20 seconds. To change this limit use

  wbb.timestatus.setLimit(newLimit);

or decativate it for infinite running time

  wbb.timestatus.setNotActive();

See Also:

• Serialized Form

Field Summary

Fields

Modifier and Type	Field	Description
private static final boolean	debug
private static final org.apache.logging.log4j.Logger	logger
final LocalTimeStatus	timestatus

Fields inherited from class WordGroebnerBaseAbstract

red, strategy

Constructor Summary

Constructors

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

Method Summary

Modifier and Type	Method	Description
List<GenWordPolynomial<C>>	GB(List<GenWordPolynomial<C>> F)	Word Groebner base using word pairlist class.

Methods inherited from class WordGroebnerBaseAbstract

cancel, commonZeroTest, isGB, isMinimalGB, minimalGB, normalizeZerosOnes, terminate, toString, univariateDegrees

Methods inherited from class Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Field Details

logger

private static final org.apache.logging.log4j.Logger logger

debug

private static final boolean debug

timestatus

public final LocalTimeStatus timestatus

Constructor Details

WordGroebnerBaseSeq

public WordGroebnerBaseSeq()

Constructor.

WordGroebnerBaseSeq

public WordGroebnerBaseSeq(WordReduction<C> red)

Constructor.

Parameters:

red - Reduction engine

WordGroebnerBaseSeq

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

Constructor.

Parameters:

red - Reduction engine

pl - pair selection strategy

Method Details

GB

public List<GenWordPolynomial<C>> GB(List<GenWordPolynomial<C>> F)

Word Groebner base using word pairlist class.

Specified by:

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

Specified by:

GB in class WordGroebnerBaseAbstract<C extends RingElem<C>>

Parameters:

F - word polynomial list.

Returns:

GB(F) a finite non-commutative Groebner base of F, if it exists.