=============== Check remez #1 ================
The tool has been restarted.
Check that mpfr_urandom has the expected behavior (either one of the old 32-bit or 64-bit behavior), or the new one. OK
=============== Check remez #2 ================
The tool has been restarted.
Check that mpfr_urandom has the (new) expected behavior. OK
=============== Check remez #3 ================
The tool has been restarted.
Check that mpfr_urandom has the expected behavior (either one of the old 32-bit or 64-bit behavior), or the new one. OK
=============== Check remez #4 ================
The tool has been restarted.
Check that mpfr_urandom has the (new) expected behavior. OK
=============== Check remez #5 ================
The tool has been restarted.
Check that mpfr_urandom has the expected behavior (either one of the old 32-bit or 64-bit behavior), or the new one. OK
=============== Check remez #6 ================
The tool has been restarted.
Check that mpfr_urandom has the expected behavior (either one of the old 32-bit or 64-bit behavior), or the new one. OK
=============== Check remez #7 ================
The tool has been restarted.
Check that mpfr_urandom has the expected behavior (either one of the old 32-bit or 64-bit behavior), or the new one. OK
=============== Check remez #8 ================
The tool has been restarted.
Check that mpfr_urandom has the expected behavior (either one of the old 32-bit or 64-bit behavior), or the new one. OK
=============== Check remez #9 ================
The tool has been restarted.
Check that mpfr_urandom has the expected behavior (either one of the old 32-bit or 64-bit behavior), or the new one. OK
Check that mpfr_urandom has the expected behavior (either one of the old 32-bit or 64-bit behavior), or the new one. OK
Check that mpfr_urandom has the expected behavior (either one of the old 32-bit or 64-bit behavior), or the new one. OK
=============== Check remez #10 ================
The tool has been restarted.
Check that mpfr_urandom has the expected behavior (either one of the old 32-bit or 64-bit behavior), or the new one. OK
=============== Check remez #11 ================
The tool has been restarted.
Check that mpfr_urandom has the expected behavior (either one of the old 32-bit or 64-bit behavior), or the new one. OK
=============== Check remez #12 ================
The tool has been restarted.
Check that mpfr_urandom has the expected behavior (either one of the old 32-bit or 64-bit behavior), or the new one. OK
=============== Check remez #13 ================
The tool has been restarted.
Check that mpfr_urandom has the expected behavior (either one of the old 32-bit or 64-bit behavior), or the new one. OK
=============== Check remez #14 ================
The tool has been restarted.
Check that mpfr_urandom has the expected behavior (either one of the old 32-bit or 64-bit behavior), or the new one. OK
=============== Check remez #15 ================
The tool has been restarted.
Check that mpfr_urandom has the expected behavior (either one of the old 32-bit or 64-bit behavior), or the new one. OK
=============== Check remez #16 ================
The tool has been restarted.
Check that mpfr_urandom has the expected behavior (either one of the old 32-bit or 64-bit behavior), or the new one. OK
=============== Check remez #17 ================
The tool has been restarted.
Check that mpfr_urandom has the expected behavior (either one of the old 32-bit or 64-bit behavior), or the new one. OK
=============== Check remez #18 ================
The tool has been restarted.
Check that mpfr_urandom has the expected behavior (either one of the old 32-bit or 64-bit behavior), or the new one. OK
=============== Check remez #19 ================
The tool has been restarted.
Check that mpfr_urandom has the expected behavior (either one of the old 32-bit or 64-bit behavior), or the new one. OK
=============== Check remez #20 ================
The tool has been restarted.
The precision has been set to 300 bits.
Check that mpfr_urandom has the expected behavior (either one of the old 32-bit or 64-bit behavior), or the new one. OK
=============== Check remez #21 ================
Check that mpfr_urandom has the expected behavior (either one of the old 32-bit or 64-bit behavior), or the new one. OK
=============== Check remez #22 ================
Check that mpfr_urandom has the expected behavior (either one of the old 32-bit or 64-bit behavior), or the new one. OK
=============== Check remez #23 ================
Check that mpfr_urandom has the expected behavior (either one of the old 32-bit or 64-bit behavior), or the new one. OK
=============== Check remez #24 ================
Check that mpfr_urandom has the expected behavior (either one of the old 32-bit or 64-bit behavior), or the new one. OK
=============== Check remez #25 ================
Check that mpfr_urandom has the expected behavior (either one of the old 32-bit or 64-bit behavior), or the new one. OK
=============== Check remez #26 ================
Check that mpfr_urandom has the expected behavior (either one of the old 32-bit or 64-bit behavior), or the new one. OK
=============== Check remez #27 ================
Check that mpfr_urandom has the expected behavior (either one of the old 32-bit or 64-bit behavior), or the new one. OK
=============== Check remez #28 ================
Check that mpfr_urandom has the expected behavior (either one of the old 32-bit or 64-bit behavior), or the new one. OK
=============== Check remez #29 ================
Check that mpfr_urandom has the expected behavior (either one of the old 32-bit or 64-bit behavior), or the new one. OK
=============== Check remez #30 ================
Check that mpfr_urandom has the expected behavior (either one of the old 32-bit or 64-bit behavior), or the new one. OK
=============== Check remez #31 ================
Check that mpfr_urandom has the expected behavior (either one of the old 32-bit or 64-bit behavior), or the new one. OK
=============== Check remez #32 ================
Check that mpfr_urandom has the expected behavior (either one of the old 32-bit or 64-bit behavior), or the new one. OK
=============== Check remez #33 ================
Check that mpfr_urandom has the expected behavior (either one of the old 32-bit or 64-bit behavior), or the new one. OK
=============== Check remez #34 ================
Check that mpfr_urandom has the expected behavior (either one of the old 32-bit or 64-bit behavior), or the new one. OK
=============== Check remez #35 ================
Check that mpfr_urandom has the expected behavior (either one of the old 32-bit or 64-bit behavior), or the new one. OK
=============== Check remez #36 ================
Check that mpfr_urandom has the expected behavior (either one of the old 32-bit or 64-bit behavior), or the new one. OK
=============== Check remez #37 ================
Check that mpfr_urandom has the expected behavior (either one of the old 32-bit or 64-bit behavior), or the new one. OK
=============== Check remez #38 ================
Check that mpfr_urandom has the expected behavior (either one of the old 32-bit or 64-bit behavior), or the new one. OK
=============== Check remez #39 ================
Check that mpfr_urandom has the expected behavior (either one of the old 32-bit or 64-bit behavior), or the new one. OK
=============== Check remez #40 ================
Check that mpfr_urandom has the expected behavior (either one of the old 32-bit or 64-bit behavior), or the new one. OK
=============== Check remez #41 ================
The tool has been restarted.
Check that mpfr_urandom has the expected behavior (either one of the old 32-bit or 64-bit behavior), or the new one. OK
=============== Check remez #42 ================
The tool has been restarted.
Check that mpfr_urandom has the expected behavior (either one of the old 32-bit or 64-bit behavior), or the new one. OK
=============== Check remez #43 ================
The tool has been restarted.
Check that mpfr_urandom has the expected behavior (either one of the old 32-bit or 64-bit behavior), or the new one. OK
=============== Check remez #44 ================
The tool has been restarted.
Check that mpfr_urandom has the expected behavior (either one of the old 32-bit or 64-bit behavior), or the new one. OK
=============== Check remez #45 ================
The tool has been restarted.
Removable singularity correctly detected
=============== Check remez #46 ================
The tool has been restarted.
true
false
true
true
false
false
true
true
true
false
Information: fpminimax: the 1th coefficient of the minimax is an exact zero
You should probably take this into account
true
