b:=x^2+ax\in\textbf{Z}