Contents:

- routines.m: Routines needed by examples below.
- example1.m: Proof of Proposition 1.1
- example2.m: Proof of Proposition 1.2
- example3.m: Construction of plane quartic over
**Q**(*t*) with all 28 bitangents rational. - example1.out: Result of the command
`magma < example1.m > example1.out` - example2.out: Result of the command
`magma < example2.m > example2.out` - example3.out: Result of the command
`magma < example3.m > example3.out`