edu.jas.ufd
Class HenselUtilTest

java.lang.Object
  junit.framework.Assert
      junit.framework.TestCase
          edu.jas.ufd.HenselUtilTest

All Implemented Interfaces:

junit.framework.Test

public class HenselUtilTest
extends junit.framework.TestCase

HenselUtil tests with JUnit.

Author:

Heinz Kredel.

Constructor Summary

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

Method Summary

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	testHenselLifting() Test Hensel lifting.
void	testHenselLiftingGcd() Test Hensel lifting with gcd.
void	testHenselLiftingList() Test Hensel lifting new list version.
void	testHenselLiftingMonicList() Test Hensel monic lifting new list version.
void	testHenselQuadraticLifting() Test Hensel quadratic lifting.
void	testHenselQuadraticLiftingGcd() Test Hensel quadratic lifting with gcd.
void	testLiftingDiophantList() Test lifting of list of Diophant relation.
void	testLiftingEgcd() Test lifting of extended Euclidean relation.
void	testLiftingEgcdList() Test lifting of list of extended Euclidean relation.

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

HenselUtilTest

public HenselUtilTest(java.lang.String name)

Constructs a HenselUtilTest 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()

testHenselLifting

public void testHenselLifting()

Test Hensel lifting.

testHenselLiftingGcd

public void testHenselLiftingGcd()

Test Hensel lifting with gcd.

testHenselQuadraticLifting

public void testHenselQuadraticLifting()

Test Hensel quadratic lifting.

testHenselQuadraticLiftingGcd

public void testHenselQuadraticLiftingGcd()

Test Hensel quadratic lifting with gcd.

testLiftingEgcd

public void testLiftingEgcd()

Test lifting of extended Euclidean relation.

testLiftingEgcdList

public void testLiftingEgcdList()

Test lifting of list of extended Euclidean relation.

testLiftingDiophantList

public void testLiftingDiophantList()

Test lifting of list of Diophant relation.

testHenselLiftingMonicList

public void testHenselLiftingMonicList()

Test Hensel monic lifting new list version.

testHenselLiftingList

public void testHenselLiftingList()

Test Hensel lifting new list version.