edu.jas.gbufd
Class GroebnerBasePartTest

java.lang.Object
  junit.framework.Assert
      junit.framework.TestCase
          edu.jas.gbufd.GroebnerBasePartTest

All Implemented Interfaces:

junit.framework.Test

public class GroebnerBasePartTest
extends junit.framework.TestCase

Groebner base sequential tests with JUnit.

Author:

Heinz Kredel.

Constructor Summary

GroebnerBasePartTest(java.lang.String name)
Constructs a GroebnerBasePartTest object.

Method Summary

static void	main(java.lang.String[] args) main
protected void	setUp()
static junit.framework.Test	suite() suite.
protected void	tearDown()
void	testGBasePart() Test partial GBase.
void	testPartialPermutation() Test partial permutation.
void	testPermGen() Test permutation generation.
void	testTrinks7GBaseElimPart() Test elim partial Trinks7 GBase.
void	testTrinks7GBasePart() Test partial Trinks7 GBase.
void	testTrinks7GBasePartRec() Test partial recursive Trinks7 GBase.
void	xtestElimPartialPermutation() Test elimination partial permutation.

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

GroebnerBasePartTest

public GroebnerBasePartTest(java.lang.String name)

Constructs a GroebnerBasePartTest 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

testTrinks7GBasePartRec

public void testTrinks7GBasePartRec()

Test partial recursive Trinks7 GBase.

testTrinks7GBasePart

public void testTrinks7GBasePart()

Test partial Trinks7 GBase.

testPartialPermutation

public void testPartialPermutation()

Test partial permutation.

xtestElimPartialPermutation

public void xtestElimPartialPermutation()

Test elimination partial permutation.

testTrinks7GBaseElimPart

public void testTrinks7GBaseElimPart()

Test elim partial Trinks7 GBase.

testGBasePart

public void testGBasePart()

Test partial GBase.

testPermGen

public void testPermGen()

Test permutation generation.