r_solve(x^2 - a, x);


              2
*****  - a + x  invalid as univariate polynomial over Z

