Package edu.jas.gbufd

Class GroebnerBaseWalkTest

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

    • Constructor Summary

      Constructors 
      Constructor Description
      GroebnerBaseWalkTest​(java.lang.String name)
      Constructs a GroebnerBaseWalkTest 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 testFGLMGBase()
      Test example GBase.
      void testFGLMissacGBase()
      Test ISSAC GBase.
      void testFJLTGBase()
      Test FJLT GBase.
      void testTrinksGBase()
      Test Trinks GBase.
      void testTrinksGBaseT1T2()
      Test Trinks GBase with different t1 and t2.

      • 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

      • GroebnerBaseWalkTest

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

      • testFJLTGBase

        public void testFJLTGBase()
        Test FJLT GBase. Example from the FJLT paper.

      • testFGLMGBase

        public void testFGLMGBase()
        Test example GBase.

      • testTrinksGBaseT1T2

        public void testTrinksGBaseT1T2()
        Test Trinks GBase with different t1 and t2.

      • testFGLMissacGBase

        public void testFGLMissacGBase()
        Test ISSAC GBase. Example from the FGLM paper.