Ask Your Question
0

how to get the general formula of SHA-TATE GROUP?

asked 2014-07-10 09:23:26 +0100

this post is marked as community wiki

This post is a wiki. Anyone with karma >750 is welcome to improve it.

how to get SHA general formula by parametrization a1, a2, a3, a4, a6,no a number

E=EllipticCurve([0,1]);E;S=E.sha();S

Elliptic Curve defined by y^2 = x^3 + 1 over Rational Field
Tate-Shafarevich group for the Elliptic Curve defined by y^2 = x^3 + 1
over Rational Field

 R.<a1,a2,a3,a4,a6>=QQ[];show(R);E=EllipticCurve([a1,a2,a3,a4,a6]);show(E)

Multivariate Polynomial Ring in a1, a2, a3, a4, a6 over Rational Field
Elliptic Curve defined by y^2 + a1*x*y + a3*y = x^3 + a2*x^2 + a4*x + a6
over Multivariate Polynomial Ring in a1, a2, a3, a4, a6 over Rational
Field

S=E.sha();S

Traceback (click to the left of this block for traceback)
...
AttributeError: 'EllipticCurve_generic_with_category' object has no
attribute 'sha'
edit retag flag offensive close merge delete

1 Answer

Sort by ยป oldest newest most voted
0

answered 2014-07-10 15:34:15 +0100

kcrisman gravatar image

The Tate-Shafarevich group is apparently only implemented for elliptic curves over the rational field. See the documentation and note that over generic rings or fields it isn't there. Perhaps this is an enhancement request?

edit flag offensive delete link more

Comments

thank kcrisman master very much! I see about it http://wstein.org/projects/ 19 Ariel Shwayder's Junior Project on "Visualizing L(E,s)" ------there some datas images about L(E,s) by PARI. 12 Dimitar Jetchev's senior thesis Visibility of Shafarevich-Tate Group -----there no datas images about sha-tate group.

cjsh gravatar imagecjsh ( 2014-07-11 05:52:07 +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: 2014-07-10 09:23:26 +0100

Seen: 336 times

Last updated: Jul 11 '14