InverseSystem(P:POLY, Derivation:POLY)
InverseSystem(Ideal(x^3+xyz), 3); [z^3, yz^2, xz^2, y^2z, x^3 - 6xyz, x^2z, y^3, xy^2, x^2y] -------------------------------