Opened 9 years ago
Last modified 20 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: |
Description (last modified by )
* 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
- The intended SageMath code, but as a separate package.
- #21248 -- Case K=QQ
- #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)
Change History (15)
Changed 9 years ago by
comment:1 Changed 9 years ago by
- Cc florian added
- Description modified (diff)
comment:2 Changed 9 years ago by
- Keywords mestre algorithm genus 2 hyperelliptic curves sd35 sd51 added
comment:3 Changed 9 years ago by
- Branch set to u/fstromberg/ticket/14756
comment:4 Changed 9 years ago by
- Dependencies set to #14482
comment:5 Changed 9 years ago by
- Dependencies #14482 deleted
comment:6 Changed 9 years ago by
comment:7 Changed 9 years ago by
- Milestone changed from sage-5.11 to sage-5.12
comment:8 follow-up: ↓ 9 Changed 9 years ago by
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
- 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
- Dependencies set to #14977, #14978
- Description modified (diff)
comment:11 Changed 9 years ago by
- Milestone changed from sage-6.1 to sage-6.2
comment:12 Changed 8 years ago by
- Milestone changed from sage-6.2 to sage-6.3
comment:13 Changed 8 years ago by
- Milestone changed from sage-6.3 to sage-6.4
comment:14 Changed 20 months ago by
- 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:
004b333 | Merge branch 'ticket/14977' into ticket/14756
|
4f3ac71 | Fixed usage of the new structure
|
887cdea | Added the files and made appropriate changes to the hilbert modular group class
|
6bb2f07 | added import by QQ
|
9cdb4c3 | added import of QQ
|
7e11ee4 | Merge branch 'ticket/14977' into ticket/14978
|
624330a | Merge branch 'ticket/14978' into ticket/14756
|
635caeb | fixed small bug, changing s to z
|
22e160c | Merge branch 'ticket/14978' into ticket/14756
|
54cf573 | Fixed small bug. The rest of the doctests are still failing
|
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.