edu.jas.gbmod

Class ModSolvableGroebnerBaseAbstract<C extends RingElem<C>>

java.lang.Object

edu.jas.gbmod.ModSolvableGroebnerBaseAbstract<C>

Type Parameters:

C - coefficient type

All Implemented Interfaces:

ModSolvableGroebnerBase<C>

public class ModSolvableGroebnerBaseAbstract<C extends RingElem<C>>
extends java.lang.Object
implements ModSolvableGroebnerBase<C>

Module solvable Groebner Bases class. Implements module solvable Groebner bases and GB test.

Constructor Summary

Constructors

Constructor and Description
ModSolvableGroebnerBaseAbstract() Constructor.

Method Summary

Modifier and Type	Method and Description
boolean	isLeftGB(int modv, java.util.List<GenSolvablePolynomial<C>> F) Module left Groebner base test.
boolean	isLeftGB(ModuleList<C> M) Module left Groebner base test.
boolean	isRightGB(int modv, java.util.List<GenSolvablePolynomial<C>> F) Module right Groebner base test.
boolean	isRightGB(ModuleList<C> M) Module right Groebner base test.
boolean	isTwosidedGB(int modv, java.util.List<GenSolvablePolynomial<C>> F) Module twosided Groebner base test.
boolean	isTwosidedGB(ModuleList<C> M) Module twosided Groebner base test.
java.util.List<GenSolvablePolynomial<C>>	leftGB(int modv, java.util.List<GenSolvablePolynomial<C>> F) Left Groebner base using pairlist class.
ModuleList<C>	leftGB(ModuleList<C> M) Left Groebner base using pairlist class.
java.util.List<GenSolvablePolynomial<C>>	rightGB(int modv, java.util.List<GenSolvablePolynomial<C>> F) Right Groebner base using pairlist class.
ModuleList<C>	rightGB(ModuleList<C> M) Right Groebner base using pairlist class.
java.util.List<GenSolvablePolynomial<C>>	twosidedGB(int modv, java.util.List<GenSolvablePolynomial<C>> F) Twosided Groebner base using pairlist class.
ModuleList<C>	twosidedGB(ModuleList<C> M) Twosided Groebner base using pairlist class.

Methods inherited from class java.lang.Object

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

Constructor Detail

ModSolvableGroebnerBaseAbstract

public ModSolvableGroebnerBaseAbstract()

Constructor.

Method Detail

isLeftGB

public boolean isLeftGB(int modv,
                        java.util.List<GenSolvablePolynomial<C>> F)

Module left Groebner base test.

Specified by:

isLeftGB in interface ModSolvableGroebnerBase<C extends RingElem<C>>

Parameters:

modv - number of modul variables.

F - a module basis.

Returns:

true, if F is a left Groebner base, else false.

isLeftGB

public boolean isLeftGB(ModuleList<C> M)

Module left Groebner base test.

Specified by:

isLeftGB in interface ModSolvableGroebnerBase<C extends RingElem<C>>

Parameters:

M - a module basis.

Returns:

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

leftGB

public java.util.List<GenSolvablePolynomial<C>> leftGB(int modv,
                                                       java.util.List<GenSolvablePolynomial<C>> F)

Left Groebner base using pairlist class.

Specified by:

leftGB in interface ModSolvableGroebnerBase<C extends RingElem<C>>

Parameters:

modv - number of modul variables.

F - a module basis.

Returns:

leftGB(F) a left Groebner base for F.

leftGB

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

Left Groebner base using pairlist class.

Specified by:

leftGB in interface ModSolvableGroebnerBase<C extends RingElem<C>>

Parameters:

M - a module basis.

Returns:

leftGB(M) a left Groebner base for M.

isTwosidedGB

public boolean isTwosidedGB(int modv,
                            java.util.List<GenSolvablePolynomial<C>> F)

Module twosided Groebner base test.

Specified by:

isTwosidedGB in interface ModSolvableGroebnerBase<C extends RingElem<C>>

Parameters:

modv - number of modul variables.

F - a module basis.

Returns:

true, if F is a twosided Groebner base, else false.

isTwosidedGB

public boolean isTwosidedGB(ModuleList<C> M)

Module twosided Groebner base test.

Specified by:

isTwosidedGB in interface ModSolvableGroebnerBase<C extends RingElem<C>>

Parameters:

M - a module basis.

Returns:

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

twosidedGB

public java.util.List<GenSolvablePolynomial<C>> twosidedGB(int modv,
                                                           java.util.List<GenSolvablePolynomial<C>> F)

Twosided Groebner base using pairlist class.

Specified by:

twosidedGB in interface ModSolvableGroebnerBase<C extends RingElem<C>>

Parameters:

modv - number of modul variables.

F - a module basis.

Returns:

tsGB(F) a twosided Groebner base for F.

twosidedGB

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

Twosided Groebner base using pairlist class.

Specified by:

twosidedGB in interface ModSolvableGroebnerBase<C extends RingElem<C>>

Parameters:

M - a module basis.

Returns:

tsGB(M) a twosided Groebner base for M.

isRightGB

public boolean isRightGB(int modv,
                         java.util.List<GenSolvablePolynomial<C>> F)

Module right Groebner base test.

Specified by:

isRightGB in interface ModSolvableGroebnerBase<C extends RingElem<C>>

Parameters:

modv - number of modul variables.

F - a module basis.

Returns:

true, if F is a right Groebner base, else false.

isRightGB

public boolean isRightGB(ModuleList<C> M)

Module right Groebner base test.

Specified by:

isRightGB in interface ModSolvableGroebnerBase<C extends RingElem<C>>

Parameters:

M - a module basis.

Returns:

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

rightGB

public java.util.List<GenSolvablePolynomial<C>> rightGB(int modv,
                                                        java.util.List<GenSolvablePolynomial<C>> F)

Right Groebner base using pairlist class.

Specified by:

rightGB in interface ModSolvableGroebnerBase<C extends RingElem<C>>

Parameters:

modv - number of modul variables.

F - a module basis.

Returns:

rightGB(F) a right Groebner base for F.

rightGB

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

Right Groebner base using pairlist class.

Specified by:

rightGB in interface ModSolvableGroebnerBase<C extends RingElem<C>>

Parameters:

M - a module basis.

Returns:

rightGB(M) a right Groebner base for M.