resultant [a+b+a b-1, a^3-c, a]