Given an ideal I in the homogeneous coordinate ring of P2 the function checks whether the corresponding defines a possible empty collection of distinct points
i1 : kk=ZZ/10007; |
i2 : S=kk[x,y,z] o2 = S o2 : PolynomialRing |
i3 : I=randomPlanePoints(10,S); o3 : Ideal of S |
i4 : distinctPoints I o4 = true |
i5 : J= intersect((ideal(x,y))^2,ideal(x,z)) 2 2 o5 = ideal (x*y, x , y z) o5 : Ideal of S |
i6 : distinctPoints J o6 = false |