GroebnerBasis[{x-1-a,a^2-2},{x},{a}]