edu.jas.gbmod
Class ModGroebnerBaseAbstract<C extends GcdRingElem<C>>

java.lang.Object
  edu.jas.gbmod.ModGroebnerBaseAbstract<C>

All Implemented Interfaces:

ModGroebnerBase<C>

public class ModGroebnerBaseAbstract<C extends GcdRingElem<C>>
extends java.lang.Object
implements ModGroebnerBase<C>

Module Groebner Bases abstract class. Implements Groebner bases and GB test.

Author:

Heinz Kredel

Field Summary

protected GroebnerBase<C>

bb Used Groebner base algorithm.

Constructor Summary

ModGroebnerBaseAbstract()
Constructor.

ModGroebnerBaseAbstract(RingFactory<C> cf)
Constructor.

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.

Methods inherited from class java.lang.Object

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

Field Detail

bb

protected final GroebnerBase<C extends GcdRingElem<C>> bb

Used Groebner base algorithm.

Constructor Detail

ModGroebnerBaseAbstract

public ModGroebnerBaseAbstract()

Constructor.

ModGroebnerBaseAbstract

public ModGroebnerBaseAbstract(RingFactory<C> cf)

Constructor.

Method Detail

isGB

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

Module Groebner base test.

Specified by:

isGB in interface ModGroebnerBase<C extends GcdRingElem<C>>

isGB

public boolean isGB(ModuleList<C> M)

isGB.

Specified by:

isGB in interface ModGroebnerBase<C extends GcdRingElem<C>>

Parameters:

M - a module basis.

Returns:

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

GB

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

Groebner base using pairlist class.

Specified by:

GB in interface ModGroebnerBase<C extends GcdRingElem<C>>

GB

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

GB.

Specified by:

GB in interface ModGroebnerBase<C extends GcdRingElem<C>>

Parameters:

M - a module basis.

Returns:

GB(M), a Groebner base of M.