Package edu.jas.gbufd

Class WordGroebnerBasePseudoRecSeqTest

  • All Implemented Interfaces:
    junit.framework.Test
    public class WordGroebnerBasePseudoRecSeqTest
extends junit.framework.TestCase
    Word Groebner base recursive pseudo reduction sequential tests with JUnit.
    Author:
    Heinz Kredel

    • Constructor Summary

      Constructors 
      Constructor Description
      WordGroebnerBasePseudoRecSeqTest​(java.lang.String name)
      Constructs a WordGroebnerBasePseudoRecSeqTest 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 testHawes2GBase()
      Test Hawes2 GBase with commutative relations.
      void testRecSequentialGBase()
      Test recursive sequential GBase.

      • 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

      • WordGroebnerBasePseudoRecSeqTest

        public WordGroebnerBasePseudoRecSeqTest​(java.lang.String name)
        Constructs a WordGroebnerBasePseudoRecSeqTest 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

      • testHawes2GBase

        public void testHawes2GBase()
        Test Hawes2 GBase with commutative relations.