/** Test Weyl sequential GBase. */
public void testWeylSequentialGBase() {
// int rloc = 4;
// ring = new GenSolvablePolynomialRing<BigInteger>(cfac,rloc);
RelationGenerator<BigInteger> wl = new WeylRelations<BigInteger>();
wl.generate(ring);
table = ring.table;
a = ring.random(kl, ll, el, q);
b = ring.random(kl, ll, el, q);
c = ring.random(kl, ll, el, q);
d = ring.random(kl, ll, el, q);
e = d; // ring.random(kl, ll, el, q );
L = new ArrayList<GenSolvablePolynomial<BigInteger>>();
L.add(a);
L = sbb.leftGB(L);
assertTrue("isLeftGB( { a } )", sbb.isLeftGB(L));
L.add(b);
// System.out.println("L = " + L.size() );
L = sbb.leftGB(L);
assertTrue("isLeftGB( { a, b } )", sbb.isLeftGB(L));
L.add(c);
L = sbb.leftGB(L);
assertTrue("isLeftGB( { a, b, c } )", sbb.isLeftGB(L));
L.add(d);
L = sbb.leftGB(L);
assertTrue("isLeftGB( { a, b, c, d } )", sbb.isLeftGB(L));
L.add(e);
L = sbb.leftGB(L);
assertTrue("isLeftGB( { a, b, c, d, e } )", sbb.isLeftGB(L));
}
/** Test sequential GBase. */
public void testSequentialGBase() {
L = new ArrayList<GenSolvablePolynomial<BigInteger>>();
L.add(a);
L = sbb.leftGB(L);
assertTrue("isLeftGB( { a } )", sbb.isLeftGB(L));
L.add(b);
// System.out.println("L = " + L.size() );
L = sbb.leftGB(L);
assertTrue("isLeftGB( { a, b } )", sbb.isLeftGB(L));
L.add(c);
L = sbb.leftGB(L);
assertTrue("isLeftGB( { a, b, c } )", sbb.isLeftGB(L));
L.add(d);
L = sbb.leftGB(L);
assertTrue("isLeftGB( { a, b, c, d } )", sbb.isLeftGB(L));
L.add(e);
L = sbb.leftGB(L);
assertTrue("isLeftGB( { a, b, c, d, e } )", sbb.isLeftGB(L));
}
