chabauty.m is an old version of chabauty.m for applying Chabauty localdata.m is used by mwmaps.m and reductionG2.m mwmaps.m was written by Nils Bruin and performs coset intersection These will appear in Magma 2.11, included in routine library: http://www.cecm.sfu.ca/~nbruin/eq239/routines.m reductionG2.m was written by Nils Bruin and manipulates divisors modulo primes prog1 My programs for applying the Brauer-Manin Obstruction to rank 1 cases prog2 My programs for applying the Brauer-Manin Obstruction to rank 2 cases prog3 My programs for applying the Brauer-Manin Obstruction to rank 3 cases N.B. The end of prog1 and prog2 give justifications of the results in the appendix of the article: "The Hasse Principle and the Brauer-Manin Obstruction on Curves".