Package 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>
,Serializable
Groebner Base parallel iterative algorithm. Implements a shared memory
parallel version of Groebner bases.
- See Also:
-
Field Summary
FieldsModifier and TypeFieldDescriptionprivate static final boolean
private static final org.apache.logging.log4j.Logger
protected final ExecutorService
Pool of threads to use.protected final int
Number of threads to use.Fields inherited from class edu.jas.gb.GroebnerBaseAbstract
blas, red, strategy
-
Constructor Summary
ConstructorsConstructorDescriptionConstructor.GroebnerBaseParIter
(int threads) 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.GroebnerBaseParIter
(int threads, ExecutorService pool) Constructor.GroebnerBaseParIter
(int threads, ExecutorService pool, Reduction<C> red) Constructor.GroebnerBaseParIter
(int threads, ExecutorService pool, Reduction<C> red, PairList<C> pl) Constructor. -
Method Summary
Modifier and TypeMethodDescriptionint
cancel()
Cancel ExecutorService.GB
(int modv, List<GenPolynomial<C>> F) Parallel iterative Groebner base using pairlist class.GB
(int modv, List<GenPolynomial<C>> G, GenPolynomial<C> f) Groebner base using pairlist class.minimalGB
(List<GenPolynomial<C>> Fp) Minimal ordered groebner basis, parallel.void
Cleanup and terminate ExecutorService.Methods inherited from class edu.jas.gb.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
-
Field Details
-
logger
private static final org.apache.logging.log4j.Logger logger -
debug
private static final boolean debug -
threads
protected final int threadsNumber of threads to use. -
pool
Pool of threads to use.
-
-
Constructor Details
-
GroebnerBaseParIter
public GroebnerBaseParIter()Constructor. -
GroebnerBaseParIter
public GroebnerBaseParIter(int threads) Constructor.- Parameters:
threads
- number of threads to use.
-
GroebnerBaseParIter
Constructor.- Parameters:
threads
- number of threads to use.red
- parallelism aware reduction engine
-
GroebnerBaseParIter
Constructor.- Parameters:
threads
- number of threads to use.pl
- pair selection strategy
-
GroebnerBaseParIter
Constructor.- Parameters:
threads
- number of threads to use.pool
- ExecutorService to use.
-
GroebnerBaseParIter
Constructor.- Parameters:
pool
- ExecutorService to use.red
- Reduction engine
-
GroebnerBaseParIter
Constructor.- Parameters:
red
- Reduction enginepl
- pair selection strategy
-
GroebnerBaseParIter
Constructor.- Parameters:
threads
- number of threads to use.pool
- ExecutorService to use.red
- parallelism aware reduction enginepl
- pair selection strategy
-
-
Method Details
-
terminate
public void terminate()Cleanup and terminate ExecutorService.- Overrides:
terminate
in classGroebnerBaseAbstract<C extends RingElem<C>>
-
cancel
public int cancel()Cancel ExecutorService.- Overrides:
cancel
in classGroebnerBaseAbstract<C extends RingElem<C>>
-
GB
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
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
Minimal ordered groebner basis, parallel.- Specified by:
minimalGB
in interfaceGroebnerBase<C extends RingElem<C>>
- Overrides:
minimalGB
in classGroebnerBaseAbstract<C extends RingElem<C>>
- Parameters:
Fp
- a Groebner base.- Returns:
- minimalGB(F) a minimal Groebner base of Fp.
-