resultant(x^12+7x^11+1, x^2-x+1)