Searched refs:GBASIS_DETERMINISTIC (Results 1 – 3 of 3) sorted by relevance
271 extern int GBASIS_DETERMINISTIC;
1861 int GBASIS_DETERMINISTIC=20; variable1908 int GBASIS_DETERMINISTIC=50; variable
14585 if (int(W[i].size())<=GBASIS_DETERMINISTIC) in in_mod_gbasis()14762 if (int(W[i].size())<=GBASIS_DETERMINISTIC) in in_mod_gbasis()