Mod2sparse_minprod   60 make-gen.c         strategy = Mod2sparse_minprod;
Mod2sparse_minprod   65 make-gen.c           else if (strcmp(argv[4],"minprod")==0) strategy = Mod2sparse_minprod;
Mod2sparse_minprod  996 mod2sparse.c     if (strategy==Mod2sparse_minprod)
Mod2sparse_minprod 1010 mod2sparse.c     if (strategy==Mod2sparse_minprod)
Mod2sparse_minprod 1074 mod2sparse.c         case Mod2sparse_minprod:
Mod2sparse_minprod 1142 mod2sparse.c           if (strategy==Mod2sparse_minprod) 
Mod2sparse_minprod 1202 mod2sparse.c         if (strategy==Mod2sparse_minprod)
Mod2sparse_minprod 1223 mod2sparse.c     if (strategy==Mod2sparse_minprod) free(rcnt);