edu.jas.gbmod

Class ModSolvableGroebnerBaseSeq<C extends GcdRingElem<C>>

java.lang.Object

edu.jas.gbmod.ModSolvableGroebnerBaseAbstract<C>

edu.jas.gbmod.ModSolvableGroebnerBaseSeq<C>

Type Parameters:

C - coefficient type

All Implemented Interfaces:

ModSolvableGroebnerBase<C>, java.io.Serializable

Direct Known Subclasses:

ModSolvableGroebnerBasePar

Deprecated.

use respective methods from SolvableGroebnerBaseSeq

@Deprecated
public class ModSolvableGroebnerBaseSeq<C extends GcdRingElem<C>>
extends ModSolvableGroebnerBaseAbstract<C>

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

Author:

Heinz Kredel

See Also:

Serialized Form

Field Summary

Fields

Modifier and Type	Field and Description
protected SolvableGroebnerBaseAbstract<C>	sbb Deprecated. Used Solvable Groebner base algorithm.

Constructor Summary

Constructors

Constructor and Description
ModSolvableGroebnerBaseSeq(RingFactory<C> cf) Deprecated. Constructor.
ModSolvableGroebnerBaseSeq(SolvableGroebnerBaseAbstract<C> sbb) Deprecated. Constructor.

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	isRightGB(int modv, java.util.List<GenSolvablePolynomial<C>> F) Deprecated. Module right Groebner base test.
boolean	isTwosidedGB(int modv, java.util.List<GenSolvablePolynomial<C>> F) 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.
java.util.List<GenSolvablePolynomial<C>>	rightGB(int modv, java.util.List<GenSolvablePolynomial<C>> F) 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.

Methods inherited from class edu.jas.gbmod.ModSolvableGroebnerBaseAbstract

cancel, isLeftGB, isRightGB, isTwosidedGB, leftGB, rightGB, terminate, twosidedGB

Methods inherited from class java.lang.Object

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

Field Detail

sbb

protected final SolvableGroebnerBaseAbstract<C extends GcdRingElem<C>> sbb

Deprecated.

Used Solvable Groebner base algorithm.

Constructor Detail

ModSolvableGroebnerBaseSeq

public ModSolvableGroebnerBaseSeq(RingFactory<C> cf)

Deprecated.

Constructor.

Parameters:

cf - coefficient ring.

ModSolvableGroebnerBaseSeq

public ModSolvableGroebnerBaseSeq(SolvableGroebnerBaseAbstract<C> sbb)

Deprecated.

Constructor.

Parameters:

sbb - solvable Groebner base implementation.

Method Detail

isLeftGB

public 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.

leftGB

public 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.

isTwosidedGB

public 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.

twosidedGB

public 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.

isRightGB

public 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.

rightGB

public 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.