LIB "tst.lib";
tst_init();

LIB "general.lib";

list tst_rgen_charstrs = list("3");
list tst_rgen_simple_orderings = list("dp");
intvec tst_rgen_products = 1;
intvec tst_rgen_extra_weights = intvec(0);
intvec tst_rgen_nvars = 20, 50, 100, 500, 1000, 10000;
list tst_rgen_comp_orderings = list("", "C");
list tst_rgen_exp_bounds = list(1, 3, 7, 15, 31, 63, 255, 65535,  65536);
tst_rgen_init();
proc pAddManyVars_Test(string rs)
{
  tst_rgen_Lring;
  rs = "ring r = " + rs + ";";
  execute(rs);
  int n_vars = tst_rgen_nvars[tst_rgen_var_index];
  ideal id = tst_cyclic(5);
  if (n_vars <= 5000)
  {
     tst_TestAdd(id, 1,size(tst_rgen_comp_orderings[tst_rgen_comp_index]));
  }
  else
  {  
      id;
      id[1] + gen(2)*id[1];
  }
  kill r;
}

string rs = tst_next_ring();
while (size(rs) > 1)
{
  pAddManyVars_Test(rs);
  rs = tst_next_ring();
}
 
tst_status(1);$