edu.jas.poly
Class ExpVectorTest

java.lang.Object
  junit.framework.Assert
      junit.framework.TestCase
          edu.jas.poly.ExpVectorTest

All Implemented Interfaces:

junit.framework.Test

public class ExpVectorTest
extends junit.framework.TestCase

ExpVector tests with JUnit. Tests arithmetic operations, for comparison tests @see TermOrderTest.java

Author:

Heinz Kredel.

Constructor Summary

ExpVectorTest(java.lang.String name)
Constructs a ExpVectorTest object.

Method Summary

static void	main(java.lang.String[] args) main
protected void	setUp()
static junit.framework.Test	suite()
protected void	tearDown()
void	testAddition() Test addition.
void	testAddition2() Test addition.
void	testConstructor() Test constructor and toString.
void	testDependency() Test dependency on variables.
void	testDependency2() Test dependency on variables.
void	testEvaluation() Test evaluation.
void	testLcm() Test lcm.
void	testLcm2() Test lcm.
void	testRandom() Test random integer.
void	testRandom2() Test random exp vector 2.
void	testTdeg() Test tdeg.
void	testTdeg2() Test tdeg.
void	testWeightdeg() Test weighted.
void	testWeightdeg2() Test weighted.

Methods inherited from class junit.framework.TestCase

countTestCases, createResult, getName, run, run, runBare, runTest, setName, toString

Methods inherited from class junit.framework.Assert

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, fail, fail

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Detail

ExpVectorTest

public ExpVectorTest(java.lang.String name)

Constructs a ExpVectorTest 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 and toString.

testRandom

public void testRandom()

Test random integer.

testAddition

public void testAddition()

Test addition.

testLcm

public void testLcm()

Test lcm.

testTdeg

public void testTdeg()

Test tdeg.

testWeightdeg

public void testWeightdeg()

Test weighted.

testDependency

public void testDependency()

Test dependency on variables.

testRandom2

public void testRandom2()

Test random exp vector 2.

testAddition2

public void testAddition2()

Test addition.

testLcm2

public void testLcm2()

Test lcm.

testTdeg2

public void testTdeg2()

Test tdeg.

testWeightdeg2

public void testWeightdeg2()

Test weighted.

testDependency2

public void testDependency2()

Test dependency on variables.

testEvaluation

public void testEvaluation()

Test evaluation.