curve, [verbose=999], [pp=1], [maxr=True]) |
Create a mwrank_MordellWeil instance.
INPUT: curve -- \class{mwrank_EllipticCurve} instance verbose -- bool pp -- int maxr -- int
points,
process,
rank,
regulator,
saturate,
search
Further documentation:
) |
Return a list of the generating points in this Mordell-Weil group.
v, [sat=0]) |
This function allows one to add points to a mwrank_MordellWeil object.
Process points in the list v, with saturation at primes up to sat. If sat = 0 (the default), then saturate at all primes.
INPUT:
v - a point (3-tuple of ints), or a list of 3-tuples of integers, which define points on the curve.
sat - int, saturate at primes up to sat, or at all primes if sat=0.
) |
Return the rank of this subgroup of the Mordell-Weil group.
) |
Return the regulator of the points in this subgroup of the Mordell-Weil group.
[max_prime=False], [odd_primes_only=-1]) |
Saturate this subgroup of the Mordell-Weil group.
INPUT: max_prime (int) -- (default: 97), saturation is performed for all primes up to max_prime odd_primes_only (bool) -- only do saturation at odd primes OUTPUT: ok (bool) -- True if and only if the saturation is provably correct at \emph{all} primes. index (int) -- The index of the group generated by points in their saturation saturation (list) -- list of points that form a basis for the saturation
max_prime
are sufficient to saturate at all primes.
Note that the function might not have needed to saturate at
all primes up to max_prime
.
It has worked out what prime you need to saturate up to,
and that prime is max_prime
.
[height_limit=False], [verbose=18]) |
Search for new points, and add them to this subgroup of the Mordell-Weil group.
INPUT: height_limit -- float (default: 18) search up to this logarithmetic height. On 32-bit machines, h_lim MUST be < 21.48 else exp(h_lim)>2^31 and overflows.
Instances of class mwrank_MordellWeil also have the following special methods:
__repr__
See About this document... for information on suggesting changes.