Le jeudi 5 novembre 2015 10:32:29 UTC+1, Simon King a écrit : > > > - Or IF you really want to use them as dictionary keys, then just let > manifolds compare by identity (so, you allow that two homeomorphic > manifolds evaluate as non-equal), and have a separate method > M.is_homeomorphic(N) > that does the real thing (but is only invoked if the user asks for > it). > > In that way, you would have super-fast equality-by-identity in the > obvious cases, but would still have a framework for the difficult cases, > where you postpone all unsolvable problems until the user wants them > solved. >
Yes this is precisely what we had in mind: to delegate the mathematical comparison of manifolds to a specific method is_homeomorphic, which in most case will answer "I cannot answer" (cf. comments 39 and 40 in the ticket). Then if we have both CachedRepresentation and equality-by-identity, then we have UniqueRepresentation, don't we? -- 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.
