Package Zerodim/ZD.Zerodim

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.

ZD.Zerodim

Computing algebraic invariants associated to zero-dimensional schemes in a projective space.

Syntax

ZD.CanomialIdeal(I:IDEAL):LIST of POLY

Description

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.

Example

    ... to be updated
    

See also

Package Zerodim/ZD.CanonicalIdeal