In this package the unirationality parametrization of *Pic ^{14}(M_{8})* due to Mukai is implemented. The main references are

[Mu] S. Mukai, Curves, *K3* surfaces and Fano *3*-folds of genus *≤10*. Algebraic geometry and commutative algebra, Vol. I, 357-377, Kinokuniya, Tokyo, 1988.

[Ve] A. Verra, The unirationality of the moduli spaces of curves of genus 14 or lower. Compos. Math. 141 (2005), no. 6, 1425-1444.

The main purpose of this package is to establish the reduciblity of the Koszul divisor as claimed in Chiodo,Eisenbud,Farkas,Schreyer [2012]

- Functions and commands
- experiment1 -- count the number of curves with extra syzygies and their ranks
- getCurveOnKoszulDivisor -- get a curve of genus 8 and degree 14 in P^6 on the Koszul divisor with syzygy of rank rk
- randomCanonicalCurveGenus8with8Points -- compute a random canonical curve of genus 8 with 8 marked point
- randomCurveGenus8Degree14inP6 -- compute a random normal curve of genus g=8 and degree 14 in P^6
- randomEllipticNormalCurve -- compute a random elliptic normal curve in P^n
- unirationalityOfD1 -- compute a random normal curve of degree 14 and genus 8 in P^6 with an extra syzygy of rank 6