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.

Author:

Heinz Kredel

Constructor Summary

Constructors
Constructor and Description

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

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

Method Summary

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()`
`protected void`	`tearDown()`
`void`	`testAddition()` Test addition.
`void`	`testAddition2()` Test addition.
`void`	`testBitLength()` Test bitLength.
`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
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
  - 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.
  - testBitLength
```
public void testBitLength()
```
    Test bitLength.
  - 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.

Class ExpVectorTest

Constructor Summary

Method Summary

Methods inherited from class junit.framework.TestCase

Methods inherited from class java.lang.Object

Constructor Detail

ExpVectorTest

Method Detail

main

suite

setUp

tearDown

testConstructor

testBitLength

testRandom

testAddition

testLcm

testTdeg

testWeightdeg

testDependency

testRandom2

testAddition2

testLcm2

testTdeg2

testWeightdeg2

testDependency2

testEvaluation