edu.jas.gb

Class GroebnerBaseSeqPairDistributed<C extends RingElem<C>>

java.lang.Object

edu.jas.gb.GroebnerBaseAbstract<C>

edu.jas.gb.GroebnerBaseSeqPairDistributed<C>

Type Parameters:

C - coefficient type

All Implemented Interfaces:

GroebnerBase<C>, java.io.Serializable

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

Groebner Base distributed algorithm. Implements a distributed memory parallel version of Groebner bases. Using pairlist class, distributed tasks do reduction. 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.

See Also:

Serialized Form

Field Summary

Fields inherited from class edu.jas.gb.GroebnerBaseAbstract

blas, red, strategy

Constructor Summary

Constructors

Constructor and Description
GroebnerBaseSeqPairDistributed() Constructor.
GroebnerBaseSeqPairDistributed(int threads) Constructor.
GroebnerBaseSeqPairDistributed(int threads, int port) Constructor.
GroebnerBaseSeqPairDistributed(int threads, int port, Reduction<C> red) Constructor.
GroebnerBaseSeqPairDistributed(int threads, Reduction<C> red) Constructor.
GroebnerBaseSeqPairDistributed(int threads, ThreadPool pool, int port) Constructor.
GroebnerBaseSeqPairDistributed(int threads, ThreadPool pool, int port, Reduction<C> red) Constructor.

Method Summary

Modifier and Type	Method and Description
void	clientPart(java.lang.String host) GB distributed client.
java.util.List<GenPolynomial<C>>	GB(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.

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

GroebnerBaseSeqPairDistributed

public GroebnerBaseSeqPairDistributed()

Constructor.

GroebnerBaseSeqPairDistributed

public GroebnerBaseSeqPairDistributed(int threads)

Constructor.

Parameters:

threads - number of threads to use.

GroebnerBaseSeqPairDistributed

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

Constructor.

Parameters:

threads - number of threads to use.

red - parallelism aware reduction engine

GroebnerBaseSeqPairDistributed

public GroebnerBaseSeqPairDistributed(int threads,
                                      int port,
                                      Reduction<C> red)

Constructor.

Parameters:

threads - number of threads to use.

port - server port to use.

red - parallelism aware reduction engine

GroebnerBaseSeqPairDistributed

public GroebnerBaseSeqPairDistributed(int threads,
                                      int port)

Constructor.

Parameters:

threads - number of threads to use.

port - server port to use.

GroebnerBaseSeqPairDistributed

public GroebnerBaseSeqPairDistributed(int threads,
                                      ThreadPool pool,
                                      int port)

Constructor.

Parameters:

threads - number of threads to use.

pool - ThreadPool to use.

port - server port to use.

GroebnerBaseSeqPairDistributed

public GroebnerBaseSeqPairDistributed(int threads,
                                      ThreadPool pool,
                                      int port,
                                      Reduction<C> red)

Constructor.

Parameters:

threads - number of threads to use.

pool - ThreadPool to use.

port - server port to use.

red - parallelism aware reduction engine

Method Detail

terminate

public void terminate()

Cleanup and terminate ThreadPool.

Overrides:

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

GB

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

Distributed Groebner base. Slaves maintain pairlist.

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 void clientPart(java.lang.String host)
                throws java.io.IOException

GB distributed client.

Parameters:

host - the server runns on.

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.