#6341: implement Mestre's algorithm for constructing genus 2 hyperelliptic 
curves
-----------------------------+----------------------------------------------
   Reporter:  ncalexan       |          Owner:  was                             
                  
       Type:  enhancement    |         Status:  needs_work                      
                  
   Priority:  minor          |      Milestone:  sage-feature                    
                  
  Component:  number theory  |       Keywords:  mestre algorithm genus 2 
hyperelliptic curves sd35
Work_issues:                 |       Upstream:  N/A                             
                  
   Reviewer:  Marco Streng   |         Author:  Florian Bouyer                  
                  
     Merged:                 |   Dependencies:                                  
                  
-----------------------------+----------------------------------------------

Old description:

> An implementation of Mestre's algorithm for constructing genus 2
> hyperelliptic curves.
>
>  * Apply [attachment:trac_6341_mestre_algorithm.patch]
>  * Apply [attachment:trac_6341_mestre_algoritm_2.patch]

New description:

 An implementation of Mestre's algorithm for constructing genus 2
 hyperelliptic curves.

  * Apply [attachment:6341_combined.patch]

--

Comment(by mstreng):

 I wrapped lines and clarified / corrected documentation and corrected some
 formulas. I also removed functions that were not needed.

 To do:

  - continue with wrapping lines and checking documentation for spelling or
 formatting problems
  - add the missing examples and possibly some more with non-trivial
 reduction properties
  - remove functions marked with "to_remove"
  - make sure stoll-cremona reduction is correctly implemented when
 homogenized to higher degree than the degree of the polynomial
  - add a sanity check at the end of HyperellipticCurve_from_invariants,
 checking if the curve has the correct invariants before outputting it
 (RuntimeError otherwise)

 apply 6341_combined.patch

-- 
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/6341#comment:14>
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 post to this group, send email to [email protected].
To unsubscribe from this group, send email to 
[email protected].
For more options, visit this group at 
http://groups.google.com/group/sage-trac?hl=en.

Reply via email to