Electronic data for On Finiteness conjectures for Modular Quaternion Algebras

Nils Bruin, E. Victor Flynn, Josep Gonzáles, Victor Rotger

Contents:

Transcript: A transcript of a magma session that verifies the computations in the article.This transcript was produced by the command "magma < script.m > transcript"
script.m: Input file for the magma session. Requires Magma 2.10-16.
proj.m: Some newer MAGMA versions (2.12-16 is one) have a bug in that they do not allow the creation of 0-dimensional projective spaces. This breaks the routine Chabauty and thus prevents the above script from running without error. For a workaround, download this file and use Attach("proj.m"); prior to load "script.m";.