1 | initial version |

It works for me:

```
sage: var("x, y")
(x, y)
sage: x+y == x+y
x + y == x + y
sage: bool(x+y == x+y)
True
sage: if (x+y == x+y):
....: print 'yep!'
....:
yep!
```

Unless you mean that you want `bool`

to be automatically applied to every equation? Since Sage follows the convention that "False" means "I couldn't see how to prove this was true", this would mean that pretty much every equation would automatically be False from the get-go and so you couldn't do anything with it. For example, `(x-2)*(x+3) == 0`

would be False (`x`

could be 9, for example).

2 | No.2 Revision |

It works for me:

```
sage: var("x, y")
(x, y)
sage: x+y == x+y
x + y == x + y
sage: bool(x+y == x+y)
True
sage: if (x+y == x+y):
....: print 'yep!'
....:
yep!
```

Unless you mean that you want `bool`

to be automatically applied to every equation? Since Sage follows the convention that "False" means "I couldn't see how to prove this was true", this would mean that pretty much every equation would automatically be False from the get-go and so you couldn't do anything with it. For example, `(x-2)*(x+3) == 0`

would be False (`x`

could be 9, ~~for example). ~~after all).

Copyright Sage, 2010. Some rights reserved under creative commons license. Content on this site is licensed under a Creative Commons Attribution Share Alike 3.0 license.