msolve (both 0.5.0 and latest commit ddfb9e18e831) says that the following system has no solution (it has a solution 92, since the equations have a nontrivial GCD)
x
251
-68*x^2+34*x-107,
104*x^2+122*x+72
This system was obtained by minifying an issue happening when trying to solve an exercise on larger systems of multivariate quadratic equations generated to have known solutions.
See below various examples of pseudo-random systems with known solutions where msolve fails:
msolve (both 0.5.0 and latest commit ddfb9e18e831) says that the following system has no solution (it has a solution 92, since the equations have a nontrivial GCD)
This system was obtained by minifying an issue happening when trying to solve an exercise on larger systems of multivariate quadratic equations generated to have known solutions.
See below various examples of pseudo-random systems with known solutions where msolve fails:
mq_2_1.txt => known solution 92 mq_5_2.txt => known solution (158, 196) mq_8_3.txt => solution (217, 70, 166) mq_20_5.txt => solution (200, 5, 86, 211, 203) mq_38_10.txt => solution (12, 59, 44, 208, 12, 210, 212, 116, 106, 148) mq_41_18.txt => solution (10, 66, 180, 181, 165, 74, 94, 139, 29, 170, 141, 11, 111, 19, 47, 34, 209, 189) mq_44_21.txt => known solution, non-unique (0, 0, 0, 170, 117, 195, 29, 32, 172, 99, 207, 55, 171, 182, 113, 208, 104, 90, 137, 175, 22)
Also, removing a few random equations from mq_8_3 makes msolve crash:
Same with mq_20_5: