C
- coefficient typepublic interface GroebnerBase<C extends RingElem<C>> extends java.io.Serializable
GBAlgorithmBuilder
,
GBFactory
Modifier and Type | Method and Description |
---|---|
ExtendedGB<C> |
extGB(int modv,
java.util.List<GenPolynomial<C>> F)
Extended Groebner base using critical pair class.
|
ExtendedGB<C> |
extGB(java.util.List<GenPolynomial<C>> F)
Extended Groebner base using critical pair class.
|
java.util.List<GenPolynomial<C>> |
GB(int modv,
java.util.List<GenPolynomial<C>> F)
Groebner base using pairlist class.
|
java.util.List<GenPolynomial<C>> |
GB(java.util.List<GenPolynomial<C>> F)
Groebner base using pairlist class.
|
boolean |
isGB(int modv,
java.util.List<GenPolynomial<C>> F)
Groebner base test.
|
boolean |
isGB(java.util.List<GenPolynomial<C>> F)
Groebner base test.
|
boolean |
isReductionMatrix(ExtendedGB<C> exgb)
Test if reduction matrix.
|
boolean |
isReductionMatrix(java.util.List<GenPolynomial<C>> F,
java.util.List<GenPolynomial<C>> G,
java.util.List<java.util.List<GenPolynomial<C>>> Mf,
java.util.List<java.util.List<GenPolynomial<C>>> Mg)
Test if reduction matrix.
|
java.util.List<GenPolynomial<C>> |
minimalGB(java.util.List<GenPolynomial<C>> Gp)
Minimal ordered groebner basis.
|
boolean isGB(java.util.List<GenPolynomial<C>> F)
F
- polynomial list.boolean isGB(int modv, java.util.List<GenPolynomial<C>> F)
modv
- module variable number.F
- polynomial list.java.util.List<GenPolynomial<C>> GB(java.util.List<GenPolynomial<C>> F)
F
- polynomial list.java.util.List<GenPolynomial<C>> GB(int modv, java.util.List<GenPolynomial<C>> F)
modv
- module variable number.F
- polynomial list.ExtendedGB<C> extGB(java.util.List<GenPolynomial<C>> F)
F
- polynomial list.ExtendedGB<C> extGB(int modv, java.util.List<GenPolynomial<C>> F)
modv
- module variable number.F
- polynomial list.java.util.List<GenPolynomial<C>> minimalGB(java.util.List<GenPolynomial<C>> Gp)
Gp
- a Groebner base.boolean isReductionMatrix(ExtendedGB<C> exgb)
exgb
- an ExtendedGB container.boolean isReductionMatrix(java.util.List<GenPolynomial<C>> F, java.util.List<GenPolynomial<C>> G, java.util.List<java.util.List<GenPolynomial<C>>> Mf, java.util.List<java.util.List<GenPolynomial<C>>> Mg)
F
- a polynomial list.G
- a Groebner base.Mf
- a possible reduction matrix.Mg
- a possible reduction matrix.