Ask Your Question
1

Is it error in Sage or mwrank

asked 2020-01-07 22:41:06 +0100

azerbajdzan gravatar image

updated 2020-01-09 01:27:13 +0100

Sage is unable to compute generators of this elliptic curve:

E=EllipticCurve([0,0,0,-3904/3,-144025/27])
E.gens()

The curve has quite small point (-1373/300, 22927/1000).

Is it error in Sage or in mwrank algorithm?

EDIT: Another example:

E=EllipticCurve([0,0,0,-106/3, -911/27])
E.gens()

It has small point: (-7/3, -6).

Sage is terrible.

edit retag flag offensive close merge delete

Comments

The more diplomatic ,specific, and constructive version of your "sage is terrible" would be: "It looks like there are many opportunities to make "E.gets()" succeed on a lot more elliptic crurves."

It does look like a lot of the higher descent techniques (and 3-descent) that are available in magma, aren't available in sage. It's hard to find someone motivated to do the hard work again -- the first time (for the implementation in magma) the author got a nice paper out of it. That's hard to replicate for the person who'd implement these routines in sage.

nbruin gravatar imagenbruin ( 2020-01-09 03:44:48 +0100 )edit

1 Answer

Sort by ยป oldest newest most voted
2

answered 2020-01-08 05:56:38 +0100

nbruin gravatar image

The reason why this curve is a little problematic is because it has nontrivial Sha[2]. It would be fairly straightforward to get E.gens() to work: this is a rank 1 elliptic curve and enough of BSD is proved that this can be proven analytically. Sage knows how to do that too:

sage: E.rank(only_use_mwrank=False,proof=True)
1

So the only thing to do is to prove that the point you found isn't divisible by any $n>1$. It is a little surprising that E.gens doesn't seem to have obvious options to help it discover this. The basic elements for implementing this are available.

edit flag offensive delete link more

Comments

@nbruin: I just found even easier case of elliptic curve that Sage is unable to compute its generators. See edit of my question.

azerbajdzan gravatar imageazerbajdzan ( 2020-01-09 01:29:40 +0100 )edit

Your Answer

Please start posting anonymously - your entry will be published after you log in or create a new account.

Add Answer

Question Tools

1 follower

Stats

Asked: 2020-01-07 22:41:06 +0100

Seen: 315 times

Last updated: Jan 09 '20