up previous next
PerpIdealOfForm

Ideal of derivations annihilating a form

Syntax
PerpIdealOfForm(P:POLY)

Description
Given a form F computes the ideal of derivations killing it.

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

Example
  PerpIdealOfForm(x^3+xyz);
Ideal(z^3, yz^2, xz^2, y^2z, x^3 - 6xyz, x^2z, y^3, xy^2,
      x^2y, 0, y^2, x^2 - 6yz, z^2, 0)
-------------------------------
  Hilbert(CurrentRing()/It);
H(0) = 1
H(1) = 3
H(2) = 3
H(3) = 1
H(t) = 0   for t >= 4
-------------------------------

See Also