Package edu.jas.gbufd

Class GroebnerBasePartTest

  • All Implemented Interfaces:
    junit.framework.Test
    public class GroebnerBasePartTest
extends junit.framework.TestCase
    Partial Groebner base sequential tests with JUnit.
    Author:
    Heinz Kredel

    • Constructor Summary

      Constructors 
      Constructor Description
      GroebnerBasePartTest​(java.lang.String name)
      Constructs a GroebnerBasePartTest 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 testGBasePart()
      Test partial GBase.
      void testPartialPermutation()
      Test partial permutation.
      void testPermGen()
      Test permutation generation.
      void testTrinks7GBaseElimPart()
      Test elim partial Trinks7 GBase.
      void testTrinks7GBasePart()
      Test partial Trinks7 GBase.
      void testTrinks7GBasePartRec()
      Test partial recursive Trinks7 GBase.
      void xtestElimPartialPermutation()
      Test elimination partial permutation.

      • 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

      • GroebnerBasePartTest

        public GroebnerBasePartTest​(java.lang.String name)
        Constructs a GroebnerBasePartTest object.
        Parameters:
        name - String.

    • Method Detail

      • main

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

      • suite

        public static junit.framework.Test suite()
        suite.

      • setUp

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

      • tearDown

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

      • testGBasePart

        public void testGBasePart()
        Test partial GBase.

      • testPermGen

        public void testPermGen()
        Test permutation generation.