Auxiliary files for ``Weak Approximation on del Pezzo surfaces of degree 1''
The file MagmaSource.pdf
gives an overview of the Magma scripts below.
Magma scripts
lines
CoeffEqs
LinesCalculated
Intersection
GaloisAction
WE8
Cohomology
WarmUpExample
MainTheorem