Package edu.jas.gbufd
Class GroebnerBaseQuotient<C extends GcdRingElem<C>>
- Type Parameters:
C
- Quotient coefficient type
- All Implemented Interfaces:
GroebnerBase<Quotient<C>>
,Serializable
public class GroebnerBaseQuotient<C extends GcdRingElem<C>>
extends GroebnerBaseAbstract<Quotient<C>>
Groebner Base sequential algorithm for rational function coefficients,
fraction free computation. Implements Groebner bases.
- See Also:
-
Field Summary
FieldsModifier and TypeFieldDescriptionfinal GroebnerBaseAbstract
<GenPolynomial<C>> private static final boolean
private static final org.apache.logging.log4j.Logger
Fields inherited from class edu.jas.gb.GroebnerBaseAbstract
blas, red, strategy
-
Constructor Summary
ConstructorsConstructorDescriptionGroebnerBaseQuotient
(int threads, QuotientRing<C> rf) Constructor.GroebnerBaseQuotient
(int threads, QuotientRing<C> rf, PairList<GenPolynomial<C>> pl) Constructor.Constructor.Constructor.GroebnerBaseQuotient
(QuotientRing<C> rf, PairList<GenPolynomial<C>> pl) Constructor. -
Method Summary
Modifier and TypeMethodDescriptionint
cancel()
Cancel ThreadPool.GB
(int modv, List<GenPolynomial<Quotient<C>>> F) Groebner base using fraction free computation.minimalGB
(List<GenPolynomial<Quotient<C>>> Gp) Minimal ordered Groebner basis.void
Cleanup and terminate ThreadPool.toString()
Get the String representation with GB engines.Methods inherited from class edu.jas.gb.GroebnerBaseAbstract
commonZeroTest, constructUnivariate, extGB, extGB, GB, GB, GB, isGB, isGB, isGB, isGB, isGB, isGB, isGBidem, isGBsimple, isMinimalGB, isMinReductionMatrix, isMinReductionMatrix, isReductionMatrix, isReductionMatrix, minimalExtendedGB, normalizeMatrix, normalizeZerosOnes, univariateDegrees
-
Field Details
-
logger
private static final org.apache.logging.log4j.Logger logger -
debug
private static final boolean debug -
bba
-
-
Constructor Details
-
GroebnerBaseQuotient
Constructor.- Parameters:
rf
- quotient coefficient ring factory.
-
GroebnerBaseQuotient
Constructor.- Parameters:
threads
- the number of parallel threads.rf
- quotient coefficient ring factory.
-
GroebnerBaseQuotient
Constructor.- Parameters:
rf
- quotient coefficient ring factory.pl
- pair selection strategy (for fraction parts).
-
GroebnerBaseQuotient
Constructor.- Parameters:
threads
- the number of parallel threads.rf
- quotient coefficient ring factory.pl
- pair selection strategy (for fraction parts).
-
GroebnerBaseQuotient
Constructor.- Parameters:
bba
- Groebner base algorithm for GenPolynomial coefficients.
-
-
Method Details
-
toString
Get the String representation with GB engines.- Overrides:
toString
in classGroebnerBaseAbstract<Quotient<C extends GcdRingElem<C>>>
- See Also:
-
GB
Groebner base using fraction free computation.- Parameters:
modv
- module variable number.F
- polynomial list.- Returns:
- GB(F) a Groebner base of F.
-
minimalGB
Minimal ordered Groebner basis.- Specified by:
minimalGB
in interfaceGroebnerBase<C extends GcdRingElem<C>>
- Overrides:
minimalGB
in classGroebnerBaseAbstract<Quotient<C extends GcdRingElem<C>>>
- Parameters:
Gp
- a Groebner base.- Returns:
- a reduced Groebner base of Gp.
-
terminate
public void terminate()Cleanup and terminate ThreadPool.- Overrides:
terminate
in classGroebnerBaseAbstract<Quotient<C extends GcdRingElem<C>>>
-
cancel
public int cancel()Cancel ThreadPool.- Overrides:
cancel
in classGroebnerBaseAbstract<Quotient<C extends GcdRingElem<C>>>
-