Package edu.jas.gbufd
Class GroebnerBaseFGLMExamples
- java.lang.Object
-
- edu.jas.gbufd.GroebnerBaseFGLMExamples
-
public class GroebnerBaseFGLMExamples extends java.lang.Object
Groebner base FGLM examples.- Author:
- Jan Suess
-
-
Constructor Summary
Constructors Constructor Description GroebnerBaseFGLMExamples()
-
Method Summary
All Methods Static Methods Instance Methods Concrete Methods Modifier and Type Method 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)
mainjava.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()
-
-
-
Constructor Detail
-
GroebnerBaseFGLMExamples
public GroebnerBaseFGLMExamples()
-
-
Method Detail
-
main
public static void main(java.lang.String[] args)
main
-
xtestFiveVarsOrder
public void xtestFiveVarsOrder()
-
xtestCAP
public void xtestCAP()
-
xtestAUX
public void xtestAUX()
-
testC5
public void testC5()
-
xtestModC5
public void xtestModC5()
-
xtestC6
public void xtestC6()
-
xtestIsaac
public void xtestIsaac()
-
xtestNiermann
public void xtestNiermann()
-
ytestWalkS7
public void ytestWalkS7()
-
ytestCassouMod1
public void ytestCassouMod1()
-
ytestOmdi1
public void ytestOmdi1()
-
ytestLamm1
public void ytestLamm1()
-
xtestEquilibrium
public void xtestEquilibrium()
-
xtestTrinks2
public void xtestTrinks2()
-
xtestHairerRungeKutta_1
public void xtestHairerRungeKutta_1()
-
all
public java.lang.String all(java.lang.String order, java.lang.String polynomials)
-
fglm
public java.lang.String fglm(java.lang.String order, java.lang.String polynomials)
-
grad
public java.lang.String grad(java.lang.String order, java.lang.String polynomials)
-
lex
public java.lang.String lex(java.lang.String order, java.lang.String polynomials)
-
modAll
public java.lang.String modAll(java.lang.String order, java.lang.String polynomials, java.lang.Integer m)
-
modGrad
public java.lang.String modGrad(java.lang.String order, java.lang.String polynomials, java.lang.Integer m)
-
modfglm
public java.lang.String modfglm(java.lang.String order, java.lang.String polynomials, java.lang.Integer m)
-
shuffle
public java.lang.String shuffle(java.lang.String[] tempOrder)
Method shuffle returns a random permutation of a string of variables.
-
bitHeight
public 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.
-
-