Starting from a genus 10 curve and 3 marked points lying on it, this function constructs a general genus 13 curve of degree 17 in P6 via liaison with respect to a complete intersection of five quadrics.
i1 : I=randomGenus13Degree17CurveInP6(101);
ZZ
o1 : Ideal of ---[z , z , z , z , z , z , z ]
101 0 1 2 3 4 5 6
|
i2 : genus I, degree I o2 = (13, 17) o2 : Sequence |