public class ResidueSolvableWordPolynomialTest extends junit.framework.TestCase
Constructor and Description |
---|
ResidueSolvableWordPolynomialTest(java.lang.String name)
Constructs a
ResidueSolvableWordPolynomialTest object. |
Modifier and Type | Method and Description |
---|---|
static void |
main(java.lang.String[] args)
main.
|
protected void |
setUp() |
static junit.framework.Test |
suite() |
protected void |
tearDown() |
void |
testAddition()
Test addition.
|
void |
testConstructor()
Test constructor, generators and properties.
|
void |
testDistributive()
Test distributive law.
|
void |
testExtendContractWeyl()
Test extension and contraction for Weyl relations.
|
void |
testMultiplication()
Test multiplication.
|
void |
testRandom()
Test random polynomial and conversion.
|
void |
testReverseWeyl()
Test reversion for Weyl relations.
|
void |
testWordCoeffsRelations()
Test word coefficient ring.
|
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
public ResidueSolvableWordPolynomialTest(java.lang.String name)
ResidueSolvableWordPolynomialTest
object.name
- String.public static void main(java.lang.String[] args)
public static junit.framework.Test suite()
protected void setUp()
setUp
in class junit.framework.TestCase
protected void tearDown()
tearDown
in class junit.framework.TestCase
public void testConstructor()
public void testRandom()
public void testAddition()
public void testMultiplication()
public void testDistributive()
public void testWordCoeffsRelations()
public void testExtendContractWeyl()
public void testReverseWeyl()