Class GroebnerBaseSeqPairParallel<C extends RingElem<C>>

java.lang.Object

edu.jas.gb.GroebnerBaseAbstract<C>

edu.jas.gb.GroebnerBaseSeqPairParallel<C>

Type Parameters:

C - coefficient type

All Implemented Interfaces:

GroebnerBase<C>, Serializable

public class GroebnerBaseSeqPairParallel<C extends RingElem<C>>
extends GroebnerBaseAbstract<C>

Groebner Base parallel algorithm. Makes some effort to produce the same sequence of critical pairs as in the sequential version. However already reduced pairs are not rereduced if new polynomials appear. Implements a shared memory parallel version of Groebner bases. Slaves maintain pairlist.

See Also:

• Serialized Form

Field Summary

Fields

Modifier and Type	Field	Description
private static final org.apache.logging.log4j.Logger	logger
protected final ExecutorService	pool	Pool of threads to use.
protected final int	threads	Number of threads to use.

Fields inherited from class GroebnerBaseAbstract

blas, red, strategy

Constructor Summary

Constructors

Constructor	Description
GroebnerBaseSeqPairParallel()	Constructor.
GroebnerBaseSeqPairParallel(int threads)	Constructor.
GroebnerBaseSeqPairParallel(int threads, Reduction<C> red)	Constructor.
GroebnerBaseSeqPairParallel(int threads, ExecutorService pool)	Constructor.
GroebnerBaseSeqPairParallel(int threads, ExecutorService pool, Reduction<C> red)	Constructor.

Method Summary

Modifier and Type	Method	Description
int	cancel()	Cancel ExecutorService.
List<GenPolynomial<C>>	GB(int modv, List<GenPolynomial<C>> F)	Parallel Groebner base using sequential pair order class.
List<GenPolynomial<C>>	minimalGB(List<GenPolynomial<C>> Fp)	Minimal ordered groebner basis, parallel.
void	terminate()	Cleanup and terminate ExecutorService.

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, normalizeMatrix, normalizeZerosOnes, toString, 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

threads

protected final int threads

Number of threads to use.

pool

protected final transient ExecutorService pool

Pool of threads to use.

Constructor Details

GroebnerBaseSeqPairParallel

public GroebnerBaseSeqPairParallel()

Constructor.

GroebnerBaseSeqPairParallel

public GroebnerBaseSeqPairParallel(int threads)

Constructor.

Parameters:

threads - number of threads to use.

GroebnerBaseSeqPairParallel

public GroebnerBaseSeqPairParallel(int threads,
 ExecutorService pool)

Constructor.

Parameters:

threads - number of threads to use.

pool - ExecutorService to use.

GroebnerBaseSeqPairParallel

public GroebnerBaseSeqPairParallel(int threads,
 Reduction<C> red)

Constructor.

Parameters:

threads - number of threads to use.

red - parallelism aware reduction engine

GroebnerBaseSeqPairParallel

public GroebnerBaseSeqPairParallel(int threads,
 ExecutorService pool,
 Reduction<C> red)

Constructor.

Parameters:

threads - number of threads to use.

pool - ExecutorService to use.

red - parallelism aware reduction engine

Method Details

terminate

public void terminate()

Cleanup and terminate ExecutorService.

Overrides:

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

cancel

public int cancel()

Cancel ExecutorService.

Overrides:

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

GB

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

Parallel Groebner base using sequential pair order class. Slaves maintain pairlist.

Parameters:

modv - number of module variables.

F - polynomial list.

Returns:

GB(F) a Groebner base of F.

minimalGB

public List<GenPolynomial<C>> minimalGB(List<GenPolynomial<C>> Fp)

Minimal ordered groebner basis, parallel.

Specified by:

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

Overrides:

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

Parameters:

Fp - a Groebner base.

Returns:

minimalGB(F) a minimal Groebner base of Fp.