Opened 9 years ago

Last modified 22 months ago

#14756 new enhancement

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

Reported by: Marco Streng Owned by: William Stein
Priority: major Milestone: sage-6.4
Component: number theory Keywords: mestre algorithm genus 2 hyperelliptic curves sd35 sd51
Cc: Florian Bouyer 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 Marco Streng)

* 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 Marco Streng 9 years ago.

Download all attachments as: .zip

Change History (15)

Changed 9 years ago by Marco Streng

Attachment: 14756-sc-reduction.patch added

comment:1 Changed 9 years ago by Marco Streng

Authors: Florian Bouyer, Marco Streng
Cc: Florian Bouyer added
Description: modified (diff)

comment:2 Changed 9 years ago by Marco Streng

Keywords: mestre algorithm genus 2 hyperelliptic curves sd35 sd51 added

comment:3 Changed 9 years ago by Fredrik Strömberg

Branch: u/fstromberg/ticket/14756

comment:4 Changed 9 years ago by Florian Bouyer

Dependencies: #14482

comment:5 Changed 9 years ago by Fredrik Strömberg

Dependencies: #14482

comment:6 Changed 9 years ago by Fredrik Strömberg

I took out routines dealing with fundamental domains and reduction and inserted them into tickets 14977 and 14978. There are doctests to be fixed.

Version 0, edited 9 years ago by Fredrik Strömberg (next)

comment:7 Changed 9 years ago by Jeroen Demeyer

Milestone: sage-5.11sage-5.12

comment:8 Changed 9 years ago by Jeroen Demeyer

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 9 years ago by Marco Streng

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 9 years ago by Marco Streng

Dependencies: #14977, #14978
Description: modified (diff)

comment:11 Changed 9 years ago by For batch modifications

Milestone: sage-6.1sage-6.2

comment:12 Changed 8 years ago by For batch modifications

Milestone: sage-6.2sage-6.3

comment:13 Changed 8 years ago by For batch modifications

Milestone: sage-6.3sage-6.4

comment:14 Changed 22 months ago by Marco Streng

Commit: 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.