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 aWordGroebnerBasePseudoSeqTestobject.
-
Method Summary
All Methods Static Methods Instance Methods Concrete Methods Modifier and Type Method Description static voidmain(java.lang.String[] args)mainprotected voidsetUp()static junit.framework.Testsuite()suite.protected voidtearDown()voidtestExample1GBase()Test example 1 word GBase.voidtestExample2GBase()Test example 3 word GBase.voidtestSequentialGBase()Test sequential univariate Word GBase.voidtestTrinks7GBase()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 aWordGroebnerBasePseudoSeqTestobject.- 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:
setUpin classjunit.framework.TestCase
-
tearDown
protected void tearDown()
- Overrides:
tearDownin 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.
-
-