public class GroebnerBaseWalkTest extends junit.framework.TestCase
| Constructor and Description |
|---|
GroebnerBaseWalkTest(java.lang.String name)
Constructs a
GroebnerBaseWalkTest object. |
| Modifier and Type | Method and Description |
|---|---|
static void |
main(java.lang.String[] args)
main
|
protected void |
setUp() |
static junit.framework.Test |
suite()
suite.
|
protected void |
tearDown() |
void |
testFGLMGBase()
Test example GBase.
|
void |
testFGLMissacGBase()
Test ISSAC GBase.
|
void |
testFJLTGBase()
Test FJLT GBase.
|
void |
testTrinksGBase()
Test Trinks GBase.
|
void |
testTrinksGBaseT1T2()
Test Trinks GBase with different t1 and t2.
|
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, countTestCases, createResult, fail, fail, failNotEquals, failNotSame, failSame, format, getName, run, run, runBare, runTest, setName, toStringpublic GroebnerBaseWalkTest(java.lang.String name)
GroebnerBaseWalkTest object.name - String.public static void main(java.lang.String[] args)
public static junit.framework.Test suite()
protected void setUp()
setUp in class junit.framework.TestCaseprotected void tearDown()
tearDown in class junit.framework.TestCasepublic void testFJLTGBase()
public void testFGLMGBase()
public void testTrinksGBase()
public void testTrinksGBaseT1T2()
public void testFGLMissacGBase()