edu.jas.gbmod

Interface ModSolvableGroebnerBase<C extends RingElem<C>>

Type Parameters:

C - coefficient type

All Superinterfaces:

java.io.Serializable

All Known Implementing Classes:

ModSolvableGroebnerBaseAbstract, ModSolvableGroebnerBasePar, ModSolvableGroebnerBaseSeq

Deprecated.

use respective methods from SolvableGroebnerBase

@Deprecated
public interface ModSolvableGroebnerBase<C extends RingElem<C>>
extends java.io.Serializable

Module solvable Groebner Bases interface. Defines modull solvabe Groebner bases and GB test.

Author:

Heinz Kredel

Method Summary

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

Method Detail

isLeftGB

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

Deprecated.

Module left Groebner base test.

Parameters:

modv - number of modul variables.

F - a module basis.

Returns:

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

isLeftGB

boolean isLeftGB(ModuleList<C> M)

Deprecated.

Module left Groebner base test.

Parameters:

M - a module basis.

Returns:

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

leftGB

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

Deprecated.

Left Groebner base using pairlist class.

Parameters:

modv - number of modul variables.

F - a module basis.

Returns:

leftGB(F) a left Groebner base for F.

leftGB

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

Deprecated.

Left Groebner base using pairlist class.

Parameters:

M - a module basis.

Returns:

leftGB(M) a left Groebner base for M.

isTwosidedGB

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

Deprecated.

Module twosided Groebner base test.

Parameters:

modv - number of modul variables.

F - a module basis.

Returns:

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

isTwosidedGB

boolean isTwosidedGB(ModuleList<C> M)

Deprecated.

Module twosided Groebner base test.

Parameters:

M - a module basis.

Returns:

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

twosidedGB

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

Deprecated.

Twosided Groebner base using pairlist class.

Parameters:

modv - number of modul variables.

F - a module basis.

Returns:

tsGB(F) a twosided Groebner base for F.

twosidedGB

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

Deprecated.

Twosided Groebner base using pairlist class.

Parameters:

M - a module basis.

Returns:

tsGB(M) a twosided Groebner base for M.

isRightGB

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

Deprecated.

Module right Groebner base test.

Parameters:

modv - number of modul variables.

F - a module basis.

Returns:

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

isRightGB

boolean isRightGB(ModuleList<C> M)

Deprecated.

Module right Groebner base test.

Parameters:

M - a module basis.

Returns:

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

rightGB

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

Deprecated.

Right Groebner base using pairlist class.

Parameters:

modv - number of modul variables.

F - a module basis.

Returns:

rightGB(F) a right Groebner base for F.

rightGB

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

Deprecated.

Right Groebner base using pairlist class.

Parameters:

M - a module basis.

Returns:

rightGB(M) a right Groebner base for M.