ASKSAGE: Sage Q&A Forum - Latest question feedhttp://ask.sagemath.org/questions/Q&A Forum for SageenCopyright Sage, 2010. Some rights reserved under creative commons license.Wed, 02 Nov 2011 23:44:22 -0500Idea behind not evaluating symbolic equationshttp://ask.sagemath.org/question/8431/idea-behind-not-evaluating-symbolic-equations/Can anyone explain me the following behavior of Sage: What is the idea behind not evaluating symbolic equations which are (obviously) true? For example:
sage: m = var('m')
sage: m == m
m == m
Evaluation works with
sage: bool(m == m)
True
Daniel KrennWed, 02 Nov 2011 23:44:22 -0500http://ask.sagemath.org/question/8431/