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:

Status badges

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)

nfhtbound.m (17.0 KB) - added by was 14 years ago.

Download all attachments as: .zip

Change History (15)

Changed 14 years ago by was

comment:1 Changed 14 years ago by mabshoff

  • Milestone set to sage-3

comment:2 Changed 14 years ago by roed

  • Owner changed from was to roed
  • Status changed from new to assigned

comment:3 Changed 13 years ago by mabshoff

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

comment:4 follow-up: Changed 13 years ago by mabshoff

  • 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: Changed 13 years ago by cremona

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 mabshoff

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 cremona

  • 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 davidloeffler

  • Component changed from number theory to elliptic curves

Assigned to new "elliptic curves" component.

comment:9 Changed 11 years ago by cremona

  • 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 pbruin

  • Cc pbruin added

comment:11 Changed 3 years ago by chapoton

  • Status changed from new to needs_info

Is this still pertinent in any way ?

comment:12 Changed 3 years ago by cremona

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 chapoton

  • 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 vdelecroix

  • Resolution set to wontfix
  • Status changed from positive_review to closed

closing positively reviewed duplicates

Note: See TracTickets for help on using tickets.