#7575: Sage's interface with mwrank needs serious work
-------------------------------+--------------------------------------------
   Reporter:  rlm              |       Owner:  cremona   
       Type:  defect           |      Status:  needs_info
   Priority:  major            |   Milestone:  sage-4.3.1
  Component:  elliptic curves  |    Keywords:            
     Author:                   |    Upstream:  N/A       
   Reviewer:                   |      Merged:            
Work_issues:                   |  
-------------------------------+--------------------------------------------

Old description:

> 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]]
> }}}

New description:

 Ticket TODO list:

  * `src/qrank/mrank1.cc` needs to be patched, as John described.

  * Switch all uses of mwrank from the interface to the library.

  * Make sure that all options to mwrank are properly used.

  * Make sure that all output from mwrank is available.

  * ...?

--

Comment(by rlm):

 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]]
 }}}

-- 
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/7575#comment:7>
Sage <http://www.sagemath.org>
Sage: Creating a Viable Open Source Alternative to Magma, Maple, Mathematica, 
and MATLAB
-- 
You received this message because you are subscribed to the Google Groups 
"sage-trac" group.
To post to this group, send email to [email protected].
To unsubscribe from this group, send email to 
[email protected].
For more options, visit this group at 
http://groups.google.com/group/sage-trac?hl=en.


Reply via email to