edu.jas.gb

Class GroebnerBaseDistributedEC<C extends RingElem<C>>

java.lang.Object

edu.jas.gb.GroebnerBaseAbstract<C>

edu.jas.gb.GroebnerBaseDistributedEC<C>

Type Parameters:

C - coefficient type

All Implemented Interfaces:

GroebnerBase<C>, java.io.Serializable

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

Groebner Base distributed algorithm. Implements a distributed memory parallel version of Groebner bases with executable channels. Using pairlist class, distributed tasks do reduction, one communication channel per task.

See Also:

Serialized Form

Field Summary

Fields inherited from class edu.jas.gb.GroebnerBaseAbstract

blas, red, strategy

Constructor Summary

Constructors

Constructor and Description
GroebnerBaseDistributedEC(java.lang.String mfile) Constructor.
GroebnerBaseDistributedEC(java.lang.String mfile, int threads) Constructor.
GroebnerBaseDistributedEC(java.lang.String mfile, int threads, int port) Constructor.
GroebnerBaseDistributedEC(java.lang.String mfile, int threads, PairList<C> pl, int port) Constructor.
GroebnerBaseDistributedEC(java.lang.String mfile, int threads, ThreadPool pool, int port) Constructor.
GroebnerBaseDistributedEC(java.lang.String mfile, int threads, ThreadPool pool, PairList<C> pl, int port) Constructor.

Method Summary

Modifier and Type	Method and Description
static <C extends RingElem<C>> void	clientPart(java.lang.String host, int port, int dhtport) GB distributed client part.
java.util.List<GenPolynomial<C>>	GB(int modv, java.util.List<GenPolynomial<C>> F) Distributed Groebner base.
java.util.List<GenPolynomial<C>>	GBMaster(int modv, java.util.List<GenPolynomial<C>> F) Distributed Groebner base.
java.util.List<GenPolynomial<C>>	minimalGB(java.util.List<GenPolynomial<C>> Fp) Minimal ordered groebner basis.
void	terminate() Cleanup and terminate ThreadPool.
void	terminate(boolean shutDown) Terminates the distributed thread pools.

Methods inherited from class edu.jas.gb.GroebnerBaseAbstract

cancel, 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

GroebnerBaseDistributedEC

public GroebnerBaseDistributedEC(java.lang.String mfile)

Constructor.

Parameters:

mfile - name of the machine file.

GroebnerBaseDistributedEC

public GroebnerBaseDistributedEC(java.lang.String mfile,
                                 int threads)

Constructor.

Parameters:

mfile - name of the machine file.

threads - number of threads to use.

GroebnerBaseDistributedEC

public GroebnerBaseDistributedEC(java.lang.String mfile,
                                 int threads,
                                 int port)

Constructor.

Parameters:

mfile - name of the machine file.

threads - number of threads to use.

port - server port to use.

GroebnerBaseDistributedEC

public GroebnerBaseDistributedEC(java.lang.String mfile,
                                 int threads,
                                 ThreadPool pool,
                                 int port)

Constructor.

Parameters:

mfile - name of the machine file.

threads - number of threads to use.

pool - ThreadPool to use.

port - server port to use.

GroebnerBaseDistributedEC

public GroebnerBaseDistributedEC(java.lang.String mfile,
                                 int threads,
                                 PairList<C> pl,
                                 int port)

Constructor.

Parameters:

mfile - name of the machine file.

threads - number of threads to use.

pl - pair selection strategy

port - server port to use.

GroebnerBaseDistributedEC

public GroebnerBaseDistributedEC(java.lang.String mfile,
                                 int threads,
                                 ThreadPool pool,
                                 PairList<C> pl,
                                 int port)

Constructor.

Parameters:

mfile - name of the machine file.

threads - number of threads to use.

pool - ThreadPool to use.

pl - pair selection strategy

port - server port to use.

Method Detail

terminate

public void terminate()

Cleanup and terminate ThreadPool.

Overrides:

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

terminate

public void terminate(boolean shutDown)

Terminates the distributed thread pools.

Parameters:

shutDown - true, if shut-down of the remote executable servers is requested, false, if remote executable servers stay alive.

GB

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

Distributed Groebner base.

Parameters:

modv - number of module variables.

F - polynomial list.

Returns:

GB(F) a Groebner base of F or null, if a IOException occurs.

GBMaster

public java.util.List<GenPolynomial<C>> GBMaster(int modv,
                                                 java.util.List<GenPolynomial<C>> F)

Distributed Groebner base.

Parameters:

modv - number of module variables.

F - polynomial list.

Returns:

GB(F) a Groebner base of F or null, if a IOException occurs.

clientPart

public static <C extends RingElem<C>> void clientPart(java.lang.String host,
                                                      int port,
                                                      int dhtport)
                                               throws java.io.IOException

GB distributed client part.

Parameters:

host - the server runs on.

port - the server runs.

dhtport - of the DHT server.

Throws:

java.io.IOException

minimalGB

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

Minimal ordered groebner basis.

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:

a reduced Groebner base of Fp.