public class RecSolvablePolynomialTest extends junit.framework.TestCase
Constructor and Description |
---|
RecSolvablePolynomialTest(java.lang.String name)
Constructs a
RecSolvablePolynomialTest 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 |
testCommutative()
Test commutative ring.
|
void |
testConstructor()
Test constructor, generators and properties.
|
void |
testDistRecWeyl()
Test distribute and recursion for Weyl relations.
|
void |
testDistributive()
Test distributive law.
|
void |
testExtendContractWeyl()
Test extension and contraction for Weyl relations.
|
void |
testMultiplication()
Test multiplication.
|
void |
testRandom()
Test random polynomial.
|
void |
testRecursiveIteratedWeyl()
Test recursive for iterated Weyl relations.
|
void |
testRecursiveWeyl()
Test recursive for Weyl relations.
|
void |
testReverseWeyl()
Test reversion for Weyl relations.
|
void |
testSolvableCoeffs()
Test solvable 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 RecSolvablePolynomialTest(java.lang.String name)
RecSolvablePolynomialTest
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 testCommutative()
public void testDistributive()
public void testSolvableCoeffs()
public void testExtendContractWeyl()
public void testDistRecWeyl()
public void testReverseWeyl()
public void testRecursiveWeyl()
public void testRecursiveIteratedWeyl()