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.
|
countTestCases, createResult, getName, run, run, runBare, runTest, setName, toString
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
public 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.TestCase
protected void tearDown()
tearDown
in class junit.framework.TestCase
public void testTrinks7GBasePartRec()
public void testTrinks7GBasePart()
public void testPartialPermutation()
public void xtestElimPartialPermutation()
public void testTrinks7GBaseElimPart()
public void testGBasePart()
public void testPermGen()