#12877: Categories for padics, schemes, and some more rings
-------------------------------------+--------------------------------------
Reporter: nthiery | Owner: nthiery
Type: enhancement | Status: needs_review
Priority: major | Milestone: sage-5.1
Component: categories | Resolution:
Keywords: | Work issues:
Report Upstream: N/A | Reviewers:
Authors: Nicolas M. Thiéry | Merged in:
Dependencies: | Stopgaps:
-------------------------------------+--------------------------------------
Comment (by nthiery):
Replying to [comment:2 SimonKing]:
> Hooray, finally the category of schemes is used in Sage! Question: Are
there morphisms of schemes, yet? I am first reviewing #12875 and will then
also look at the ticket here.
Apparently yes :-)
{{{
sage: sage: k = GF(11)
sage: E = EllipticCurve(k,[1,1])
sage: Q = E(6,5)
sage: phi = E.isogeny(Q)
sage: phi.parent()
Set of Morphisms from Abelian group of points on Elliptic Curve defined by
y^2 = x^3 + x + 1 over Finite Field of size 11 to Abelian group of points
on Elliptic Curve defined by y^2 = x^3 + 7*x + 8 over Finite Field of size
11 in Category of hom sets in Category of Schemes
sage: phi.parent().homset_category()
Category of hom sets in Category of Schemes
}}}
(which by the way should really be Category of Schemes; see #12880)
--
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/12877#comment:3>
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.
