A=Z[X], P=(X), I=(X, 2), IP=(X^2, 2X)
a=X, b=2