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>, 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. Coefficients can for example be integers or (commutative) univariate polynomials.

See Also:

• GBAlgorithmBuilder
• GBFactory
• Serialized Form

Field Summary

Fields

Modifier and Type	Field	Description
protected final RingFactory<C>	cofac	Coefficient ring factory.
private static final boolean	debug
protected final GreatestCommonDivisorAbstract<C>	engine	Greatest common divisor engine for coefficient content and primitive parts.
private static final org.apache.logging.log4j.Logger	logger
protected final ExecutorService	pool	Pool of threads to use.
protected final PseudoReduction<C>	red	Pseudo reduction engine.
protected final int	threads	Number of threads to use.

Fields inherited from class GroebnerBaseAbstract

blas, strategy

Constructor Summary

Constructors

Constructor	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, ExecutorService pool)	Constructor.
GroebnerBasePseudoParallel(int threads, RingFactory<C> rf, PseudoReduction<C> red, ExecutorService pool, PairList<C> pl)	Constructor.

Method Summary

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

Methods inherited from class GroebnerBaseAbstract

commonZeroTest, constructUnivariate, 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

debug

private static final boolean debug

threads

protected final int threads

Number of threads to use.

pool

protected final transient ExecutorService pool

Pool of threads to use.

engine

protected final GreatestCommonDivisorAbstract<C extends GcdRingElem<C>> engine

Greatest common divisor engine for coefficient content and primitive parts.

red

protected final PseudoReduction<C extends GcdRingElem<C>> red

Pseudo reduction engine.

cofac

protected final RingFactory<C extends GcdRingElem<C>> cofac

Coefficient ring factory.

Constructor Details

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,
 ExecutorService 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 - ExecutorService 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,
 ExecutorService 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 - ExecutorService to use.

pl - pair selection strategy

Method Details

terminate

public void terminate()

Cleanup and terminate ExecutorService.

Overrides:

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

cancel

public int cancel()

Cancel ExecutorService.

Overrides:

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

GB

public List<GenPolynomial<C>> GB(int modv,
 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 List<GenPolynomial<C>> minimalGB(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.