Class GroebnerBaseSeq<C extends RingElem<C>>

java.lang.Object

edu.jas.gb.GroebnerBaseAbstract<C>

edu.jas.gb.GroebnerBaseSeq<C>

Type Parameters:

C - coefficient type

All Implemented Interfaces:

GroebnerBase<C>, Serializable

public class GroebnerBaseSeq<C extends RingElem<C>>
extends GroebnerBaseAbstract<C>

Groebner Base sequential algorithm. Implements Groebner bases and GB test.

See Also:

• GBAlgorithmBuilder
• GBFactory
• Serialized Form

Field Summary

Fields

Modifier and Type	Field	Description
private static final boolean	debug
private static final org.apache.logging.log4j.Logger	logger

Fields inherited from class GroebnerBaseAbstract

blas, red, strategy

Constructor Summary

Constructors

Constructor	Description
GroebnerBaseSeq()	Constructor.
GroebnerBaseSeq(PairList<C> pl)	Constructor.
GroebnerBaseSeq(Reduction<C> red)	Constructor.
GroebnerBaseSeq(Reduction<C> red, PairList<C> pl)	Constructor.

Method Summary

Modifier and Type	Method	Description
ExtendedGB<C>	extGB(int modv, List<GenPolynomial<C>> F)	Extended Groebner base using critical pair class.
List<GenPolynomial<C>>	GB(int modv, List<GenPolynomial<C>> F)	Groebner base using pairlist class.

Methods inherited from class GroebnerBaseAbstract

cancel, commonZeroTest, constructUnivariate, criterion3, extGB, GB, GB, GB, isGB, isGB, isGB, isGB, isGB, isGB, isGBidem, isGBsimple, isMinimalGB, isMinReductionMatrix, isMinReductionMatrix, isReductionMatrix, isReductionMatrix, minimalExtendedGB, minimalGB, normalizeMatrix, normalizeZerosOnes, terminate, toString, univariateDegrees

Methods inherited from class Object

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

Field Details

logger

private static final org.apache.logging.log4j.Logger logger

debug

private static final boolean debug

Constructor Details

GroebnerBaseSeq

public GroebnerBaseSeq()

Constructor.

GroebnerBaseSeq

public GroebnerBaseSeq(Reduction<C> red)

Constructor.

Parameters:

red - Reduction engine

GroebnerBaseSeq

public GroebnerBaseSeq(PairList<C> pl)

Constructor.

Parameters:

pl - pair selection strategy

GroebnerBaseSeq

public GroebnerBaseSeq(Reduction<C> red,
 PairList<C> pl)

Constructor.

Parameters:

red - Reduction engine

pl - pair selection strategy

Method Details

GB

public List<GenPolynomial<C>> GB(int modv,
 List<GenPolynomial<C>> F)

Groebner base using pairlist class.

Parameters:

modv - module variable number.

F - polynomial list.

Returns:

GB(F) a Groebner base of F.

extGB

public ExtendedGB<C> extGB(int modv,
 List<GenPolynomial<C>> F)

Extended Groebner base using critical pair class.

Specified by:

extGB in interface GroebnerBase<C extends RingElem<C>>

Overrides:

extGB in class GroebnerBaseAbstract<C extends RingElem<C>>

Parameters:

modv - module variable number.

F - polynomial list.

Returns:

a container for an extended Groebner base of F.