#13130: Ring support for projective space points and morphisms
-----------------------------------------+----------------------------------
Reporter: bhutz | Owner: bhutz
Type: enhancement | Status: needs_work
Priority: major | Milestone: sage-5.3
Component: algebraic geometry | Resolution:
Keywords: projective space ring | Work issues:
Report Upstream: N/A | Reviewers:
Authors: Ben Hutz | Merged in:
Dependencies: | Stopgaps:
-----------------------------------------+----------------------------------
Comment (by bhutz):
as another data point the --testall --long passes on my machine (Ubuntu)
To answer the questions in the last comment:
The formatting I can address. I had thought I'd followed the conventions,
but I'll go back through and check all the changes.
_element_constructor was removed since it was simply returning
NotImplemented. As in
points_projective_field, removing that place holder allows the
SchemeHomset_points _element_constructor to be used for
point_projective_ring
SchemeMorphism_polynomial_projective_space was moved to have the
projective classes together. If it is more standard in Sage to have the
_polynomial_ classes together, then I can certainly move it back.
Dimension was changed since it seemed to be not working for projective
spaces. Before the new dimension function you would get
sage: ProjectiveSpace(QQ,2,'x').dimension()
2
sage: ProjectiveSpace(ZZ,2,'x').dimension()
3
I assumed that the value for ZZ was wrong. Although it seems that
Spec(ZZ).dimension() does in fact return 1 while Spec(QQ).dimension()
returns 0. Is this really the desired behavior, that the dimension of
projective space over the integers is +1?
--
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/13130#comment:15>
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.
