The set of one variable integral polynomials is decidable
This program returns the value of x, if the input is a polynomial with an integer value of x

Please enter integers in the input fields and press the "DECIDE THE INPUT POLYNOMIAL" button
x2 + x - = 0

 

 


[ You can try your example equations. If you try   3x2 + 2x - 16 = 0, the program will return 2 as the value of x. If you try   3x2 + 2x - 5 = 0, the program will return 1. If you enter   3x2 + 2x - 33, the program will return 3 as the value of x. The program will return     -504 as value of x, if you try 3x2 + 3x - 760536. You can enter any integer in an input field. The roots of a single variable polynomial must be between the values -/+(K * Cmax/C1) where K is the number of terms in the polynomial, Cmax is the coefficient with the largest absolute value, and C1 is the coefficient of the highest order term; hence, it is always decidable. For   3x2 + 2x - 16 = 0, the bounds are     3 * 16 / 3 = -16 to +16. ]

For undecidability of two-variable integral polynomials click here