#15618: Use the correct categories for coercion and conversion maps
-------------------------------------+-------------------------------------
       Reporter:  pbruin             |        Owner:
           Type:  defect             |       Status:  needs_work
       Priority:  major              |    Milestone:  sage-6.4
      Component:  coercion           |   Resolution:
       Keywords:  conversion map     |    Merged in:
        Authors:  Peter Bruin        |    Reviewers:
Report Upstream:  N/A                |  Work issues:
         Branch:                     |       Commit:
  u/pbruin/15618-DefaultConvertMap   |  54a6ecae11f902b11ad651c67af021af6ed2da21
   Dependencies:  #16401, #16402     |     Stopgaps:
-------------------------------------+-------------------------------------

Comment (by pbruin):

 The problem seems to be that the category `Schemes().Homsets()` does not
 have `Sets()` as a supercategory:
 {{{
 sage: Sets().Homsets().all_super_categories()
 [Category of homsets of sets,
  Category of homsets,
  Category of sets,
  Category of sets with partial maps,
  Category of objects]
 sage: Schemes().Homsets().all_super_categories()
 [Category of homsets of schemes,
  Category of objects]
 }}}

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