#17000: how to use SetMorphism?
---------------------------------------+------------------------
       Reporter:  elixyre              |        Owner:
           Type:  defect               |       Status:  new
       Priority:  major                |    Milestone:  sage-6.4
      Component:  categories           |   Resolution:
       Keywords:  morphism             |    Merged in:
        Authors:  Jean-Baptiste Priez  |    Reviewers:
Report Upstream:  N/A                  |  Work issues:
         Branch:                       |       Commit:
   Dependencies:                       |     Stopgaps:
---------------------------------------+------------------------

Comment (by nthiery):

 This is a known limitation which has been annoying for a while: at the end
 of Map.__call__, it's systematically checked that the parent of the result
 is the codomain of the map. In particular, the result should be an
 Element.

 In other words, Map does not play well with facade parents, especially if
 the elements are plain Python objects.

 I think there is a ticket about this, but I don't remember which from the
 top of my head.

 Nice ticket number by the way :-)

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