public class GroebnerBaseFGLMExamples extends java.lang.Object
Constructor and Description |
---|
GroebnerBaseFGLMExamples() |
Modifier and Type | Method and Description |
---|---|
java.lang.String |
all(java.lang.String order,
java.lang.String polynomials) |
int |
bitHeight(java.util.List<GenPolynomial<BigRational>> list)
Method bitHeight returns the bitlength of the greatest number occurring
during the computation of a Groebner base.
|
java.lang.String |
fglm(java.lang.String order,
java.lang.String polynomials) |
java.lang.String |
grad(java.lang.String order,
java.lang.String polynomials) |
java.lang.String |
lex(java.lang.String order,
java.lang.String polynomials) |
static void |
main(java.lang.String[] args)
main
|
java.lang.String |
modAll(java.lang.String order,
java.lang.String polynomials,
java.lang.Integer m) |
java.lang.String |
modfglm(java.lang.String order,
java.lang.String polynomials,
java.lang.Integer m) |
java.lang.String |
modGrad(java.lang.String order,
java.lang.String polynomials,
java.lang.Integer m) |
java.lang.String |
shuffle(java.lang.String[] tempOrder)
Method shuffle returns a random permutation of a string of variables.
|
void |
testC5() |
void |
xtestAUX() |
void |
xtestC6() |
void |
xtestCAP() |
void |
xtestEquilibrium() |
void |
xtestFiveVarsOrder() |
void |
xtestHairerRungeKutta_1() |
void |
xtestIsaac() |
void |
xtestModC5() |
void |
xtestNiermann() |
void |
xtestTrinks2() |
void |
ytestCassouMod1() |
void |
ytestLamm1() |
void |
ytestOmdi1() |
void |
ytestWalkS7() |
public GroebnerBaseFGLMExamples()
public static void main(java.lang.String[] args)
public void xtestFiveVarsOrder()
public void xtestCAP()
public void xtestAUX()
public void testC5()
public void xtestModC5()
public void xtestC6()
public void xtestIsaac()
public void xtestNiermann()
public void ytestWalkS7()
public void ytestCassouMod1()
public void ytestOmdi1()
public void ytestLamm1()
public void xtestEquilibrium()
public void xtestTrinks2()
public void xtestHairerRungeKutta_1()
public java.lang.String all(java.lang.String order, java.lang.String polynomials)
public java.lang.String fglm(java.lang.String order, java.lang.String polynomials)
public java.lang.String grad(java.lang.String order, java.lang.String polynomials)
public java.lang.String lex(java.lang.String order, java.lang.String polynomials)
public java.lang.String modAll(java.lang.String order, java.lang.String polynomials, java.lang.Integer m)
public java.lang.String modGrad(java.lang.String order, java.lang.String polynomials, java.lang.Integer m)
public java.lang.String modfglm(java.lang.String order, java.lang.String polynomials, java.lang.Integer m)
public java.lang.String shuffle(java.lang.String[] tempOrder)
public int bitHeight(java.util.List<GenPolynomial<BigRational>> list)