C
- Quotient coefficient typepublic class GroebnerBaseSeqQuotient<C extends GcdRingElem<C>> extends GroebnerBaseAbstract<Quotient<C>>
Modifier and Type | Field and Description |
---|---|
GroebnerBaseAbstract<GenPolynomial<C>> |
bba |
blas, red, strategy
Constructor and Description |
---|
GroebnerBaseSeqQuotient(QuotientRing<C> rf)
Constructor.
|
Modifier and Type | Method and Description |
---|---|
int |
cancel()
Cancel ThreadPool.
|
java.util.List<GenPolynomial<Quotient<C>>> |
GB(int modv,
java.util.List<GenPolynomial<Quotient<C>>> F)
Groebner base using fraction free computation.
|
java.util.List<GenPolynomial<Quotient<C>>> |
minimalGB(java.util.List<GenPolynomial<Quotient<C>>> Gp)
Minimal ordered Groebner basis.
|
void |
terminate()
Cleanup and terminate ThreadPool.
|
java.lang.String |
toString()
Get the String representation with GB engines.
|
commonZeroTest, constructUnivariate, extGB, extGB, GB, isGB, isGB, isGB, isGB, isGBidem, isGBsimple, isMinimalGB, isReductionMatrix, isReductionMatrix, minimalExtendedGB, normalizeMatrix, univariateDegrees
public final GroebnerBaseAbstract<GenPolynomial<C extends GcdRingElem<C>>> bba
public GroebnerBaseSeqQuotient(QuotientRing<C> rf)
rf
- quotient coefficient ring factory.public java.lang.String toString()
toString
in class GroebnerBaseAbstract<Quotient<C extends GcdRingElem<C>>>
Object.toString()
public java.util.List<GenPolynomial<Quotient<C>>> GB(int modv, java.util.List<GenPolynomial<Quotient<C>>> F)
modv
- module variable number.F
- polynomial list.public java.util.List<GenPolynomial<Quotient<C>>> minimalGB(java.util.List<GenPolynomial<Quotient<C>>> Gp)
minimalGB
in interface GroebnerBase<Quotient<C extends GcdRingElem<C>>>
minimalGB
in class GroebnerBaseAbstract<Quotient<C extends GcdRingElem<C>>>
Gp
- a Groebner base.public void terminate()
terminate
in class GroebnerBaseAbstract<Quotient<C extends GcdRingElem<C>>>
public int cancel()
cancel
in class GroebnerBaseAbstract<Quotient<C extends GcdRingElem<C>>>