Package 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 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 Description GBSigBasedTest(java.lang.String name)
Constructs aGBSigBasedTest
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
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
-
-
-
-
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 aGBSigBasedTest
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 classjunit.framework.TestCase
-
tearDown
protected void tearDown()
- Overrides:
tearDown
in classjunit.framework.TestCase
-
testGBase
public void testGBase()
Test GBase.
-
testTrinks7GBase
public void testTrinks7GBase()
Test Trinks7 GBase.
-
-