up previous next
PerpIdealOfForm

Ideal of derivations annihilating a form

Syntax
PerpIdealOfForm(F: RINGELEM): IDEAL

Description
Thanks to Enrico Carlini.

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
/**/  use R ::= QQ[x,y,z];
/**/  PerpIdealOfForm(x^3+x*y*z);
ideal(z^2, y^2, x^2 -6*y*z)

/**/  HilbertFn(R/It);
H(0) = 1
H(1) = 3
H(2) = 3
H(3) = 1
H(t) = 0   for t >= 4

See Also