Opened 8 years ago

Last modified 12 months 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, GitHub, GitLab) Commit: 54cf573aebc72472a284836ce5139a9d70118e64
Dependencies: #14977, #14978 Stopgaps:

Status badges

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

Attachments (1)

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

Download all attachments as: .zip

Change History (15)

Changed 8 years ago by mstreng

comment:1 Changed 8 years ago by mstreng

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

comment:2 Changed 8 years ago by mstreng

  • Keywords mestre algorithm genus 2 hyperelliptic curves sd35 sd51 added

comment:3 Changed 8 years ago by fstromberg

  • Branch set to u/fstromberg/ticket/14756

comment:4 Changed 8 years ago by florian

  • Dependencies set to #14482

comment:5 Changed 8 years ago by fstromberg

  • Dependencies #14482 deleted

comment:6 Changed 8 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 8 years ago by fstromberg (previous) (diff)

comment:7 Changed 8 years ago by jdemeyer

  • Milestone changed from sage-5.11 to sage-5.12

comment:8 follow-up: Changed 8 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 8 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 8 years ago by mstreng

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

comment:11 Changed 8 years ago by vbraun_spam

  • Milestone changed from sage-6.1 to sage-6.2

comment:12 Changed 8 years ago by vbraun_spam

  • Milestone changed from sage-6.2 to sage-6.3

comment:13 Changed 7 years ago by vbraun_spam

  • Milestone changed from sage-6.3 to sage-6.4

comment:14 Changed 12 months ago by mstreng

  • Commit set to 54cf573aebc72472a284836ce5139a9d70118e64
  • Description modified (diff)

We were too ambitious in trying to put the general case over number fields in there all at once. In the mean time, others managed to put the case of QQ in SageMath, so if we ever continue with this ticket, then we should also take into account #21248.

Last 10 new commits:

​004b333Merge branch 'ticket/14977' into ticket/14756
​4f3ac71Fixed usage of the new structure
​887cdeaAdded the files and made appropriate changes to the hilbert modular group class
​6bb2f07added import by QQ
​9cdb4c3added import of QQ
​7e11ee4Merge branch 'ticket/14977' into ticket/14978
​624330aMerge branch 'ticket/14978' into ticket/14756
​635caebfixed small bug, changing s to z
​22e160cMerge branch 'ticket/14978' into ticket/14756
​54cf573Fixed small bug. The rest of the doctests are still failing
Note: See TracTickets for help on using tickets.