edu.jas.gb

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>, java.io.Serializable

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

Word Groebner Base sequential algorithm. Implements Groebner bases and GB test.

Author:

Heinz Kredel

See Also:

Serialized Form

Field Summary

Fields inherited from class edu.jas.gb.WordGroebnerBaseAbstract

red, strategy

Constructor Summary

Constructors

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

Method Summary

Methods

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

Methods inherited from class edu.jas.gb.WordGroebnerBaseAbstract

cancel, isGB, isMinimalGB, minimalGB, terminate

Methods inherited from class java.lang.Object

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

Constructor Detail

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 Detail

GB

public java.util.List<GenWordPolynomial<C>> GB(java.util.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.