edu.jas.gb

Class GBSigBasedTest

java.lang.Object

junit.framework.Assert

junit.framework.TestCase

edu.jas.gb.GBSigBasedTest

All Implemented Interfaces:

junit.framework.Test

public class GBSigBasedTest
extends junit.framework.TestCase

Groebner base sig based via jython tests with JUnit.

Author:

Heinz Kredel.

Field Summary

Fields

Modifier and Type	Field and Description
(package private) edu.jas.poly.GenPolynomial<edu.jas.arith.BigRational>	a
(package private) edu.jas.poly.GenPolynomial<edu.jas.arith.BigRational>	b
(package private) edu.jas.gb.GroebnerBaseAbstract<edu.jas.arith.BigRational>	bb
(package private) edu.jas.gb.GroebnerBaseAbstract<edu.jas.arith.BigRational>	bbn
(package private) edu.jas.poly.GenPolynomial<edu.jas.arith.BigRational>	c
(package private) edu.jas.poly.GenPolynomial<edu.jas.arith.BigRational>	d
(package private) edu.jas.poly.GenPolynomial<edu.jas.arith.BigRational>	e
(package private) int	el
(package private) edu.jas.poly.PolynomialList<edu.jas.arith.BigRational>	F
(package private) edu.jas.poly.GenPolynomialRing<edu.jas.arith.BigRational>	fac
(package private) java.util.List<edu.jas.poly.GenPolynomial<edu.jas.arith.BigRational>>	G
(package private) java.util.List<edu.jas.poly.GenPolynomial<edu.jas.arith.BigRational>>	Gn
(package private) int	kl
(package private) java.util.List<edu.jas.poly.GenPolynomial<edu.jas.arith.BigRational>>	L
(package private) int	ll
(package private) float	q
(package private) int	rl

Constructor Summary

Constructors

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

Method Summary

Modifier and Type	Method and Description
static void	main(java.lang.String[] args) main
protected void	setUp()
static junit.framework.Test	suite() suite.
protected void	tearDown()
void	testGBase() Test GBase.
void	testTrinks7GBase() Test Trinks7 GBase.

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

Field Detail

fac

edu.jas.poly.GenPolynomialRing<edu.jas.arith.BigRational> fac

L

java.util.List<edu.jas.poly.GenPolynomial<edu.jas.arith.BigRational>> L

F

edu.jas.poly.PolynomialList<edu.jas.arith.BigRational> F

G

java.util.List<edu.jas.poly.GenPolynomial<edu.jas.arith.BigRational>> G

Gn

java.util.List<edu.jas.poly.GenPolynomial<edu.jas.arith.BigRational>> Gn

bb

edu.jas.gb.GroebnerBaseAbstract<edu.jas.arith.BigRational> bb

bbn

edu.jas.gb.GroebnerBaseAbstract<edu.jas.arith.BigRational> bbn

a

edu.jas.poly.GenPolynomial<edu.jas.arith.BigRational> a

b

edu.jas.poly.GenPolynomial<edu.jas.arith.BigRational> b

c

edu.jas.poly.GenPolynomial<edu.jas.arith.BigRational> c

d

edu.jas.poly.GenPolynomial<edu.jas.arith.BigRational> d

e

edu.jas.poly.GenPolynomial<edu.jas.arith.BigRational> e

rl

int rl

kl

int kl

ll

int ll

el

int el

q

float q

Constructor Detail

GBSigBasedTest

public GBSigBasedTest(java.lang.String name)

Constructs a GBSigBasedTest object.

Parameters:

name - String.

Method Detail

main

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

main

Parameters:

args - not used

suite

public static junit.framework.Test suite()

suite.

Returns:

test suite.

setUp

protected void setUp()

Overrides:

setUp in class junit.framework.TestCase

tearDown

protected void tearDown()

Overrides:

tearDown in class junit.framework.TestCase

testGBase

public void testGBase()

Test GBase.

testTrinks7GBase

public void testTrinks7GBase()

Test Trinks7 GBase.