This function constructs an 8-gonal genus 10 curve on P1*P2 via liaison techniques; by construction, the Serre dual model of the projection map to P2 is the 8-gonal map.
i1 : time C=random8gonalGenus10Curve(101);
-- used 37.5769 seconds
ZZ
o1 : Ideal of ---[x , x , y , y , y ]
101 0 1 0 1 2
|
i2 : multidegree C
2
o2 = 10T T + 6T
0 1 1
o2 : ZZ[T , T ]
0 1
|
i3 : genusP1P2(C) == 10 o3 = true |