Package edu.jas.gbufd
Class WordGroebnerBasePseudoRecSeqTest
- java.lang.Object
-
- junit.framework.Assert
-
- junit.framework.TestCase
-
- edu.jas.gbufd.WordGroebnerBasePseudoRecSeqTest
-
- All Implemented Interfaces:
junit.framework.Test
public class WordGroebnerBasePseudoRecSeqTest extends junit.framework.TestCase
Word Groebner base recursive pseudo reduction sequential tests with JUnit.- Author:
- Heinz Kredel
-
-
Constructor Summary
Constructors Constructor Description WordGroebnerBasePseudoRecSeqTest(java.lang.String name)
Constructs aWordGroebnerBasePseudoRecSeqTest
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
testHawes2GBase()
Test Hawes2 GBase with commutative relations.void
testRecSequentialGBase()
Test recursive sequential GBase.-
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
-
WordGroebnerBasePseudoRecSeqTest
public WordGroebnerBasePseudoRecSeqTest(java.lang.String name)
Constructs aWordGroebnerBasePseudoRecSeqTest
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
-
testRecSequentialGBase
public void testRecSequentialGBase()
Test recursive sequential GBase.
-
testHawes2GBase
public void testHawes2GBase()
Test Hawes2 GBase with commutative relations.
-
-