Changes between Initial Version and Version 1 of Ticket #14471, comment 13


Ignore:
Timestamp:
04/23/13 07:46:00 (9 years ago)
Author:
nbruin
Comment:

Legend:

Unmodified
Added
Removed
Modified
  • Ticket #14471, comment 13

    initial v1  
    1616False
    1717}}}
    18 We have that P.__hash__ looks like:
     18We have that `P.__hash__` looks like:
    1919{{{
    2020    def __hash__(self):
     
    3434
    3535Given that this code stems from #5930, it predates these dynamic classes voodoo by quite a bit, so the fact that it doesn't operate well with it is a bug in the dynamic classes stuff. A job for Simon, Nicholas and the gang!
     36
     37Furthermore, note that `type(parent(m))` inherits from `UniqueRepresentation` but that `type(parent(f))` does not.  It doesn't seem easy to do, but it might be possible to make two equal-but-not-identical callable expression rings. Building matrix rings over them will wreak havoc, because the constructor will use equality testing on the ingredients (and hence return identical matrix rings), but the coercion framework will not honour "equality" between the non-identical base rings.