Searched defs:unfreeze_equations (Results 1 – 2 of 2) sorted by relevance
81 void grobner::unfreeze_equations(unsigned old_size) { in unfreeze_equations() function in grobner