public class GroebnerBasePartTest extends junit.framework.TestCase
| Constructor and Description |
|---|
GroebnerBasePartTest(java.lang.String name)
Constructs a
GroebnerBasePartTest 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 |
testGBasePart()
Test partial GBase.
|
void |
testPartialPermutation()
Test partial permutation.
|
void |
testPermGen()
Test permutation generation.
|
void |
testTrinks7GBaseElimPart()
Test elim partial Trinks7 GBase.
|
void |
testTrinks7GBasePart()
Test partial Trinks7 GBase.
|
void |
testTrinks7GBasePartRec()
Test partial recursive Trinks7 GBase.
|
void |
xtestElimPartialPermutation()
Test elimination partial permutation.
|
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 GroebnerBasePartTest(java.lang.String name)
GroebnerBasePartTest 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 testTrinks7GBasePartRec()
public void testTrinks7GBasePart()
public void testPartialPermutation()
public void xtestElimPartialPermutation()
public void testTrinks7GBaseElimPart()
public void testGBasePart()
public void testPermGen()