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
from the UNIX command prompt.
From the PARI prompt type
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.