#11930: disallow non-smooth hyperelliptic curves, and let hyperelliptic curves
know
they are not singular
-------------------------------------------+--------------------------------
Reporter: dkrenn | Owner: cremona
Type: defect | Status: needs_work
Priority: major | Milestone: sage-5.0
Component: elliptic curves | Keywords: hyperelliptic
curve singular smooth sd35
Work_issues: | Upstream: N/A
Reviewer: Marco Streng, Damiano Testa | Author: Daniel Krenn,
Marco Streng, Damiano Testa
Merged: | Dependencies:
-------------------------------------------+--------------------------------
Changes (by davidloeffler):
* status: needs_review => needs_work
Comment:
I'm not happy with this:
{{{
51 .. NOTE::
52
53 The words "hyperelliptic curve" are normally only
used for curves of
54 genus at least two, but this class allows more
general smooth double
55 covers of the projective line (conics and elliptic
curves), even though
56 the class is not meant for those and some outputs
may be incorrect.
}}}
I don't think we can merge this if we know or suspect that it gives
incorrect results! We should either raise an error in these cases, or
check that the results that are returned are correct.
--
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/11930#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 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.
