Revision history [back]

Hi as far as I understand the problem is that oo so on are symbolic expressios. If you try to compare them with == sage returns as a new symbolic expression the symbolic equationion:

var('x,y')
print x==y
print type(x==y)

returns

x == y
<type 'sage.symbolic.expression.Expression'>

A soultion seems to be to cast the symbolic equation to a boolean:

print bool(x==y)
print bool(x==x)

which returns

False
True