edu.jas.gb

Class GBSigBased<C extends edu.jas.structure.GcdRingElem<C>>

java.lang.Object

edu.jas.gb.GroebnerBaseAbstract<C>

edu.jas.gb.GBSigBased<C>

All Implemented Interfaces:

edu.jas.gb.GroebnerBase<C>, java.io.Serializable

public class GBSigBased<C extends edu.jas.structure.GcdRingElem<C>>
extends edu.jas.gb.GroebnerBaseAbstract<C>

Groebner bases via signatur based GBs using jython script. TODO: Computing via the ScriptEngine is way slower than the direct execution in the jython interpreter. Check if a different engine is in the path or if it must be configured in some special way.

Author:

Heinz Kredel

See Also:

Serialized Form

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
static class	GBSigBased.GBAlgo GB algorithm indicators: sbgb = sigbased_gb(), arri = arris_algorithm(), ggv = ggv(), ggv1 = ggv_first_implementation(), f5 = f5(), ff5 = f5z().

Field Summary

Fields

Modifier and Type	Field and Description
GBSigBased.GBAlgo	algo Selected GB algorithm.
javax.script.ScriptEngine	engine Scripting engine.

Fields inherited from class edu.jas.gb.GroebnerBaseAbstract

blas, red, strategy

Constructor Summary

Constructors

Constructor and Description
GBSigBased() GBSigBased constructor.
GBSigBased(GBSigBased.GBAlgo a) GBSigBased constructor.

Method Summary

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

Methods inherited from class edu.jas.gb.GroebnerBaseAbstract

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

Methods inherited from class java.lang.Object

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

Field Detail

engine

public final javax.script.ScriptEngine engine

Scripting engine.

algo

public final GBSigBased.GBAlgo algo

Selected GB algorithm.

Constructor Detail

GBSigBased

public GBSigBased()

GBSigBased constructor.

GBSigBased

public GBSigBased(GBSigBased.GBAlgo a)

GBSigBased constructor.

Parameters:

a - GB algorithm indicator.

Method Detail

toString

public java.lang.String toString()

Get the String representation with GB engine.

Overrides:

toString in class edu.jas.gb.GroebnerBaseAbstract<C extends edu.jas.structure.GcdRingElem<C>>

See Also:

Object.toString()

terminate

public void terminate()

Cleanup and terminate ThreadPool.

Overrides:

terminate in class edu.jas.gb.GroebnerBaseAbstract<C extends edu.jas.structure.GcdRingElem<C>>

cancel

public int cancel()

Cancel ThreadPool.

Overrides:

cancel in class edu.jas.gb.GroebnerBaseAbstract<C extends edu.jas.structure.GcdRingElem<C>>

GB

public java.util.List<edu.jas.poly.GenPolynomial<C>> GB(int modv,
                                                        java.util.List<edu.jas.poly.GenPolynomial<C>> F)

Groebner base.

Parameters:

modv - module variable number.

F - polynomial list.

Returns:

GB(F) a Groebner base of F.