#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 novoselt):
It is standard in Sage to keep track of who is doing what and why, if you
rearrange a file, then you will be shown as the author of new lines and
this ticket will be listed as a reason for its addition. There can be
different schemes of arranging names and classes (e.g. I like to have
everything alphabetically). I don't think we have any standard conventions
for that. But you should never "just move" existing code because of the
history loss.
Integers have a chain of prime ideals of length 1, e.g. (0) contained in
(2), so its dimension is one. Rationals have dimension zero since there is
only one prime ideal (length of the chain is zero), as for other fields.
If you look at the documentation of existing dimension function, you will
see that it is indeed supposed to work like this: dimension of the base
ring is taken into consideration. Moreover, you can see that there are
long names for either way `dimension_absolute` and `dimension_relative`,
and just `dimension` is explicitly shown to work as `dimension_absolute`.
So it is definitely not a good idea to make this "default" dimension mean
relative in the case of projective spaces.
--
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/13130#comment:16>
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.
