resultant(a^4+a^3-1, a^2-b, a)