This function constructs a genus 10 curve in P1*P2 with N marked points using a two-steps liaison, by starting from a union of a rational curve curve of bidegree (1,4) together with 3 lines, and computing the ideal of the linked curve via the complete intersections defined by two forms of bidegree (4,2) and (3,3) respectively. The last step allows to choose up to five random points on the curve.
i1 : time L=randomGenus10CurveNMarkedPoints(101,5);
-- used 12.8137 seconds
|
i2 : genusP1P2 L_0==10 o2 = true |
i3 : codim first random L_1==3 o3 = true |