WordGroebnerBase

Type Parameters:

C - coefficient type

All Superinterfaces:

java.io.Serializable

All Known Implementing Classes:

WordGroebnerBaseAbstract, WordGroebnerBasePseudoRecSeq, WordGroebnerBasePseudoSeq, WordGroebnerBaseSeq
```
public interface WordGroebnerBase<C extends RingElem<C>>
extends java.io.Serializable
```
Non-commutative Groebner Bases interface for GenWordPolynomials. Defines methods for Groebner bases and GB test.

Author:

Heinz Kredel

Method Summary

All Methods Instance Methods Abstract Methods
Modifier and Type	Method	Description
`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)`	Groebner base test.
`java.util.List<GenWordPolynomial<C>>`	`minimalGB(java.util.List<GenWordPolynomial<C>> Gp)`	Minimal ordered groebner basis.

- Method Detail
  - isGB
```
boolean isGB(java.util.List<GenWordPolynomial<C>> F)
```
    Groebner base test.
    
    Parameters:
    
    F - word polynomial list.
    
    Returns:
    
    true, if F is a Groebner base, else false.
  - GB
```
java.util.List<GenWordPolynomial<C>> GB(java.util.List<GenWordPolynomial<C>> F)
```
    Groebner base using pairlist class.
    
    Parameters:
    
    F - word polynomial list.
    
    Returns:
    
    GB(F) a non-commutative Groebner base of F.
  - minimalGB
```
java.util.List<GenWordPolynomial<C>> minimalGB(java.util.List<GenWordPolynomial<C>> Gp)
```
    Minimal ordered groebner basis.
    
    Parameters:
    
    Gp - a Word Groebner base.
    
    Returns:
    
    a reduced Word Groebner base of Gp.