1.
Download the file MTcircle.
This is a regular ASCII file containing a collection of
PARI routines, and a sample script, for running the calculations that
were performed to test the conjectures in
[BD] M. Bertolini and H. Darmon, A Birch and Swinnerton-Dyer conjecture for the
Mazur-Tate circle pairing, manuscript, in progress.
2. From the directory where you have saved the file MTcircle,
invoke PARI by typing
gp
from the UNIX command prompt.
From the PARI prompt type
\r MTcircle
This will launch PARI into a sequence of calculations whose end
result is to verify the BSD conjecture for the Mazur-Tate circle pairing
in a special case (the curve of conductor 61 denoted 61A in Cremona's tables,
over the real quadratic
field of discriminant 5) to an accuracy of 12 decimal digits.