Hi! On 2016-12-19, Kwankyu Lee <[email protected]> wrote: > I see "==/!=" more as programming tools, and expect that they do not > attempt to do difficult mathematical comparison that can lead to long > computation or results other than True or False.
I could be mistaken, but I think what you describe is what cmp used to mean (at least for Sage), whereas "==/!=" has not been considered a programming tool but a mathematical tool. So, it is really unfortunate that cmp disappearing forces us to reconsider the rôle of ==/!=. A *mathematical* software obviously needs a mathematical notion of comparison, but at the same time it is obvious that a mathematical *software* needs a programmatical/practical notion of comparison. Even more so as Python decided against a ternary logic with "Unknown" being a valid result of comparison. I didn't closely follow the discussion here. Have there been suggestions how Sage should in future distinguish the two meanings of comparison (maths vs programming)? It would obviously be rather awkward to have to do "A.is_equal(B)" for a mathematical equality test. Best regards, Simon -- 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 [email protected]. To post to this group, send email to [email protected]. Visit this group at https://groups.google.com/group/sage-devel. For more options, visit https://groups.google.com/d/optout.
