#13130: Ring support for projective space points and morphisms
-----------------------------------------+----------------------------------
Reporter: bhutz | Owner: bhutz
Type: enhancement | Status: new
Priority: major | Milestone: sage-5.2
Component: algebraic geometry | Resolution:
Keywords: projective space ring | Work issues:
Report Upstream: N/A | Reviewers:
Authors: bhutz | Merged in:
Dependencies: | Stopgaps:
-----------------------------------------+----------------------------------
Comment (by bhutz):
Summary: Adding support for rings in projective spaces.
See comments from: https://groups.google.com/forum/?fromgroups#!topic
/sage-devel/HXXqQ_XP358
point.py:
-no automatic normalization (as is currently done with fields)
-implemented __eq__ and __ne__, which required removing __cmp__ from
elliptic curves
-implemented scale_by() - scales the coordinates by a given amount
-implemented normalize_coordinates() - removes the gcd of the coordinates
morphism.py:
-no automatic gcd removal (even over CC this does not work)
This change reverses part of Trac: 3964
(http://trac.sagemath.org/sage_trac/ticket/3964)
-removed "immutable" for .__polys since you can scale projective
coordinates
-added "check" to __call__ to help deal with indeterminacies and allow for
bypassing the initialization checks for points
-implemented __eq__ and __ne__
-implemented scale_by() - scales the coordinates by a given amount
-implemented normalize_coordinates() - removes the gcd of the coordinates
homset.py:
-allowed rings
projective_space.py:
-implemented dimension() - since the current implementation was giving
incorrect values when the base ring is a ring (for example ZZ)
general changes:
-added many examples
-cleaned up imports
--
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/13130#comment:1>
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.
