The construction is based on Mukai's unirational description of $M_{8,8}$ of the moduli space of genus 8 with 8 marked points (see [Mu]).
i1 : setRandomSeed("alpha"); |
i2 : FF=ZZ/10007; |
i3 : S=FF[x_0..x_6]; |
i4 : I=randomCurveGenus8Degree14inP6 S; o4 : Ideal of S |
i5 : betti res I 0 1 2 3 4 5 o5 = total: 1 7 35 56 35 8 0: 1 . . . . . 1: . 7 . . . . 2: . . 35 56 35 8 o5 : BettiTally |
The object randomCurveGenus8Degree14inP6 is a method function.