PolynomialExtendedGCD[n^3+1,n^2+2,n]