Hi,

Le dimanche 8 novembre 2015 07:32:48 UTC+1, David Roe a écrit :
>
>
>
> I think Nils' point about the downsides of having a cache is one reason 
> not to use UniqueRepresentation, both because it can generate references to 
> objects you might want to forget, and because sometimes you just want to 
> start with two three dimensional manifolds, specifying distinct atlases as 
> you go.  If you use unique representation, you might accidentally get the 
> same object.
>
>  Why not just inherit from 
> :class:`~sage.misc.fast_methods.WithEqualityById` ?  That seems to have 
> what you need.  Yes, the standard pickling test will be broken, but I think 
> that's fine for your application.
> David
>

Yes, from the above discussions, I am convinced that this is the route to 
go: have manifolds and charts inherit from WithEqualityById, possibly 
adding a method is_isomorphic(), which could return True in a few easy 
cases, keeping in mind that most cases cannot be solved. 

Best wishes,

Eric.
 

-- 
You received this message because you are subscribed to the Google Groups 
"sage-devel" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to sage-devel+unsubscr...@googlegroups.com.
To post to this group, send email to sage-devel@googlegroups.com.
Visit this group at http://groups.google.com/group/sage-devel.
For more options, visit https://groups.google.com/d/optout.

Reply via email to