#6341: implement Mestre's algorithm for constructing genus 2 hyperelliptic 
curves
----------------------------------------------------------------------+-----
       Reporter:  ncalexan                                            |         
Owner:  was             
           Type:  enhancement                                         |        
Status:  needs_work      
       Priority:  major                                               |     
Milestone:  sage-feature    
      Component:  number theory                                       |    
Resolution:                  
       Keywords:  mestre algorithm genus 2 hyperelliptic curves sd35  |   Work 
issues:  see [comment:14]
Report Upstream:  N/A                                                 |     
Reviewers:  Marco Streng    
        Authors:  Florian Bouyer, Marco Streng                        |     
Merged in:                  
   Dependencies:                                                      |      
Stopgaps:                  
----------------------------------------------------------------------+-----

Old description:

> An implementation of Mestre's algorithm for constructing genus 2
> hyperelliptic curves.
>
> Apply [attachment:6341_combined.patch] and all files below that.

New description:

 An implementation of Mestre's algorithm for reconstructing genus 2
 hyperelliptic curves from their invariants.

 This is limited to fields of characteristic not 2, 3, 5 and to curves with
 automorphism group generated by the hyperelliptic involution. Curve
 equations are not reduced, hence are unusably large over QQ, but see
 below.

 That's it. Various other tickets deal with extensions:

 * #14755 reduces the discriminant of the hyperelliptic curve (essential
 for getting usable models over number fields)
 * #14756 reduces the hyperelliptic curve equation once the discriminant is
 minimal (also essential for getting usable models over number fields).
 * #12199 treats the case of larger automorphism groups
 * #12200 is about characteristic 2, 3, 5

 Apply [attachment:6341-mestre-only.patch].

--

Comment (by mstreng):

 I separated off the (huge) reduction code from this simple functionality.
 Hopefully that helps in finishing this ticket.

-- 
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/6341#comment:19>
Sage <http://www.sagemath.org>
Sage: Creating a Viable Open Source Alternative to Magma, Maple, Mathematica, 
and MATLAB

-- 
You received this message because you are subscribed to the Google Groups 
"sage-trac" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to [email protected].
To post to this group, send email to [email protected].
Visit this group at http://groups.google.com/group/sage-trac.
For more options, visit https://groups.google.com/groups/opt_out.


Reply via email to