Previous | Top | Next |

The notations we use for elliptic curves are conventional.
We are interested in curves defined over **Q**, which therefore have a minimal
model, defined over **Z**, of the form:

where the coefficients are all in **Z**, and the discriminant is minimal.

We will always assume that appropriate translations have been made so that
*a _{1}* is 0 or 1;

We searched for our curves according to the resulting 9 families:
001, 011, 021, 100, 101, 110, 111, 120, 121;
--note that the 3 other combinations (000, 010, 020) do not give minimal models of curves with prime conductor--,
where "021" means, for example,
*a _{1}=0*,

We were interested in computing the analytic rank, the geometric rank, and the quantities entering into the conjecture of Birch and Swinnerton-Dyer for each curve. Thus we also computed and kept the parity of the functional equation, the fundamental period, the appropriate L-value (i.e., the appropriate derivative value, depending on the known analytic rank), and the height regulator of the known points on the curve.

Without at this point going into more details on these, see "The Behavior of the Mordell-Weil Group of Elliptic Curves" for quick recall of the notations, we just say here that the usual definitions apply with some small exceptions, which we now detail.

The parity of a modular curve is either
"even" (sign +1 in the functional equation of the L-series),
or
"odd" (sign -1 in the functional equation of the L-series).
However, there are certain elliptic curves of prime conductor, the Setzer-Neumann curves, which are peculiar:
they are the unique such curves with a torsion point of order 2,
their conductor *p* is either 17 or a prime of the form
*u ^{2}+64*, for some integer

The curve files (see Curves), are such that each line contains curve information for a single curve, in the format illustrated by the example (from 001_3, note there is also a rank 2 curve of the same conductor in the same file):

From left to right we have a list of:

- the coefficients of the minimal model (in a list),
- the discriminant of the curve,
- the parity,
- the analytic rank (r),
- the fundamental period,
- the r-th derivative of the L-series,
- the quotient of the last two (the "Birch-Swinnerton-Dyer number"),
- the arithmetic rank,
- the height regulator (of the points determined by the next item),
- a list of the x-coordinates of a set of independent points.

We used Maple extensively in the course of our computations, at least in the generation of curves, and prototyping phase; this format was designed to make it easy to turn a curve file into a Maple list of curves, and it was easy to parse this format in C or C++, which were used to develop the bulk of the programs that calculated.

Page created on a Macintosh Performa 6205CD, using MPW, MacPerl, and OzTeX, Sun Apr 18 23:51:20 1999.

Previous | Top | Next |