#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):

 Some thoughts:

 - Another plus of my suggestion is that it would encourage people to
 ''properly'' initialise the category (since otherwise X.__class__ would
 not be a subclass of the category's parent class).

 - The negative of my suggestion: If one programs in Cython, then
 `X.__class__` will not become a sub-class of the category's parent class,
 even if initialisation of the category was done properly.

 - The positive in the negative of my suggestion: If one programs in
 Cython, then the problem is not relevant anyway. The problem I'm
 addressing will only appear if one relies on Python's way of pickling,
 without implementing `__reduce__`.

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


Reply via email to