Changes between Initial Version and Version 7 of Ticket #7575


Ignore:
Timestamp:
Jan 19, 2010, 10:11:48 PM (13 years ago)
Author:
Robert Miller
Comment:

The documentation for EllipticCurve.gens says:

HINT: If you would like to control the height bounds used in the
2-descent, first call the two_descent function with those height
bounds. However that function, while it displays a lot of output,
returns no values.

However, this doesn't work, because EllipticCurve.gens doesn't know about it:

sage: x,y=var('x,y')
sage: E = EllipticCurve(y^2 + x*y + y == x^3 - 10525529*x - 21714803524)
sage: E.two_descent(second_limit=11, verbose=False)
sage: E.gens()
*BOOM*

Despite:

sage: A = E.mwrank_curve()
sage: A.gens()
[[1737553736529419603224344006006032245457891558644991945121564365621L, -1605018042749306385493128932071874233128412498544999275367916849231954L, 2038538889602737161869943561394015059980551394212496529475951L]]

Legend:

Unmodified
Added
Removed
Modified
  • Ticket #7575

    • Property Status changed from new to needs_info
    • Property Summary changed from EllipticCurve.gens: height bounds not handled well in two_descent to Sage's interface with mwrank needs serious work
  • Ticket #7575 – Description

    initial v7  
    1 The documentation for `EllipticCurve.gens` says:
    2 {{{
    3 HINT: If you would like to control the height bounds used in the
    4 2-descent, first call the two_descent function with those height
    5 bounds. However that function, while it displays a lot of output,
    6 returns no values.
    7 }}}
     1Ticket TODO list:
    82
    9 However, this doesn't work, because `EllipticCurve.gens` doesn't know about it:
     3 * `src/qrank/mrank1.cc` needs to be patched, as John described.
    104
    11 {{{
    12 sage: x,y=var('x,y')
    13 sage: E = EllipticCurve(y^2 + x*y + y == x^3 - 10525529*x - 21714803524)
    14 sage: E.two_descent(second_limit=11, verbose=False)
    15 sage: E.gens()
    16 *BOOM*
    17 }}}
     5 * Switch all uses of mwrank from the interface to the library.
    186
    19 Despite:
     7 * Make sure that all options to mwrank are properly used.
    208
    21 {{{
    22 sage: A = E.mwrank_curve()
    23 sage: A.gens()
    24 [[1737553736529419603224344006006032245457891558644991945121564365621L, -1605018042749306385493128932071874233128412498544999275367916849231954L, 2038538889602737161869943561394015059980551394212496529475951L]]
    25 }}}
     9 * Make sure that all output from mwrank is available.
     10
     11 * ...?