edu.jas.ring
Class SolvableGroebnerBaseSeqPairSeqTest

java.lang.Object
  junit.framework.Assert
      junit.framework.TestCase
          edu.jas.ring.SolvableGroebnerBaseSeqPairSeqTest

All Implemented Interfaces:

junit.framework.Test

public class SolvableGroebnerBaseSeqPairSeqTest
extends junit.framework.TestCase

SolvableGroebner base, sequential pair list, sequential tests with JUnit.

Author:

Heinz Kredel.

Constructor Summary

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

Method Summary

static void	main(java.lang.String[] args) main.
protected void	setUp()
static junit.framework.Test	suite() suite.
protected void	tearDown()
void	testSeqPairSequentialExtendedGBase() Test sequential extended left GBase.
void	testSequentialGBase() Test sequential GBase.
void	testSequentialTSGBase() Test sequential twosided GBase.
void	testWeylSequentialExtendedGBase() Test Weyl sequential extended GBase.
void	testWeylSequentialGBase() Test Weyl sequential GBase.
void	testWeylSequentialTSGBase() Test Weyl sequential twosided GBase is always 1.

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

SolvableGroebnerBaseSeqPairSeqTest

public SolvableGroebnerBaseSeqPairSeqTest(java.lang.String name)

Constructs a SolvableGroebnerBaseSeqPairSeqTest 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.

testWeylSequentialGBase

public void testWeylSequentialGBase()

Test Weyl sequential GBase.

testSequentialTSGBase

public void testSequentialTSGBase()

Test sequential twosided GBase.

testWeylSequentialTSGBase

public void testWeylSequentialTSGBase()

Test Weyl sequential twosided GBase is always 1.

testSeqPairSequentialExtendedGBase

public void testSeqPairSequentialExtendedGBase()

Test sequential extended left GBase.

testWeylSequentialExtendedGBase

public void testWeylSequentialExtendedGBase()

Test Weyl sequential extended GBase.