run_with_random_intputs(100, 50);
// run PRS gcd tests, both with upoly and ex
run_test(p1_srep, p2_srep, true, true);
bool tolerant_p = (run_expensive_timings_p() >= 1);
bool masochist_p = (run_expensive_timings_p() >= 2);
// By default PRS gcd tests are disabled, they are way too slow
run_with_random_intputs(100, 50);
// run PRS gcd tests, both with upoly and ex
run_test(p1_srep, p2_srep, true, true);
bool tolerant_p = (run_expensive_timings_p() >= 1);
bool masochist_p = (run_expensive_timings_p() >= 2);
// By default PRS gcd tests are disabled, they are way too slow