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