Ask Your Question

heegner_index() output

asked 2016-10-11 17:23:55 -0600

amatar gravatar image

Consider the elliptic curve E=EllipticCurve('37a')

This elliptic curve has rank 1 over $\mathbb{Q}$. I am interested in knowing which primes divide the index of the Heegner point $y_K$ in the group $E(K)$ modulo torsion where $K=\mathbb{Q}(\sqrt{-7})$

Since $E$ has rank 1, heegner_index_bound() does not work so I try E.heegner_index(-7). The output is 1.00000?

This output should be an interval. I do not understand the output. What does the question mark mean?

edit retag flag offensive close merge delete

1 answer

Sort by » oldest newest most voted

answered 2016-10-12 11:55:34 -0600

FrédéricC gravatar image

The answer is an interval:

sage: E = EllipticCurve('37a')
sage: idx = E.heegner_index(-7); idx
sage: idx.parent()
Real Interval Field with 20 bits of precision
sage: idx.lower()
sage: idx.upper()
edit flag offensive delete link more

Your Answer

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

Add Answer

Question Tools


Asked: 2016-10-11 17:23:55 -0600

Seen: 34 times

Last updated: Oct 12 '16