edu.jas.gb

Class WordGroebnerBaseSeqTest

java.lang.Object

junit.framework.Assert

junit.framework.TestCase

edu.jas.gb.WordGroebnerBaseSeqTest

All Implemented Interfaces:

junit.framework.Test

public class WordGroebnerBaseSeqTest
extends junit.framework.TestCase

Groebner base sequential tests with JUnit.

Author:

Heinz Kredel.

Constructor Summary

Constructors

Constructor and Description
WordGroebnerBaseSeqTest(java.lang.String name) Constructs a WordGroebnerBaseSeqTest object.

Method Summary

Modifier and Type	Method and Description
static void	main(java.lang.String[] args) main
protected void	setUp()
static junit.framework.Test	suite() suite.
protected void	tearDown()
void	testExample1GBase() Test example 1 word GBase.
void	testExample2GBase() Test example 2 word GBase.
void	testSequentialGBase() Test sequential univariate Word GBase.
void	testTrinks7GBase() Test Trinks7 as non-commutative example word GBase.

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

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Detail

WordGroebnerBaseSeqTest

public WordGroebnerBaseSeqTest(java.lang.String name)

Constructs a WordGroebnerBaseSeqTest 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 univariate Word GBase.

testExample1GBase

public void testExample1GBase()

Test example 1 word GBase.

testTrinks7GBase

public void testTrinks7GBase()

Test Trinks7 as non-commutative example word GBase.

testExample2GBase

public void testExample2GBase()

Test example 2 word GBase.