Opened 14 years ago
Closed 3 years ago
#360 closed enhancement (wontfix)
Implementation of elliptic curve height bounds in Sage
Reported by: | was | Owned by: | cremona |
---|---|---|---|
Priority: | minor | Milestone: | sage-duplicate/invalid/wontfix |
Component: | elliptic curves | Keywords: | |
Cc: | cremona, pbruin | Merged in: | |
Authors: | Reviewers: | ||
Report Upstream: | N/A | Work issues: | |
Branch: | Commit: | ||
Dependencies: | Stopgaps: |
Description
John Cremona has implemented a wide range of height bounds for elliptic curves in this magma program:
http://www.maths.nott.ac.uk/personal/jec/ftp/progs/magma/nfhtbound.m
(see also attached file). Upon my request he GPL'd this program. Thus we can legally port it line-by-line to SAGE.
william
Attachments (1)
Change History (15)
Changed 14 years ago by
comment:1 Changed 14 years ago by
- Milestone set to sage-3
comment:2 Changed 14 years ago by
- Owner changed from was to roed
- Status changed from new to assigned
comment:3 Changed 13 years ago by
comment:4 follow-up: ↓ 5 Changed 13 years ago by
- Cc cremona added
Hi John,
I am curious how much of this code has found its way into Sage and it this ticket can be closed. I did add you to the CC field.
Cheers,
Michael
comment:5 in reply to: ↑ 4 ; follow-up: ↓ 6 Changed 13 years ago by
Replying to mabshoff:
Hi John,
I am curious how much of this code has found its way into Sage and it this ticket can be closed. I did add you to the CC field.
None of this is in Sage at all yet. Over Q the functionality is there (provided by eclib) but not over number fields.
It's something I could do, yes. So please keep the ticket open.
Cheers,
Michael
comment:6 in reply to: ↑ 5 Changed 13 years ago by
Replying to cremona:
Replying to mabshoff:
Hi John,
Hi John,
I am curious how much of this code has found its way into Sage and it this ticket can be closed. I did add you to the CC field.
None of this is in Sage at all yet. Over Q the functionality is there (provided by eclib) but not over number fields.
It's something I could do, yes. So please keep the ticket open.
Sure. I just wanted to make sure that the ticket hadn't already been solved. If you plan to work on it you might want to take ownership of this ticket since roed is rather busy these days.
Cheers,
Michael
Cheers,
Michael
comment:7 Changed 13 years ago by
- Owner changed from roed to cremona
- Status changed from assigned to new
- Summary changed from Port Cremona's implementation of elliptic curve height bounds to SAGE to Implementation of elliptic curve heights and height bounds in SAGE
By the way, before this (=height bounds) is done we should also implement heights on elliptic curves over number fields. For this reason I have changed the ticket's summary description as well as taking ownership.
comment:8 Changed 12 years ago by
- Component changed from number theory to elliptic curves
Assigned to new "elliptic curves" component.
comment:9 Changed 11 years ago by
- Report Upstream set to N/A
- Summary changed from Implementation of elliptic curve heights and height bounds in SAGE to Implementation of elliptic curve height bounds in Sage
Implementation of heights in done in #8496 so should be available from 4.3.4.
Hence I changed the ticket's title back so that it only refers to height bounds.
comment:10 Changed 8 years ago by
- Cc pbruin added
comment:11 Changed 3 years ago by
- Status changed from new to needs_info
Is this still pertinent in any way ?
comment:12 Changed 3 years ago by
It is all now implemented, by Robert Bradshaw with some input from me: see sage/schemes/elliptic_curves/height.py. So this ticket is redundant.
comment:13 Changed 3 years ago by
- Milestone changed from sage-feature to sage-duplicate/invalid/wontfix
- Status changed from needs_info to positive_review
thanks
comment:14 Changed 3 years ago by
- Resolution set to wontfix
- Status changed from positive_review to closed
closing positively reviewed duplicates
Has there been any progress here? What is the status of this in general? Now that John is a full Sage developer wouldn't it be something he would do the best job at?
Cheers,
Michael