Class SGBProxy<C extends GcdRingElem<C>>

java.lang.Object

edu.jas.gb.SolvableGroebnerBaseAbstract<C>

edu.jas.gb.SGBProxy<C>

All Implemented Interfaces:

SolvableGroebnerBase<C>, Serializable

public class SGBProxy<C extends GcdRingElem<C>>
extends SolvableGroebnerBaseAbstract<C>

Groebner bases parallel proxy.

See Also:

• Serialized Form

Field Summary

Fields

Modifier and Type	Field	Description
private static final boolean	debug
final SolvableGroebnerBaseAbstract<C>	e1	GB engines.
final SolvableGroebnerBaseAbstract<C>	e2
private static final org.apache.logging.log4j.Logger	logger
protected ExecutorService	pool	Thread pool.

Fields inherited from class SolvableGroebnerBaseAbstract

blas, cbb, red, sred, strategy

Constructor Summary

Constructors

Constructor	Description
SGBProxy(SolvableGroebnerBaseAbstract<C> e1, SolvableGroebnerBaseAbstract<C> e2)	Proxy constructor.

Method Summary

Modifier and Type	Method	Description
int	cancel()	Cancel ThreadPool.
List<GenSolvablePolynomial<C>>	leftGB(int modv, List<GenSolvablePolynomial<C>> F)	Groebner base.
List<GenSolvablePolynomial<C>>	rightGB(int modv, List<GenSolvablePolynomial<C>> F)	Right Groebner base.
void	terminate()	Cleanup and terminate ThreadPool.
String	toString()	Get the String representation with GB engines.
List<GenSolvablePolynomial<C>>	twosidedGB(int modv, List<GenSolvablePolynomial<C>> F)	Groebner base.

Methods inherited from class SolvableGroebnerBaseAbstract

commonZeroTest, constructUnivariate, constructUnivariate, extLeftGB, extLeftGB, extRightGB, extRightGB, isLeftGB, isLeftGB, isLeftGB, isLeftGB, isLeftGB, isLeftGB, isLeftGBidem, isLeftGBsimple, isLeftReductionMatrix, isLeftReductionMatrix, isRightGB, isRightGB, isRightGB, isRightGB, isRightGBidem, isRightGBidem, isTwosidedGB, isTwosidedGB, isTwosidedGB, isTwosidedGB, isTwosidedGBidem, isTwosidedGBidem, leftGB, leftGB, leftGB, leftMinimalGB, normalizeZerosOnes, rightGB, rightGB, rightMinimalGB, twosidedGB, twosidedGB, twosidedGB, 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 SolvableGroebnerBaseAbstract<C extends GcdRingElem<C>> e1

GB engines.

e2

public final SolvableGroebnerBaseAbstract<C extends GcdRingElem<C>> e2

pool

protected transient ExecutorService pool

Thread pool.

Constructor Details

SGBProxy

public SGBProxy(SolvableGroebnerBaseAbstract<C> e1,
 SolvableGroebnerBaseAbstract<C> e2)

Proxy constructor.

Parameters:

e1 - Groebner base engine.

e2 - Groebner base engine.

Method Details

toString

public String toString()

Get the String representation with GB engines.

Overrides:

toString in class Object

See Also:

• Object.toString()

terminate

public void terminate()

Cleanup and terminate ThreadPool.

Overrides:

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

cancel

public int cancel()

Cancel ThreadPool.

Overrides:

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

leftGB

public List<GenSolvablePolynomial<C>> leftGB(int modv,
 List<GenSolvablePolynomial<C>> F)

Groebner base.

Parameters:

modv - module variable number.

F - polynomial list.

Returns:

GB(F) a Groebner base of F.

rightGB

public List<GenSolvablePolynomial<C>> rightGB(int modv,
 List<GenSolvablePolynomial<C>> F)

Right Groebner base.

Specified by:

rightGB in interface SolvableGroebnerBase<C extends GcdRingElem<C>>

Overrides:

rightGB in class SolvableGroebnerBaseAbstract<C extends GcdRingElem<C>>

Parameters:

modv - module variable number.

F - polynomial list.

Returns:

rightGB(F) a Groebner base of F.

twosidedGB

public List<GenSolvablePolynomial<C>> twosidedGB(int modv,
 List<GenSolvablePolynomial<C>> F)

Groebner base.

Parameters:

modv - module variable number.

F - polynomial list.

Returns:

twosidedGB(F) a Groebner base of F.