LIB "tst.lib";
tst_init();

LIB "poly.lib";

list tst_rgen_simple_orderings = list("lp", "dp", "ls", "ds");
intvec tst_rgen_products = 1;
intvec tst_rgen_extra_weights = intvec(0);
intvec tst_rgen_nvars = 3..10;
list tst_rgen_comp_orderings = list("", "cc");
list tst_rgen_charstrs = list("0");
list tst_rgen_exp_bounds = list(31);

tst_rgen_init();

proc pAdd_Test(string rs)
{
  tst_rgen_Lring;
  rs = "ring r = " + rs + ";";
  execute(rs);
  int n_vars = tst_rgen_nvars[tst_rgen_var_index];
  tst_TestAdd(tst_cyclic(n_vars), 200 div (n_vars*n_vars) + 70 div n_vars,
              size(tst_rgen_comp_orderings[tst_rgen_comp_index]));
  kill r;
}

string rs = tst_next_ring();

while (size(rs) > 1)
{
  pAdd_Test(rs);
  rs = tst_next_ring();
}

tst_status(1); $