#14793: Unique representation for homsets
-------------------------------+--------------------------------------------
       Reporter:  nthiery      |         Owner:  nthiery  
           Type:  enhancement  |        Status:  new      
       Priority:  major        |     Milestone:  sage-5.12
      Component:  categories   |    Resolution:           
       Keywords:               |   Work issues:           
Report Upstream:  N/A          |     Reviewers:           
        Authors:  Simon King   |     Merged in:           
   Dependencies:               |      Stopgaps:           
-------------------------------+--------------------------------------------

Comment (by SimonKing):

 The only failing test of sage/modular boils down to
 {{{
 sage: E = J0(11).endomorphism_ring()
 sage: loads(dumps(E))
 }}}
 where again Hom is called on a not sufficiently initialised parent.

 Here, the problem is that during unpickling, `J0(11).category()` does
 ''not'' raise an error, but returns the category of sets, which is the
 wrong to do in this situation.

-- 
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/14793#comment:28>
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/groups/opt_out.


Reply via email to