Ask Your Question

Revision history [back]

click to hide/show revision 1
initial version

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