/** Test Weyl sequential GBase. */
public void testWeylSequentialGBase() {
int rloc = 4;
ring = new GenSolvablePolynomialRing<BigRational>(cfac, rloc);
WeylRelations<BigRational> wl = new WeylRelations<BigRational>(ring);
wl.generate();
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 );
if (a.isZERO() || b.isZERO() || c.isZERO() || d.isZERO()) {
return;
}
assertTrue("not isZERO( a )", !a.isZERO());
L = new ArrayList<GenSolvablePolynomial<BigRational>>();
L.add(a);
L = sbb.leftGB(L);
assertTrue("isLeftGB( { a } )", sbb.isLeftGB(L));
assertTrue("not isZERO( b )", !b.isZERO());
L.add(b);
// System.out.println("L = " + L.size() );
L = sbb.leftGB(L);
assertTrue("isLeftGB( { a, b } )", sbb.isLeftGB(L));
assertTrue("not isZERO( c )", !c.isZERO());
L.add(c);
L = sbb.leftGB(L);
assertTrue("isLeftGB( { a, b, c } )", sbb.isLeftGB(L));
assertTrue("not isZERO( d )", !d.isZERO());
L.add(d);
L = sbb.leftGB(L);
assertTrue("isLeftGB( { a, b, c, d } )", sbb.isLeftGB(L));
assertTrue("not isZERO( e )", !e.isZERO());
L.add(e);
L = sbb.leftGB(L);
assertTrue("isLeftGB( { a, b, c, d, e } )", sbb.isLeftGB(L));
}
/** Test sequential GBase. */
public void testSequentialGBase() {
if (a.isZERO() || b.isZERO() || c.isZERO() || d.isZERO()) {
return;
}
assertTrue("not isZERO( a )", !a.isZERO());
L = new ArrayList<GenSolvablePolynomial<BigRational>>();
L.add(a);
L = sbb.leftGB(L);
assertTrue("isLeftGB( { a } )", sbb.isLeftGB(L));
assertTrue("not isZERO( b )", !b.isZERO());
L.add(b);
// System.out.println("L = " + L.size() );
L = sbb.leftGB(L);
assertTrue("isLeftGB( { a, b } )", sbb.isLeftGB(L));
assertTrue("not isZERO( c )", !c.isZERO());
L.add(c);
L = sbb.leftGB(L);
assertTrue("isLeftGB( { a, b, c } )", sbb.isLeftGB(L));
assertTrue("not isZERO( d )", !d.isZERO());
L.add(d);
L = sbb.leftGB(L);
assertTrue("isLeftGB( { a, b, c, d } )", sbb.isLeftGB(L));
assertTrue("not isZERO( e )", !e.isZERO());
L.add(e);
L = sbb.leftGB(L);
assertTrue("isLeftGB( { a, b, c, d, e } )", sbb.isLeftGB(L));
}
