edu.jas.gbmod
Interface ModGroebnerBase<C extends RingElem<C>>

All Known Implementing Classes:

ModGroebnerBaseAbstract

public interface ModGroebnerBase<C extends RingElem<C>>

Module Groebner Bases interface. Defines Groebner bases and GB test.

Author:

Heinz Kredel

Method Summary

java.util.List<GenPolynomial<C>>	GB(int modv, java.util.List<GenPolynomial<C>> F) Groebner base using pairlist class.
ModuleList<C>	GB(ModuleList<C> M) GB.
boolean	isGB(int modv, java.util.List<GenPolynomial<C>> F) Module Groebner base test.
boolean	isGB(ModuleList<C> M) isGB.

Method Detail

isGB

boolean isGB(int modv,
             java.util.List<GenPolynomial<C>> F)

Module Groebner base test.

isGB

boolean isGB(ModuleList<C> M)

isGB.

Parameters:

M - a module basis.

Returns:

true, if M is a Groebner base, else false.

GB

java.util.List<GenPolynomial<C>> GB(int modv,
                                    java.util.List<GenPolynomial<C>> F)

Groebner base using pairlist class.

GB

ModuleList<C> GB(ModuleList<C> M)

GB.

Parameters:

M - a module basis.

Returns:

GB(M), a Groebner base of M.