#19512: is_morphism for maps of products of projective spaces
-------------------------------------+-------------------------------------
       Reporter:  gjorgenson         |        Owner:
           Type:  enhancement        |       Status:  needs_review
       Priority:  minor              |    Milestone:
      Component:  algebraic          |   Resolution:
  geometry                           |    Merged in:
       Keywords:                     |    Reviewers:  Ben Hutz
        Authors:  Grayson Jorgenson  |  Work issues:
Report Upstream:  N/A                |       Commit:
         Branch:                     |  ee5676f3f02327ba15d9b9c13d337b4543b696a5
  u/gjorgenson/ticket/19512          |     Stopgaps:
   Dependencies:                     |
-------------------------------------+-------------------------------------
Changes (by gjorgenson):

 * status:  needs_work => needs_review


Comment:

 Okay, now if the base ring isn't a field, I change_ring both the ambient
 space of the domain and the coordinate polynomials before performing the
 dimension check.

--
Ticket URL: <http://trac.sagemath.org/ticket/19512#comment:17>
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.

Reply via email to