Remix.run Logo
danbruc an hour ago

There are 120 monomials of degree at most 7 in three variables. If we restrict the coefficients to the integers from -10 to +10, that makes 21^120 possible polynomials. And we need three of them, that makes 10^476. And we would still miss the specific counterexample because it includes a coefficient of 12 outside of our range. So I would say that you will never find this specific counterexample by chance and whether you could accidentally trip over any counterexample really depends on their density. And we have of course not addressed the question why you would search this specific region of the parameter space, why dimension 3, degree 7 and small integer coefficients? There might be good mathematical reason to look at this region, but it is probably non-trivial to even figure out where to look.