distinctPlanePoints -- Generates the ideal of k random points in the coordinate ring $R$ of $\\P^{ 2}$

Synopsis

Usage:
(random distinctPlanePoints)(k,R)
Inputs:
- k, an integer, the number of points
- R, a polynomial ring, the homogeneous coordinate ring of ℙ²
Outputs:
- an ideal, the vanishing ideal of the points

Creates the ideal of the points via a random choice of their Hilbert-Burch matrix, which is taken to be of generic shape.

i1 : R=ZZ/101[x_0..x_2];

i2 : Ipts=(random distinctPlanePoints)(10,R);

o2 : Ideal of R

i3 : betti res Ipts

            0 1 2
o3 = total: 1 5 4
         0: 1 . .
         1: . . .
         2: . . .
         3: . 5 4

o3 : BettiTally

The object distinctPlanePoints is an object of class RandomObject.