|This article is about a function from ApCoCoA-2. If you are looking for the ApCoCoA-1 version of it, see ApCoCoA-1:ZD.Zerodim and.|
Computing algebraic invariants associated to zero-dimensional schemes in a projective space.
ZD.CanomialIdeal(I:IDEAL):LIST of POLY
This function computes the canonical ideal of the vanishing ideal I generated by the polynomials
@param I The vanishing ideal of a finite set of projective points.
@return A list of generators of the canonical ideal.