Package 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
Constructors Constructor Description IdealTest(java.lang.String name)
Constructs aIdealTest
object.
-
Method Summary
All Methods Static Methods Instance Methods Concrete Methods Modifier and Type Method Description static void
main(java.lang.String[] args)
mainprotected void
setUp()
static junit.framework.Test
suite()
suite.protected void
tearDown()
void
testAnnihilator()
Test Ideal annihilator.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
testRootDecompositionChar0()
Test 0-dim root decomposition char 0.void
testRootDecompositionCharP()
Test 0-dim root decomposition char p = 13.void
testRootDecompositionReal()
Test 0-dim root decomposition and real roots.void
testUnivPoly()
Test univariate polynomials in ideal.void
testZeroDimDecomp()
Test zero dimensional decomposition.void
testZeroDimRadicalDecomp()
Test zero dimensional radical decomposition.-
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
-
-
-
-
Constructor Detail
-
IdealTest
public IdealTest(java.lang.String name)
Constructs aIdealTest
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 classjunit.framework.TestCase
-
tearDown
protected void tearDown()
- Overrides:
tearDown
in classjunit.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.
-
testZeroDimRadicalDecomp
public void testZeroDimRadicalDecomp()
Test zero dimensional radical 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.
-
testRootDecompositionChar0
public void testRootDecompositionChar0()
Test 0-dim root decomposition char 0.
-
testRootDecompositionCharP
public void testRootDecompositionCharP()
Test 0-dim root decomposition char p = 13.
-
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.
-
testAnnihilator
public void testAnnihilator()
Test Ideal annihilator.
-
-