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, toString
public 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.TestCase
protected void tearDown()
tearDown
in class junit.framework.TestCase
public void testFJLTGBase()
public void testFGLMGBase()
public void testTrinksGBase()
public void testTrinksGBaseT1T2()
public void testFGLMissacGBase()