edu.jas.gb
Class GroebnerBaseSeqTest

java.lang.Object
  extended by junit.framework.Assert
      extended by junit.framework.TestCase
          extended by edu.jas.gb.GroebnerBaseSeqTest
All Implemented Interfaces:
junit.framework.Test

public class GroebnerBaseSeqTest
extends junit.framework.TestCase

Groebner base sequential tests with JUnit.

Author:
Heinz Kredel.

Constructor Summary
GroebnerBaseSeqTest(java.lang.String name)
          Constructs a GroebnerBaseSeqTest object.
 
Method Summary
static void main(java.lang.String[] args)
          main
protected  void setUp()
           
static junit.framework.Test suite()
          suite.
protected  void tearDown()
           
 void testSequentialExtendedGBase()
          Test sequential extended GBase.
 void testSequentialGBase()
          Test sequential GBase.
 void testSequentialGBaseBoth()
          Test sequential GBase, both.
 void testTrinks7ExtendedGBase()
          Test Trinks7 GBase.
 void testTrinks7GBase()
          Test Trinks7 GBase.
 void testTrinks7GBaseMin()
          Test Trinks7 GBase, min pair list.
 void testTrinks7GBaseSyz()
          Test Trinks7 GBase, syz pair list.
 
Methods inherited from class junit.framework.TestCase
countTestCases, createResult, getName, run, run, runBare, runTest, setName, toString
 
Methods inherited from class junit.framework.Assert
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, fail, fail
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Constructor Detail

GroebnerBaseSeqTest

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


testTrinks7GBase

public void testTrinks7GBase()
Test Trinks7 GBase.


testSequentialExtendedGBase

public void testSequentialExtendedGBase()
Test sequential extended GBase.


testTrinks7ExtendedGBase

public void testTrinks7ExtendedGBase()
Test Trinks7 GBase.


testTrinks7GBaseSyz

public void testTrinks7GBaseSyz()
Test Trinks7 GBase, syz pair list.


testTrinks7GBaseMin

public void testTrinks7GBaseMin()
Test Trinks7 GBase, min pair list.


testSequentialGBaseBoth

public void testSequentialGBaseBoth()
Test sequential GBase, both.