Package edu.jas.gb

Class GBOptimized<C extends GcdRingElem<C>>

java.lang.Object

edu.jas.gb.GroebnerBaseAbstract<C>

edu.jas.gb.GBOptimized<C>

All Implemented Interfaces:

GroebnerBase<C>, java.io.Serializable

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

Groebner bases via optimized variable and term order.

Author:

Heinz Kredel

See Also:

Serialized Form

Field Summary

Fields

Modifier and Type	Field	Description
GroebnerBaseAbstract<C>	e1	GB engine.
boolean	retPermuted	Indicator for return of permuted polynomials.

Fields inherited from class edu.jas.gb.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.
java.util.List<GenPolynomial<C>>	GB(int modv, java.util.List<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, 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 java.lang.Object

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

Field Detail

e1

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

GB engine.

retPermuted

public final boolean retPermuted

Indicator for return of permuted polynomials.

Constructor Detail

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 Detail

toString

public java.lang.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 java.util.List<GenPolynomial<C>> GB(int modv,
                                           java.util.List<GenPolynomial<C>> F)

Groebner base.

Parameters:

modv - module variable number.

F - polynomial list.

Returns:

GB(F) a Groebner base of F.