#11930: disallow non-smooth hyperelliptic curves, and let hyperelliptic curves
know
they are not singular
-------------------------------------------------------------+--------------
Reporter: dkrenn | Owner:
cremona
Type: defect | Status:
needs_review
Priority: major | Milestone:
sage-5.0
Component: elliptic curves | Resolution:
Keywords: hyperelliptic curve singular smooth sd35 | Work issues:
Report Upstream: N/A | Reviewers:
Marco Streng, Damiano Testa, David Eklund
Authors: Daniel Krenn, Marco Streng, Damiano Testa | Merged in:
Dependencies: | Stopgaps:
-------------------------------------------------------------+--------------
Changes (by davideklund):
* reviewer: Marco Streng, Damiano Testa => Marco Streng, Damiano Testa,
David Eklund
Comment:
I tested this on Sage 4.8.
There is a method is_smooth() which can be applied to a hyperelliptic
curve. With the patches applied:
{{{
sage: R.<x> = PolynomialRing(GF(3))
sage: H=HyperellipticCurve(x^5+1)
sage: H.is_singular()
False
sage: H.is_smooth()
False
}}}
Maybe these two methods should give consistent results. The is_smooth()
method seems to be defined in the class
AlgebraicScheme_subscheme_projective in algebraic_scheme.py.
--
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/11930#comment:22>
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.
