edu.jas.poly

Class RecSolvablePolynomialTest

java.lang.Object

junit.framework.Assert

junit.framework.TestCase

edu.jas.poly.RecSolvablePolynomialTest

All Implemented Interfaces:

junit.framework.Test

public class RecSolvablePolynomialTest
extends junit.framework.TestCase

BigRational coefficients RecSolvablePolynomial tests with JUnit.

Author:

Heinz Kredel.

Constructor Summary

Constructors

Constructor and Description
RecSolvablePolynomialTest(java.lang.String name) Constructs a RecSolvablePolynomialTest object.

Method Summary

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.

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

Constructor Detail

RecSolvablePolynomialTest

public RecSolvablePolynomialTest(java.lang.String name)

Constructs a RecSolvablePolynomialTest object.

Parameters:

name - String.

Method Detail

main

public static void main(java.lang.String[] args)

main.

suite

public static junit.framework.Test suite()

setUp

protected void setUp()

Overrides:

setUp in class junit.framework.TestCase

tearDown

protected void tearDown()

Overrides:

tearDown in class junit.framework.TestCase

testConstructor

public void testConstructor()

Test constructor, generators and properties.

testRandom

public void testRandom()

Test random polynomial.

testAddition

public void testAddition()

Test addition.

testMultiplication

public void testMultiplication()

Test multiplication.

testCommutative

public void testCommutative()

Test commutative ring.

testDistributive

public void testDistributive()

Test distributive law.

testSolvableCoeffs

public void testSolvableCoeffs()

Test solvable coefficient ring.

testExtendContractWeyl

public void testExtendContractWeyl()

Test extension and contraction for Weyl relations.

testDistRecWeyl

public void testDistRecWeyl()

Test distribute and recursion for Weyl relations.

testReverseWeyl

public void testReverseWeyl()

Test reversion for Weyl relations.

testRecursiveWeyl

public void testRecursiveWeyl()

Test recursive for Weyl relations.

testRecursiveIteratedWeyl

public void testRecursiveIteratedWeyl()

Test recursive for iterated Weyl relations.