WordGroebnerBaseSeq

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>
```
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();
 
```
Author:

Heinz Kredel

See Also:

Serialized Form

Field Summary

Fields
Modifier and Type Field Description

LocalTimeStatus timestatus
- Fields inherited from class edu.jas.gb.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

All Methods Instance Methods Concrete Methods
Modifier and Type	Method	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, commonZeroTest, isGB, isMinimalGB, minimalGB, normalizeZerosOnes, terminate, toString, univariateDegrees

Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

- Field Detail
  - timestatus
```
public final LocalTimeStatus timestatus
```
- 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.