Package edu.jas.gbufd
Class GroebnerBasePartTest
- java.lang.Object
-
- junit.framework.Assert
-
- junit.framework.TestCase
-
- edu.jas.gbufd.GroebnerBasePartTest
-
- All Implemented Interfaces:
junit.framework.Test
public class GroebnerBasePartTest extends junit.framework.TestCase
Partial Groebner base sequential tests with JUnit.- Author:
- Heinz Kredel
-
-
Constructor Summary
Constructors Constructor Description GroebnerBasePartTest(java.lang.String name)
Constructs aGroebnerBasePartTest
object.
-
Method Summary
All Methods Static Methods Instance Methods Concrete Methods Modifier and Type Method Description static void
main(java.lang.String[] args)
mainprotected 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.-
Methods inherited from class junit.framework.TestCase
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
-
-
-
-
Constructor Detail
-
GroebnerBasePartTest
public GroebnerBasePartTest(java.lang.String name)
Constructs aGroebnerBasePartTest
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 classjunit.framework.TestCase
-
tearDown
protected void tearDown()
- Overrides:
tearDown
in classjunit.framework.TestCase
-
testTrinks7GBasePartRec
public void testTrinks7GBasePartRec()
Test partial recursive Trinks7 GBase.
-
testTrinks7GBasePart
public void testTrinks7GBasePart()
Test partial Trinks7 GBase.
-
testPartialPermutation
public void testPartialPermutation()
Test partial permutation.
-
xtestElimPartialPermutation
public void xtestElimPartialPermutation()
Test elimination partial permutation.
-
testTrinks7GBaseElimPart
public void testTrinks7GBaseElimPart()
Test elim partial Trinks7 GBase.
-
testGBasePart
public void testGBasePart()
Test partial GBase.
-
testPermGen
public void testPermGen()
Test permutation generation.
-
-