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

## Verifications

- randomPlanePoints -- Find random plane points.
- randomCurveOfGenus9WithPencilOfDegree8 -- construct such curve

- 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

- Hamid Damadi <Hamid.Damadi@aut.ac.ir>

- 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)