polmod(Mod(x^2+1,x^3-2))
