Package edu.jas.gb
Class WordReductionTest
- java.lang.Object
-
- junit.framework.Assert
-
- junit.framework.TestCase
-
- edu.jas.gb.WordReductionTest
-
- All Implemented Interfaces:
junit.framework.Test
public class WordReductionTest extends junit.framework.TestCase
Word reduction tests with JUnit.- Author:
- Heinz Kredel
-
-
Constructor Summary
Constructors Constructor Description WordReductionTest(java.lang.String name)
Constructs aWordReductionTest
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
testRatReduction()
Test rational coefficient reduction.void
testRatReduction0()
Test constants and empty list reduction.void
testRatReductionRecording()
Test rational coefficient reduction with recording.void
testRatSpolynomial()
Test rational S-polynomial.-
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
-
WordReductionTest
public WordReductionTest(java.lang.String name)
Constructs aWordReductionTest
object.- Parameters:
name
- String
-
-
Method Detail
-
main
public static void main(java.lang.String[] args)
main
-
suite
public static junit.framework.Test suite()
suite.- Returns:
- a test suite.
-
setUp
protected void setUp()
- Overrides:
setUp
in classjunit.framework.TestCase
-
tearDown
protected void tearDown()
- Overrides:
tearDown
in classjunit.framework.TestCase
-
testRatReduction0
public void testRatReduction0()
Test constants and empty list reduction.
-
testRatReduction
public void testRatReduction()
Test rational coefficient reduction.
-
testRatReductionRecording
public void testRatReductionRecording()
Test rational coefficient reduction with recording.
-
testRatSpolynomial
public void testRatSpolynomial()
Test rational S-polynomial.
-
-