edu.jas.gb

Interface WordGroebnerBase<C extends RingElem<C>>

Type Parameters:

C - coefficient type

All Superinterfaces:

java.io.Serializable

All Known Implementing Classes:

WordGroebnerBaseAbstract, 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.

Method Summary

Modifier and Type	Method and 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.