#19552: images and preimages for projective subscheme
-------------------------------------+-------------------------------------
Reporter: bhutz | Owner: bhutz
Type: enhancement | Status: needs_review
Priority: minor | Milestone: sage-6.10
Component: algebraic | Resolution:
geometry | Merged in:
Keywords: subscheme | Reviewers:
iteration | Work issues:
Authors: Ben Hutz | Commit:
Report Upstream: N/A | 0aac0fe06164bfb15e4bf792c3e90b219e1a119c
Branch: | Stopgaps:
u/bhutz/ticket/19552 |
Dependencies: |
-------------------------------------+-------------------------------------
Changes (by {'newvalue': u'Ben Hutz', 'oldvalue': ''}):
* status: new => needs_review
* author: => Ben Hutz
Old description:
> Compute the forward and inverse images for projective subschemes under
> projective morphisms.
>
> The forward image can be computed with an elimination calculation and the
> preimage is simply composition with the map.
New description:
Compute the forward and inverse images for projective subschemes under
projective morphisms.
The forward image can be computed with an elimination calculation and the
preimage is simply composition with the map.
This includes orbit() and nth_iterate() functions for subschemes.
--
Comment:
This is ready for another set of eyes.
--
Ticket URL: <http://trac.sagemath.org/ticket/19552#comment:4>
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/d/optout.
