edu.jas.gb
Class EGroebnerBaseSeqTest

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

public class EGroebnerBaseSeqTest
extends junit.framework.TestCase

EGroebner base sequential tests with JUnit.

Author:
Heinz Kredel.

Constructor Summary
EGroebnerBaseSeqTest(java.lang.String name)
          Constructs a EGroebnerBaseSeqTest object.
 
Method Summary
static void main(java.lang.String[] args)
          main
protected  void setUp()
           
static junit.framework.Test suite()
          suite.
protected  void tearDown()
           
 void testSequentialGBase()
          Test sequential GBase.
 void xtestTrinks7GBaseZ_B()
          Test Trinks7 GBase over Z(B).
 void xtestTrinks7GBaseZ()
          Test Trinks7 GBase over Z.
 
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

EGroebnerBaseSeqTest

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


xtestTrinks7GBaseZ

public void xtestTrinks7GBaseZ()
Test Trinks7 GBase over Z.


xtestTrinks7GBaseZ_B

public void xtestTrinks7GBaseZ_B()
Test Trinks7 GBase over Z(B).