Package edu.jas.gbufd
Class WordGroebnerBasePseudoSeqTest
- java.lang.Object
-
- junit.framework.Assert
-
- junit.framework.TestCase
-
- edu.jas.gbufd.WordGroebnerBasePseudoSeqTest
-
- All Implemented Interfaces:
junit.framework.Test
public class WordGroebnerBasePseudoSeqTest extends junit.framework.TestCase
Word Groebner base sequential tests with JUnit.- Author:
- Heinz Kredel
-
-
Constructor Summary
Constructors Constructor Description WordGroebnerBasePseudoSeqTest(java.lang.String name)
Constructs aWordGroebnerBasePseudoSeqTest
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
testExample1GBase()
Test example 1 word GBase.void
testExample2GBase()
Test example 3 word GBase.void
testSequentialGBase()
Test sequential univariate Word GBase.void
testTrinks7GBase()
Test Trinks7 as non-commutative example word 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
-
WordGroebnerBasePseudoSeqTest
public WordGroebnerBasePseudoSeqTest(java.lang.String name)
Constructs aWordGroebnerBasePseudoSeqTest
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
-
testSequentialGBase
public void testSequentialGBase()
Test sequential univariate Word GBase.
-
testExample1GBase
public void testExample1GBase()
Test example 1 word GBase.
-
testTrinks7GBase
public void testTrinks7GBase()
Test Trinks7 as non-commutative example word GBase.
-
testExample2GBase
public void testExample2GBase()
Test example 3 word GBase.
-
-