warning_given_for_gb_or_res_over_RR_or_CC

bool warning_given_for_gb_or_res_over_RR_or_CC = false

Definition at line 36 of file groebner.cpp.

Referenced by test_over_RR_or_CC().