Summary of files

---Programs---
bits.mag     Calculations on bitangents and primes of bad reduction.
brauer.mag   Functions to create the fibrations.
dp2.mag      Functions to analyze the Picard group as a Galois module.
example.mag  Creating examples; doing some basic calculations; finding
             the conics.
gps.mag      Long list of subgroups.  Very boring to read.
groups.mag   Finds generators for the cohomology.
loadall.mag  Loads the main program files.
loc.mag      Testing local solvability for varieties in weighted 
             projective space.
locres.mag   Functions to compute local residue symbols.
lookpt.mag   Does the extended sieving on S_1.
pregion.mag  Functions to find local invariants.
real.mag     Functions to find local invariants at infinity (use with care).
sieve.mag    Basic sieving.

---Log files---
centre.log   Proves the statements in proposition 3.1.
samegps.log  Verifies assertions of proposition 3.2.
brauergp.log Checks theorem 5.1.
dixmier.log  Confirms assertions that involve Dixmier invariants, such as
             some parts of the proof of theorem 6.1 and some remarks after
             theorem 7.1.
e1prime.log  verifies example 6.1.
s1, s2, s3, s4.log  The obstruction calculation for the appropriate surface.
