GroebnerBases[ {a^3 - a-4 , 2 b - a^2 - a}, {b},{a}]