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

[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

[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.

[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.

[mstreng]

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.