next
| previous |
forward
| backward | up | top |
index
|
toc
|
Macaulay2 web site
RandomCurveOfGenus9WithPencilOfDegree8
::
RandomCurveOfGenus9WithPencilOfDegree8
RandomCurveOfGenus9WithPencilOfDegree8 -- construction of genus 9 curves together with degree 8 maps to P^1
Description
Using the method of
Unirationality of the Hurwitz space H_{9,8}
we construct a plane curve C of degree 8 and genus 9 together with a map f: C -> P^1.
Constructions
randomPlanePoints
-- Find random plane points.
randomCurveOfGenus9WithPencilOfDegree8
-- construct such curve
Verifications
distinctPoints
-- Does the ideal defines an plane curve with ordinars double points?
ordinaryDoublePoints
-- Does the ideal defines an plane curve with ordinars double points?
simpleRamification
-- Does the pencil defines a map to P^1 with simple ramification?
verifyAllAssertionsOfThePaper
-- Print the commands needed to verify all assertions
Authors
Hamid Damadi
<
Hamid.Damadi@aut.ac.ir
>
Frank-Olaf Schreyer
<
schreyer@math.uni-sb.de
>
Version
This documentation describes version
0.2
of RandomCurveOfGenus9WithPencilOfDegree8.
Source code
The source code from which this documentation is derived is in the file
RandomCurveOfGenus9WithPencilOfDegree8.m2
.
Exports
Functions and commands
distinctPoints
-- Does the ideal defines an plane curve with ordinars double points?
ordinaryDoublePoints
-- Does the ideal defines an plane curve with ordinars double points?
randomCurveOfGenus9WithPencilOfDegree8
-- construct such curve
randomPlanePoints
-- Find random plane points.
simpleRamification
-- Does the pencil defines a map to P^1 with simple ramification?
verifyAllAssertionsOfThePaper
-- Print the commands needed to verify all assertions
Symbols
ZeroMean
(missing documentation)