Opened 11 years ago
Closed 5 years ago
#9410 closed defect (wontfix)
EC.local_data() can't handle extensions of number fields
Reported by: | arminstraub | Owned by: | cremona |
---|---|---|---|
Priority: | major | Milestone: | sage-duplicate/invalid/wontfix |
Component: | elliptic curves | Keywords: | local_data |
Cc: | was, cturner, beankao | Merged in: | |
Authors: | Reviewers: | Armin Straub | |
Report Upstream: | N/A | Work issues: | |
Branch: | Commit: | ||
Dependencies: | Stopgaps: |
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 5 years ago by
comment:2 Changed 5 years ago by
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 5 years ago by
yes, please set to positive review with milestone "duplicate invalid wontfix"
comment:4 Changed 5 years ago by
- Milestone set to 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 5 years ago by
- Status changed from new to needs_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 5 years ago by
- Status changed from needs_review to positive_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 5 years ago by
I am not sure if we need a reviewer here, but you can add your name for safety.
comment:9 Changed 5 years ago by
- Resolution set to wontfix
- Status changed from positive_review to closed
Determined to be invalid/duplicate/wontfix (closing as "wontfix" as a catch-all resolution).
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?