diophantine(x**2+x-2*y**2)