The set of two variable integral polynomials is undecidable
This program returns the value of x & y if the input is a polynomial with integer values for x & y
Please enter integers in the input fields and press the "DECIDE THE INPUT POLYNOMIAL" button
[ You can try your example equations. If you try 2x3y2
+ 4x2y + 2xy - 500 = 0, the program will return 2 as the value of x and 5 as the value of y.
If you try 2x3y2 + 4x2y + 2xy - 1032 = 0, the program will return 3 as the value of x and 4 as the value of y.
You can enter any integer in an input field. There are no lower & upper bounds for integral polynomials with 2 or more variables; therefore, the program may run for
ever on most examples. One of the undecidable integral polynomial is: 2x3y2
+ 4x2y + 2xy - 5 = 0 . Matiyasevich's theorem proves that multivariable integral polynomials are undecidable. ] Please send comments to: Pradip Peter Dey ( firstname.lastname@example.org)