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 and Description
GroebnerBaseFGLMExamples()

Method Summary

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()

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

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.