edu.jas.ufd

Class PolyUfdUtilTest

java.lang.Object

junit.framework.Assert

junit.framework.TestCase

edu.jas.ufd.PolyUfdUtilTest

All Implemented Interfaces:

junit.framework.Test

public class PolyUfdUtilTest
extends junit.framework.TestCase

PolyUfdUtil tests with JUnit.

Author:

Heinz Kredel

Constructor Summary

Constructors

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

Method Summary

Modifier and Type	Method and Description
protected static java.math.BigInteger	getPrime1()
protected static java.math.BigInteger	getPrime2()
static void	main(java.lang.String[] args) main.
protected void	setUp()
static junit.framework.Test	suite()
protected void	tearDown()
void	testAlgebraicNumberField() Test algebraic number field.
void	testKroneckerSubstitution() Test Kronecker substitution.
void	testMultiNormAlgebraicNumberField() Test multivariate norm over algebraic number field.
void	testNormAlgebraicNumberField() Test norm over algebraic number field.
void	testRecursiveIntegerFromRationalCoefficients() Test integer from rational coefficients, recursive.
void	testRecursivePseudoDivisionDense() Test recursive dense pseudo division.
void	testRecursivePseudoDivisionSparse() Test recursive sparse pseudo division.

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

PolyUfdUtilTest

public PolyUfdUtilTest(java.lang.String name)

Constructs a PolyUtilTest object.

Parameters:

name - String.

Method Detail

main

public static void main(java.lang.String[] args)

main.

suite

public static junit.framework.Test suite()

setUp

protected void setUp()

Overrides:

setUp in class junit.framework.TestCase

tearDown

protected void tearDown()

Overrides:

tearDown in class junit.framework.TestCase

getPrime1

protected static java.math.BigInteger getPrime1()

getPrime2

protected static java.math.BigInteger getPrime2()

testKroneckerSubstitution

public void testKroneckerSubstitution()

Test Kronecker substitution.

testAlgebraicNumberField

public void testAlgebraicNumberField()

Test algebraic number field.

testRecursivePseudoDivisionDense

public void testRecursivePseudoDivisionDense()

Test recursive dense pseudo division.

testRecursivePseudoDivisionSparse

public void testRecursivePseudoDivisionSparse()

Test recursive sparse pseudo division.

testRecursiveIntegerFromRationalCoefficients

public void testRecursiveIntegerFromRationalCoefficients()

Test integer from rational coefficients, recursive.

testNormAlgebraicNumberField

public void testNormAlgebraicNumberField()

Test norm over algebraic number field.

testMultiNormAlgebraicNumberField

public void testMultiNormAlgebraicNumberField()

Test multivariate norm over algebraic number field.