Opened 12 years ago

Closed 6 years ago

#9410 closed defect (wontfix)

EC.local_data() can't handle extensions of number fields

Reported by: Armin Straub Owned by: John Cremona
Priority: major Milestone: sage-duplicate/invalid/wontfix
Component: elliptic curves Keywords: local_data
Cc: William Stein, Charlie Turner, Pin-Hung Kao Merged in:
Authors: Reviewers: Armin Straub
Report Upstream: N/A Work issues:
Branch: Commit:
Dependencies: Stopgaps:

Status badges

Description

In 4.4.4 the following code produces a ValueError?:

sage: K.<a> = NumberField(x^2+1)
sage: L.<b> = K.extension(x^2-17)
sage: E = EllipticCurve(L, [1,1])
sage: E.local_data()

As a workaround, one can use absolute_field:

L1.<c> = L.absolute_field()
E1 = EllipticCurve(L1, [1,1])
E1.local_data()

Change History (9)

comment:1 Changed 6 years ago by Armin Straub

This seems to have been fixed since I reported this a couple of years ago, so this ticket can be closed. Can/should I do something to flag the ticket as such?

comment:2 Changed 6 years ago by John Cremona

Choose invalid/dontfix from the Milestone menu (under "Modify Ticket"). It will the be closed.

I think it has been fixed for ages, but it hardly seems worth looking for when. Thanks for noticing -- I'll let you follow the above instructions.

comment:3 Changed 6 years ago by Frédéric Chapoton

yes, please set to positive review with milestone "duplicate invalid wontfix"

comment:4 Changed 6 years ago by Armin Straub

Milestone: sage-duplicate/invalid/wontfix

Thank you both! I have changed the milestone as instructed.

There was no option yet to flag this as positively reviewed, so I didn't do that. My guess is that one has to first set the ticket as "needs review" before that option becomes available. If this should be done, please let me know.

comment:5 Changed 6 years ago by Frédéric Chapoton

Status: newneeds_review

yes, this is a 2-step job. I did the first step for you, you can now do the second step. You could have done both yourself.

comment:6 Changed 6 years ago by Armin Straub

Status: needs_reviewpositive_review

Thanks! I was hesitant to do that without understanding what will happen. It is set to "positive review" now (with no reviewer, but I hope that is OK in such a case).

comment:7 Changed 6 years ago by Frédéric Chapoton

I am not sure if we need a reviewer here, but you can add your name for safety.

comment:8 Changed 6 years ago by Armin Straub

Reviewers: Armin Straub

Done!

comment:9 Changed 6 years ago by Erik Bray

Resolution: wontfix
Status: positive_reviewclosed

Determined to be invalid/duplicate/wontfix (closing as "wontfix" as a catch-all resolution).

Note: See TracTickets for help on using tickets.