Package edu.jas.gbufd

Class GroebnerBaseFGLMTest

  • All Implemented Interfaces:
    junit.framework.Test

    public class GroebnerBaseFGLMTest
    extends junit.framework.TestCase
    Groebner base via FGLM tests with JUnit.
    Author:
    Heinz Kredel
    • Constructor Summary

      Constructors 
      Constructor Description
      GroebnerBaseFGLMTest​(java.lang.String name)
      Constructs a GroebnerBaseFGLMTest 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 testExamGBase()
      Test example GBase.
      void testTrinks6GBase()
      Test Trinks6 GBase.
      void testTrinks7GBase()
      Test Trinks7 GBase.
      void testTrinks7GBaseCompl()
      Test Trinks7 GBase over Q(i).
      void testTrinks7GBaseSqrt()
      Test Trinks7 GBase over Q(sqrt(2)).
      • 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

      • GroebnerBaseFGLMTest

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

        public void testExamGBase()
        Test example GBase.