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+xyz), 3);
[z^3, yz^2, xz^2, y^2z, x^3 - 6xyz, x^2z, y^3, xy^2, x^2y]
-------------------------------


See Also