Package edu.jas.gb

Class WordGroebnerBaseSeqTest

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

    • Constructor Summary

      Constructors 
      Constructor Description
      WordGroebnerBaseSeqTest​(java.lang.String name)
      Constructs a WordGroebnerBaseSeqTest 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 testExample1GBase()
      Test example 1 word GBase.
      void testExample2GBase()
      Test example 2 word GBase.
      void testSequentialGBase()
      Test sequential univariate Word GBase.
      void testTrinks7GBase()
      Test Trinks7 as non-commutative example word 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

      • WordGroebnerBaseSeqTest

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

      • testSequentialGBase

        public void testSequentialGBase()
        Test sequential univariate Word GBase.

      • testTrinks7GBase

        public void testTrinks7GBase()
        Test Trinks7 as non-commutative example word GBase.