WordReductionTest

java.lang.Object
- junit.framework.Assert
- - junit.framework.TestCase
  - - edu.jas.gb.WordReductionTest

Constructors
Constructor and Description
`WordReductionTest(java.lang.String name)` Constructs a `WordReductionTest` object.

All Methods Static Methods Instance Methods Concrete Methods
Modifier and Type	Method and Description
`static void`	`main(java.lang.String[] args)` main
`protected 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

Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Class WordReductionTest