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.

Constructor Summary

Constructors

Constructor and Description
ModGroebnerBaseAbstract() Deprecated.
ModGroebnerBaseAbstract(RingFactory<C> cf) Constructor.

Method Summary

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

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

Constructor Detail

ModGroebnerBaseAbstract

@Deprecated
public ModGroebnerBaseAbstract()

Deprecated.

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.