edu.jas.gbufd

Class GroebnerBaseFGLMExamples

java.lang.Object

junit.framework.Assert

junit.framework.TestCase

edu.jas.gbufd.GroebnerBaseFGLMExamples

All Implemented Interfaces:

junit.framework.Test

public class GroebnerBaseFGLMExamples
extends junit.framework.TestCase

Groebner base FGLM examples with JUnit.

Author:

Jan Suess.

Constructor Summary

Constructors

Constructor and Description
GroebnerBaseFGLMExamples(java.lang.String name) Constructs a GroebnerBaseFGLMExamples object.

Method Summary

Methods

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)
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)
protected void	setUp()
java.lang.String	shuffle(java.lang.String[] tempOrder)
static junit.framework.Test	suite() suite.
protected void	tearDown()
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 junit.framework.TestCase

countTestCases, createResult, getName, run, run, runBare, runTest, setName, toString

Methods inherited from class junit.framework.Assert

assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertFalse, assertFalse, assertNotNull, assertNotNull, assertNotSame, assertNotSame, assertNull, assertNull, assertSame, assertSame, assertTrue, assertTrue, fail, fail

Methods inherited from class java.lang.Object

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

Constructor Detail

GroebnerBaseFGLMExamples

public GroebnerBaseFGLMExamples(java.lang.String name)

Constructs a GroebnerBaseFGLMExamples object.

Parameters:

name - String.

Method Detail

main

public static void main(java.lang.String[] args)

main

suite

public static junit.framework.Test suite()

suite.

setUp

protected void setUp()

Overrides:

setUp in class junit.framework.TestCase

tearDown

protected void tearDown()

Overrides:

tearDown in class junit.framework.TestCase

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)

bitHeight

public int bitHeight(java.util.List<GenPolynomial<BigRational>> list)