Class GBOptimized<C extends GcdRingElem<C>>

java.lang.Object

edu.jas.gb.GroebnerBaseAbstract<C>

edu.jas.gb.GBOptimized<C>

All Implemented Interfaces:

GroebnerBase<C>, Serializable

public class GBOptimized<C extends GcdRingElem<C>>
extends GroebnerBaseAbstract<C>

Groebner bases via optimized variable and term order.

See Also:

• Serialized Form

Field Summary

Fields

Modifier and Type	Field	Description
private static final boolean	debug
final GroebnerBaseAbstract<C>	e1	GB engine.
private static final org.apache.logging.log4j.Logger	logger
final boolean	retPermuted	Indicator for return of permuted polynomials.

Fields inherited from class GroebnerBaseAbstract

blas, red, strategy

Constructor Summary

Constructors

Constructor	Description
GBOptimized(GroebnerBaseAbstract<C> e1)	GBOptimized constructor.
GBOptimized(GroebnerBaseAbstract<C> e1, boolean rP)	GBOptimized constructor.

Method Summary

Modifier and Type	Method	Description
int	cancel()	Cancel ThreadPool.
List<GenPolynomial<C>>	GB(int modv, List<GenPolynomial<C>> F)	Groebner base.
void	terminate()	Cleanup and terminate ThreadPool.
String	toString()	Get the String representation with GB engine.

Methods inherited from class GroebnerBaseAbstract

commonZeroTest, constructUnivariate, criterion3, extGB, extGB, GB, GB, GB, isGB, isGB, isGB, isGB, isGB, isGB, isGBidem, isGBsimple, isMinimalGB, isMinReductionMatrix, isMinReductionMatrix, isReductionMatrix, isReductionMatrix, minimalExtendedGB, minimalGB, normalizeMatrix, normalizeZerosOnes, 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

e1

public final GroebnerBaseAbstract<C extends GcdRingElem<C>> e1

GB engine.

retPermuted

public final boolean retPermuted

Indicator for return of permuted polynomials.

Constructor Details

GBOptimized

public GBOptimized(GroebnerBaseAbstract<C> e1)

GBOptimized constructor.

Parameters:

e1 - Groebner base engine.

GBOptimized

public GBOptimized(GroebnerBaseAbstract<C> e1,
 boolean rP)

GBOptimized constructor.

Parameters:

e1 - Groebner base engine.

rP - true for return of permuted polynomials, false for inverse permuted polynomials and new GB computation.

Method Details

toString

public String toString()

Get the String representation with GB engine.

Overrides:

toString in class GroebnerBaseAbstract<C extends GcdRingElem<C>>

See Also:

• Object.toString()

terminate

public void terminate()

Cleanup and terminate ThreadPool.

Overrides:

terminate in class GroebnerBaseAbstract<C extends GcdRingElem<C>>

cancel

public int cancel()

Cancel ThreadPool.

Overrides:

cancel in class GroebnerBaseAbstract<C extends GcdRingElem<C>>

GB

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

Groebner base.

Parameters:

modv - module variable number.

F - polynomial list.

Returns:

GB(F) a Groebner base of F.