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.

Author:

Heinz Kredel

Field Summary

protected SolvableGroebnerBase<C>

sbb Used Solvable Groebner base algorithm.

Constructor Summary

ModSolvableGroebnerBaseAbstract()
Constructor.

Method Summary

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

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

Field Detail

sbb

protected final SolvableGroebnerBase<C extends RingElem<C>> sbb

Used Solvable Groebner base algorithm.

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.