Hello, a long standing issue is sage: bool(pi<Infinity) False sage: bool(SR(3)<Infinity) False
http://trac.sagemath.org/ticket/12967 at which I'm having a naive stab (because it interferes with #14801). Maybe I can learn something? In the ticket the problem has been said having to do with Pynac, but I don't think so. It would all work nicely if, instead of the expression object, its underlying `pyobject` would be compared. But this does not happen because there is no coerce map from `SR` to `InfinityRing`. So, can we somehow have an indirect coercion map that uses not the parent but the parent of something a member function (like `pyobject`) returns? The problem of SR having no canonical map to anything in spite of some expressions being well behaved is the source of much frustration. Regards, -- 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.
