edu.jas.gbufd

Class GroebnerBasePseudoParallel<C extends GcdRingElem<C>>

java.lang.Object

edu.jas.gb.GroebnerBaseAbstract<C>

edu.jas.gbufd.GroebnerBasePseudoParallel<C>

Type Parameters:

C - coefficient type

All Implemented Interfaces:

GroebnerBase<C>, java.io.Serializable

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

Groebner Base with pseudo reduction multi-threaded parallel algorithm. Implements coefficient fraction free Groebner bases.

See Also:

GBAlgorithmBuilder, GBFactory, Serialized Form

Field Summary

Fields inherited from class edu.jas.gb.GroebnerBaseAbstract

blas, strategy

Constructor Summary

Constructors

Constructor and Description
GroebnerBasePseudoParallel(int threads, RingFactory<C> rf) Constructor.
GroebnerBasePseudoParallel(int threads, RingFactory<C> rf, PairList<C> pl) Constructor.
GroebnerBasePseudoParallel(int threads, RingFactory<C> rf, PseudoReduction<C> red) Constructor.
GroebnerBasePseudoParallel(int threads, RingFactory<C> rf, PseudoReduction<C> red, ThreadPool pool) Constructor.
GroebnerBasePseudoParallel(int threads, RingFactory<C> rf, PseudoReduction<C> red, ThreadPool pool, PairList<C> pl) Constructor.

Method Summary

Modifier and Type	Method and Description
int	cancel() Cancel ThreadPool.
java.util.List<GenPolynomial<C>>	GB(int modv, java.util.List<GenPolynomial<C>> F) Groebner base using pairlist class.
java.util.List<GenPolynomial<C>>	minimalGB(java.util.List<GenPolynomial<C>> Gp) Minimal ordered Groebner basis.
void	terminate() Cleanup and terminate ThreadPool.

Methods inherited from class edu.jas.gb.GroebnerBaseAbstract

commonZeroTest, constructUnivariate, extGB, extGB, GB, isGB, isGB, isGB, isGB, isGBidem, isGBsimple, isMinimalGB, isReductionMatrix, isReductionMatrix, minimalExtendedGB, normalizeMatrix, toString, univariateDegrees

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Detail

GroebnerBasePseudoParallel

public GroebnerBasePseudoParallel(int threads,
                                  RingFactory<C> rf)

Constructor.

Parameters:

threads - number of threads to use.

rf - coefficient ring factory.

GroebnerBasePseudoParallel

public GroebnerBasePseudoParallel(int threads,
                                  RingFactory<C> rf,
                                  PseudoReduction<C> red)

Constructor.

Parameters:

threads - number of threads to use.

rf - coefficient ring factory. Note: red must be an instance of PseudoReductionPar.

red - pseudo reduction engine.

GroebnerBasePseudoParallel

public GroebnerBasePseudoParallel(int threads,
                                  RingFactory<C> rf,
                                  PseudoReduction<C> red,
                                  ThreadPool pool)

Constructor.

Parameters:

threads - number of threads to use.

rf - coefficient ring factory. Note: red must be an instance of PseudoReductionPar.

red - pseudo reduction engine.

pool - ThreadPool to use.

GroebnerBasePseudoParallel

public GroebnerBasePseudoParallel(int threads,
                                  RingFactory<C> rf,
                                  PairList<C> pl)

Constructor.

Parameters:

threads - number of threads to use.

rf - coefficient ring factory. Note: red must be an instance of PseudoReductionPar.

pl - pair selection strategy

GroebnerBasePseudoParallel

public GroebnerBasePseudoParallel(int threads,
                                  RingFactory<C> rf,
                                  PseudoReduction<C> red,
                                  ThreadPool pool,
                                  PairList<C> pl)

Constructor.

Parameters:

threads - number of threads to use.

rf - coefficient ring factory. Note: red must be an instance of PseudoReductionPar.

red - pseudo reduction engine.

pool - ThreadPool to use.

pl - pair selection strategy

Method Detail

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 using pairlist class.

Parameters:

modv - module variable number.

F - polynomial list.

Returns:

GB(F) a Groebner base of F.

minimalGB

public java.util.List<GenPolynomial<C>> minimalGB(java.util.List<GenPolynomial<C>> Gp)

Minimal ordered Groebner basis.

Specified by:

minimalGB in interface GroebnerBase<C extends GcdRingElem<C>>

Overrides:

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

Parameters:

Gp - a Groebner base.

Returns:

a reduced Groebner base of Gp.