Searched refs:test_arith_overflow_proj_and_lift (Results 1 – 4 of 4) sorted by relevance
57 bool test_arith_overflow_proj_and_lift = false; variable
108 NORMALIZ_DLL_EXPORT extern bool test_arith_overflow_descent, test_arith_overflow_proj_and_lift;
911 if(!using_GMP<IntegerRet>() && !using_renf<IntegerRet>() && test_arith_overflow_proj_and_lift) in compute()
3500 test_arith_overflow_proj_and_lift=true; in set_extended_tests()