Package edu.jas.gb

Class ReductionTest

  • All Implemented Interfaces:
    junit.framework.Test

    public class ReductionTest
    extends junit.framework.TestCase
    Reduction / normalform tests with JUnit.
    Author:
    Heinz Kredel
    • Constructor Summary

      Constructors 
      Constructor Description
      ReductionTest​(java.lang.String name)
      Constructs a ReductionTest object.
    • Method Summary

      All Methods Static Methods Instance Methods Concrete Methods 
      Modifier and Type Method Description
      static void main​(java.lang.String[] args)
      main
      protected void setUp()  
      static junit.framework.Test suite()
      suite.
      protected void tearDown()  
      void testComplexReduction()
      Test complex coefficient reduction.
      void testIntegerDReduction()
      Test integer coefficient d-reduction.
      void testIntegerDReductionRecording()
      Test integer coefficient d-reduction recording.
      void testIntegerEReduction()
      Test integer coefficient e-reduction.
      void testIntegerEReductionRecording()
      Test integer coefficient e-reduction recording.
      void testRatReduction()
      Test rational coefficient reduction.
      void testRatReduction0()
      Test constants and empty list reduction.
      void testRatReductionPar()
      Test rational coefficient parallel reduction.
      void testRatReductionPar0()
      Test parallel reduction with constants and empty list reduction.
      void testRatReductionRecording()
      Test rational coefficient reduction with recording.
      • 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

      • ReductionTest

        public ReductionTest​(java.lang.String name)
        Constructs a ReductionTest object.
        Parameters:
        name - String
    • Method Detail

      • main

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

        public static junit.framework.Test suite()
        suite.
        Returns:
        a test suite.
      • setUp

        protected void setUp()
        Overrides:
        setUp in class junit.framework.TestCase
      • tearDown

        protected void tearDown()
        Overrides:
        tearDown in class junit.framework.TestCase
      • testRatReduction0

        public void testRatReduction0()
        Test constants and empty list reduction.
      • testRatReductionPar0

        public void testRatReductionPar0()
        Test parallel reduction with constants and empty list reduction.
      • testRatReduction

        public void testRatReduction()
        Test rational coefficient reduction.
      • testRatReductionPar

        public void testRatReductionPar()
        Test rational coefficient parallel reduction.