Opened 6 years ago

Last modified 5 years ago

#14756 new enhancement

The Stoll-Cremona reduction method for hyperelliptic curves over number fields

Reported by: mstreng Owned by: was
Priority: major Milestone: sage-6.4
Component: number theory Keywords: mestre algorithm genus 2 hyperelliptic curves sd35 sd51
Cc: florian Merged in:
Authors: Florian Bouyer, Marco Streng Reviewers:
Report Upstream: N/A Work issues:
Branch: u/fstromberg/ticket/14756 (Commits) Commit:
Dependencies: #14977, #14978 Stopgaps:

Description (last modified by mstreng)

* latest version is in the git branch *

Implement the SL_2(O_K) reduction method for hyperelliptic curves over numbers fields from Stoll-Cremona -- On the reduction theory of binary forms, J. Reine Angew. Math. 565 (2003), 79–99.

See also

  • #14755 -- also about reduction of hyperelliptic curve equations, depends on this ticket
  • #14978 -- fundamental domains for Hilbert modular groups
  • #14977 -- Hilbert modular groups

Attachments (1)

14756-sc-reduction.patch (35.0 KB) - added by mstreng 6 years ago.

Download all attachments as: .zip

Change History (14)

Changed 6 years ago by mstreng

comment:1 Changed 6 years ago by mstreng

  • Authors set to Florian Bouyer, Marco Streng
  • Cc florian added
  • Description modified (diff)

comment:2 Changed 6 years ago by mstreng

  • Keywords mestre algorithm genus 2 hyperelliptic curves sd35 sd51 added

comment:3 Changed 6 years ago by fstromberg

  • Branch set to u/fstromberg/ticket/14756

comment:4 Changed 6 years ago by florian

  • Dependencies set to #14482

comment:5 Changed 6 years ago by fstromberg

  • Dependencies #14482 deleted

comment:6 Changed 6 years ago by fstromberg

I took out routines dealing with fundamental domains and reduction and inserted them into ticket 14978 which depends on ticket 14977 which implements base classes for Hilbert modular groups. There are also failing doctests to be fixed.

Last edited 6 years ago by fstromberg (previous) (diff)

comment:7 Changed 6 years ago by jdemeyer

  • Milestone changed from sage-5.11 to sage-5.12

comment:8 follow-up: Changed 6 years ago by jdemeyer

Please make it clear whether the patch or the git branch should be merged. In the latter case, change the milestone to sage-6.0.

comment:9 in reply to: ↑ 8 Changed 6 years ago by mstreng

  • Description modified (diff)

Replying to jdemeyer:

Please make it clear whether the patch or the git branch should be merged. In the latter case, change the milestone to sage-6.0.

We are currently working with the git branch. But if this ticket is finished before the switch to git happens, then we can always manually create a new patch file with the differences, so I don't see the need of bumping it all the way to sage-6.0.

comment:10 Changed 6 years ago by mstreng

  • Dependencies set to #14977, #14978
  • Description modified (diff)

comment:11 Changed 6 years ago by vbraun_spam

  • Milestone changed from sage-6.1 to sage-6.2

comment:12 Changed 5 years ago by vbraun_spam

  • Milestone changed from sage-6.2 to sage-6.3

comment:13 Changed 5 years ago by vbraun_spam

  • Milestone changed from sage-6.3 to sage-6.4
Note: See TracTickets for help on using tickets.