Package edu.jas.gbufd
Class GroebnerBaseFGLMTest
- java.lang.Object
-
- junit.framework.Assert
-
- junit.framework.TestCase
-
- edu.jas.gbufd.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 aGroebnerBaseFGLMTest
object.
-
Method Summary
All Methods Static Methods Instance Methods Concrete Methods Modifier and Type Method Description static void
main(java.lang.String[] args)
mainprotected 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
-
-
-
-
Constructor Detail
-
GroebnerBaseFGLMTest
public GroebnerBaseFGLMTest(java.lang.String name)
Constructs aGroebnerBaseFGLMTest
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 classjunit.framework.TestCase
-
tearDown
protected void tearDown()
- Overrides:
tearDown
in classjunit.framework.TestCase
-
testExamGBase
public void testExamGBase()
Test example GBase.
-
testTrinks7GBase
public void testTrinks7GBase()
Test Trinks7 GBase.
-
testTrinks6GBase
public void testTrinks6GBase()
Test Trinks6 GBase.
-
testTrinks7GBaseSqrt
public void testTrinks7GBaseSqrt()
Test Trinks7 GBase over Q(sqrt(2)).
-
testTrinks7GBaseCompl
public void testTrinks7GBaseCompl()
Test Trinks7 GBase over Q(i).
-
-