edu.jas.gb

Class GroebnerBaseParIter<C extends RingElem<C>>

java.lang.Object

edu.jas.gb.GroebnerBaseAbstract<C>

edu.jas.gb.GroebnerBaseParIter<C>

Type Parameters:

C - coefficient type

All Implemented Interfaces:

GroebnerBase<C>, java.io.Serializable

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

Groebner Base parallel iterative algortihm. Implements a shared memory parallel version of Groebner bases.

Author:

Heinz Kredel

See Also:

GBAlgorithmBuilder, GBFactory, Serialized Form

Field Summary

Fields

Modifier and Type	Field and Description
protected java.util.concurrent.ExecutorService	pool Pool of threads to use.
protected int	threads Number of threads to use.

Fields inherited from class edu.jas.gb.GroebnerBaseAbstract

blas, red, strategy

Constructor Summary

Constructors

Constructor and Description
GroebnerBaseParIter() Constructor.
GroebnerBaseParIter(int threads) Constructor.
GroebnerBaseParIter(int threads, java.util.concurrent.ExecutorService pool) Constructor.
GroebnerBaseParIter(int threads, java.util.concurrent.ExecutorService pool, Reduction<C> red) Constructor.
GroebnerBaseParIter(int threads, java.util.concurrent.ExecutorService pool, Reduction<C> red, PairList<C> pl) Constructor.
GroebnerBaseParIter(int threads, PairList<C> pl) Constructor.
GroebnerBaseParIter(int threads, Reduction<C> red) Constructor.
GroebnerBaseParIter(int threads, Reduction<C> red, PairList<C> pl) Constructor.

Method Summary

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

Methods inherited from class edu.jas.gb.GroebnerBaseAbstract

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

Methods inherited from class java.lang.Object

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

Field Detail

threads

protected final int threads

Number of threads to use.

pool

protected final transient java.util.concurrent.ExecutorService pool

Pool of threads to use.

Constructor Detail

GroebnerBaseParIter

public GroebnerBaseParIter()

Constructor.

GroebnerBaseParIter

public GroebnerBaseParIter(int threads)

Constructor.

Parameters:

threads - number of threads to use.

GroebnerBaseParIter

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

Constructor.

Parameters:

threads - number of threads to use.

red - parallelism aware reduction engine

GroebnerBaseParIter

public GroebnerBaseParIter(int threads,
                           PairList<C> pl)

Constructor.

Parameters:

threads - number of threads to use.

pl - pair selection strategy

GroebnerBaseParIter

public GroebnerBaseParIter(int threads,
                           java.util.concurrent.ExecutorService pool)

Constructor.

Parameters:

threads - number of threads to use.

pool - ExecutorService to use.

GroebnerBaseParIter

public GroebnerBaseParIter(int threads,
                           java.util.concurrent.ExecutorService pool,
                           Reduction<C> red)

Constructor.

Parameters:

pool - ExecutorService to use.

red - Reduction engine

GroebnerBaseParIter

public GroebnerBaseParIter(int threads,
                           Reduction<C> red,
                           PairList<C> pl)

Constructor.

Parameters:

red - Reduction engine

pl - pair selection strategy

GroebnerBaseParIter

public GroebnerBaseParIter(int threads,
                           java.util.concurrent.ExecutorService pool,
                           Reduction<C> red,
                           PairList<C> pl)

Constructor.

Parameters:

threads - number of threads to use.

pool - ExecutorService to use.

red - parallelism aware reduction engine

pl - pair selection strategy

Method Detail

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

Parallel iterative Groebner base using pairlist class.

Parameters:

modv - number of module variables.

F - polynomial list.

Returns:

GB(F) a Groebner base of F.

GB

public java.util.List<GenPolynomial<C>> GB(int modv,
                                           java.util.List<GenPolynomial<C>> G,
                                           GenPolynomial<C> f)

Groebner base using pairlist class.

Parameters:

modv - module variable number.

G - polynomial list of a Groebner base.

f - polynomial.

Returns:

GB(G,f) a Groebner base of G+(f).

minimalGB

public java.util.List<GenPolynomial<C>> minimalGB(java.util.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.