#11930: function to check if hyperelliptic curve is singular in the sense of
hyperelliptic curves
-------------------------------------------+--------------------------------
Reporter: dkrenn | Owner: cremona
Type: enhancement | Status: needs_work
Priority: minor | Milestone: sage-4.8
Component: elliptic curves | Keywords: hyperelliptic
curve, singular, sd35
Work_issues: | Upstream: N/A
Reviewer: Marco Streng, Damiano Testa | Author: Daniel Krenn
Merged: | Dependencies:
-------------------------------------------+--------------------------------
Changes (by mstreng):
* keywords: hyperelliptic curve, singular => hyperelliptic curve,
singular, sd35
* reviewer: => Marco Streng, Damiano Testa
* status: needs_review => needs_work
Comment:
Disagreement with Magma, there should still be some condition at infinity
for this to be a nice hyperelliptic curve. We are now figuring out what
that condition should be.
{{{
sage: P.<x> = GF(2)[]
sage: H = HyperellipticCurve(x^6+1, 1)
sage: H.is_singular()
False
sage: magma(H)
TypeError: Error evaluating Magma code.
Runtime error in 'HyperellipticCurve': Curve is singular at infinity
}}}
Also, it seems from the code in HyperellipticCurve that some partial check
for singularity is performed there. Should that be a full check or no
check at all?
--
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/11930#comment:7>
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.
