Package edu.jas.poly

Class 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 Description
      ExpVectorTest​(java.lang.String name)
      Constructs a ExpVectorTest object.

    • Method Summary

      All Methods Static Methods Instance Methods Concrete Methods 
      Modifier and Type Method Description
      static void main​(java.lang.String[] args)
      main
      void runWeightdeg​(ExpVector a, ExpVector b)
      Run weight degree tests.
      protected void setUp()  
      static junit.framework.Test suite()  
      protected void tearDown()  
      void testAddition()
      Test addition.
      void testAddition2()
      Test addition.
      void testBitLength()
      Test bitLength.
      void testByte()
      Test ExpVectorByte.
      void testConstructor()
      Test constructor and toString.
      void testDependency()
      Test dependency on variables.
      void testDependency2()
      Test dependency on variables.
      void testEvaluation()
      Test evaluation.
      void testInteger()
      Test ExpVectorInteger.
      void testLcm()
      Test lcm.
      void testLcm2()
      Test lcm.
      void testRandom()
      Test random integer.
      void testRandom2()
      Test random exp vector 2.
      void testShort()
      Test ExpVectorShort.
      void testTdeg()
      Test tdeg.
      void testTdeg2()
      Test tdeg.
      void testWeightdeg()
      Test weight degree.
      void testWeightdeg2()
      Test weighted.
      void testWeightdegIntShortByte()
      Test weight degree, long, integer, short and byte.

      • 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.

      • testRandom

        public void testRandom()
        Test random integer.

      • testLcm

        public void testLcm()
        Test lcm.

      • testTdeg

        public void testTdeg()
        Test tdeg.

      • testWeightdeg

        public void testWeightdeg()
        Test weight degree.

      • testDependency

        public void testDependency()
        Test dependency on variables.

      • testRandom2

        public void testRandom2()
        Test random exp vector 2.

      • testLcm2

        public void testLcm2()
        Test lcm.

      • testTdeg2

        public void testTdeg2()
        Test tdeg.

      • testDependency2

        public void testDependency2()
        Test dependency on variables.

      • testInteger

        public void testInteger()
        Test ExpVectorInteger.

      • testShort

        public void testShort()
        Test ExpVectorShort.

      • testByte

        public void testByte()
        Test ExpVectorByte.