m = omegaPoints pointsmat
given an r+1 x n matrix over a ring with r+1 variables, interpreted as a set of n points in P^r, the script produces the linear part of the presentation matrix of w_{>=-1}, where w is the canonical module of the cone over the points. It is necessary for this to assume that no subset of n+1 of the points is linearly dependent. The presentation is actually a presentation of w if the points do not lie on a rational normal curve (so there are no quadratic relations on w_{>=-1}) and impose independent conditions on quadrics (so the homogeneous coordinate ring is 3-regular, and w is generated in degree -1.
|
|
|
|
|
|
|
The object omegaPoints is a function closure.
The source of this document is in /build/reproducible-path/macaulay2-1.25.05+ds/M2/Macaulay2/packages/Points.m2:845:0.