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 aGroebnerBaseFGLMTestobject.
-
Method Summary
All Methods Static Methods Instance Methods Concrete Methods Modifier and Type Method Description static voidmain(java.lang.String[] args)mainprotected voidsetUp()static junit.framework.Testsuite()suite.protected voidtearDown()voidtestExamGBase()Test example GBase.voidtestTrinks6GBase()Test Trinks6 GBase.voidtestTrinks7GBase()Test Trinks7 GBase.voidtestTrinks7GBaseCompl()Test Trinks7 GBase over Q(i).voidtestTrinks7GBaseSqrt()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 aGroebnerBaseFGLMTestobject.- 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:
setUpin classjunit.framework.TestCase
-
tearDown
protected void tearDown()
- Overrides:
tearDownin 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).
-
-