up previous next
InverseSystem

Inverse system of an ideal of derivations

Syntax
InverseSystem(P:POLY, Derivation:POLY)

Description
Given an ideal of derivations I, and an integer D, computes the degree D parts of the inverse system of I.

For the sake of simplicity Forms/Polynomials and Derivations live in the same ring, the distinction between them is purely formal.

Example
/**/  InverseSystem(ideal(x^3+x*y*z), 3);
[z^3, y*z^2, x*z^2, y^2*z, x^2*z, y^3, x*y^2, x^2*y, x^3 - 6*x*y*z]

See Also