Electronic data for On Finiteness conjectures for Modular Quaternion Algebras
Nils Bruin, E. Victor Flynn, Josep Gonzáles, Victor Rotger
- 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
- 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";.