#15115: correct set of points at infinity for hyperelliptic curve
-------------------------------------+-------------------------------------
Reporter: mstreng | Owner:
Type: defect | Status: new
Priority: major | Milestone: sage-5.12
Component: geometry | Resolution:
Keywords: hyperelliptic | Merged in:
curve points at infinity | Reviewers:
Authors: Marco Streng | Work issues: doctest the rest of
Report Upstream: N/A | the sage library, check how
Branch: | documentation looks, add example
Dependencies: #15108 | from ticket description to patch
| Commit:
| Stopgaps:
-------------------------------------+-------------------------------------
Comment (by mstreng):
But wait, Sage does have weighted projective spaces. There is even a
genuine hyperelliptic curve in the documentation!
{{{
sage: X = toric_varieties.WP([1,3,1], names='x y z')
sage: X.inject_variables()
Defining x, y, z
sage: g = y^2-(x^6-z^6)
sage: C = X.subscheme([g]); C
Closed subscheme of 2-d toric variety covered by 3 affine patches
defined by:
-x^6 + z^6 + y^2
}}}
WP stands for "weighted projective space". The three affine patches are
more than we need for hyperelliptic curves, so I wonder whether working
with points is efficient for such a hyperelliptic curve.
--
Ticket URL: <http://trac.sagemath.org/ticket/15115#comment:5>
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.
