Thank you all for the discussion and recommendations ! (it's nice to develop within such a responsive community)
I've updated the ticket #18529 <http://trac.sagemath.org/ticket/18529> accordingly, removing UniqueRepresentation for manifolds and charts and letting them inherit directly from WithEqualityById. See comment 52 on the ticket for details. I've also updated the follow-up tickets along the same lines: - #18640 <http://trac.sagemath.org/ticket/18640>: the algebra of scalar fields on a topological manifold does no longer inherit from UniqueRepresentation, but from WithEqualityById - #18725 <http://trac.sagemath.org/ticket/18725> : same thing for the manifold homsets Best wishes, Eric. Le dimanche 8 novembre 2015 10:00:34 UTC+1, Eric Gourgoulhon a écrit : > > > 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.