edu.jas.application
Class IdealTest

java.lang.Object
  junit.framework.Assert
      junit.framework.TestCase
          edu.jas.application.IdealTest

All Implemented Interfaces:

junit.framework.Test

public class IdealTest
extends junit.framework.TestCase

Ideal tests with JUnit.

Author:

Heinz Kredel.

Constructor Summary

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

Method Summary

static void	main(java.lang.String[] args) main
protected void	setUp()
static junit.framework.Test	suite() suite.
protected void	tearDown()
void	testComplexRoot() Test complex roots univariate polynomials in zero dim ideal.
void	testElimIdeal() Test elimination Ideals.
void	testExtCont() Test extension-contraction.
void	testIdealCommonZeros() Test Ideal common zeros.
void	testIdealComplexRoot() Test complex roots univariate polynomials in zero dim ideal.
void	testIdealDimension() Test Ideal dimension.
void	testIdealInfiniteQuotient() Test Ideal infinite quotient.
void	testIdealInfiniteQuotientRabi() Test Ideal infinite quotient with Rabinowich trick.
void	testIdealProduct() Test Ideal product.
void	testIdealQuotient() Test Ideal quotient.
void	testIdealRadicalMember() Test Ideal radical membership.
void	testIdealRealRoot() Test real roots univariate polynomials in zero dim ideal.
void	testIdealSum() Test Ideal sum.
void	testIdealTopt() Test Ideal term order optimization.
void	testIrredDecomp() Test ideal decomposition.
void	testNormalPosition() Test normal position.
void	testPrimaryDecomp() Test primary ideal decomposition.
void	testPrimaryDecomposition() Test 0-dim primary decomposition.
void	testPrimeDecomp() Test prime ideal decomposition.
void	testPrimeDecomposition() Test 0-dim prime decomposition.
void	testRadicalDecomp() Test radical ideal decomposition.
void	testRealRoot() Test real roots univariate polynomials in zero dim ideal.
void	testRootDecomposition() Test 0-dim root decomposition.
void	testRootDecompositionReal() Test 0-dim root decomposition and real roots.
void	testUnivPoly() Test univariate polynomials in ideal.
void	testZeroDimDecomp() Test zero dimensional decomposition.

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

IdealTest

public IdealTest(java.lang.String name)

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

testIdealSum

public void testIdealSum()

Test Ideal sum.

testIdealProduct

public void testIdealProduct()

Test Ideal product.

testIdealQuotient

public void testIdealQuotient()

Test Ideal quotient.

testIdealInfiniteQuotient

public void testIdealInfiniteQuotient()

Test Ideal infinite quotient.

testIdealInfiniteQuotientRabi

public void testIdealInfiniteQuotientRabi()

Test Ideal infinite quotient with Rabinowich trick.

testIdealRadicalMember

public void testIdealRadicalMember()

Test Ideal radical membership.

testIdealCommonZeros

public void testIdealCommonZeros()

Test Ideal common zeros.

testIdealDimension

public void testIdealDimension()

Test Ideal dimension.

testIdealTopt

public void testIdealTopt()

Test Ideal term order optimization.

testElimIdeal

public void testElimIdeal()

Test elimination Ideals.

testUnivPoly

public void testUnivPoly()

Test univariate polynomials in ideal.

testComplexRoot

public void testComplexRoot()

Test complex roots univariate polynomials in zero dim ideal.

testRealRoot

public void testRealRoot()

Test real roots univariate polynomials in zero dim ideal.

testZeroDimDecomp

public void testZeroDimDecomp()

Test zero dimensional decomposition.

testIdealRealRoot

public void testIdealRealRoot()

Test real roots univariate polynomials in zero dim ideal.

testIdealComplexRoot

public void testIdealComplexRoot()

Test complex roots univariate polynomials in zero dim ideal.

testNormalPosition

public void testNormalPosition()

Test normal position.

testRootDecomposition

public void testRootDecomposition()

Test 0-dim root decomposition.

testPrimeDecomposition

public void testPrimeDecomposition()

Test 0-dim prime decomposition.

testPrimaryDecomposition

public void testPrimaryDecomposition()

Test 0-dim primary decomposition.

testRootDecompositionReal

public void testRootDecompositionReal()

Test 0-dim root decomposition and real roots.

testExtCont

public void testExtCont()

Test extension-contraction.

testPrimeDecomp

public void testPrimeDecomp()

Test prime ideal decomposition.

testRadicalDecomp

public void testRadicalDecomp()

Test radical ideal decomposition.

testIrredDecomp

public void testIrredDecomp()

Test ideal decomposition.

testPrimaryDecomp

public void testPrimaryDecomp()

Test primary ideal decomposition.