1 | initial version |

The value of `0 == 0`

is `True`

because `0`

is an `Integer`

and equality of `Integer`

s is defined that way. To construct the symbolic equation $0=0$, you have to convert (one) `0`

to a symbolic expression first, e.g.

```
sage: SR(0) == 0
0 == 0
```

Here `SR`

is the name of the Symbolic Ring.

2 | No.2 Revision |

The value of `0 == 0`

is `True`

because `0`

is an `Integer`

and equality of `Integer`

s is defined that way. To construct the symbolic equation $0=0$, you ~~have to convert (one) ~~need the value `0`

~~to ~~as a symbolic ~~expression first, e.g. ~~expression, so that `==`

will construct a symbolic equation:

`sage: `~~SR(0) ~~SR.zero() == ~~0
~~SR.zero()
0 == 0

Here `SR`

is the name of the Symbolic ~~Ring.~~Ring, and the `zero()`

method of any ring returns its zero. You can also convert the integer `0`

to a symbolic expression:

```
sage: SR(0) == 0
0 == 0
```

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.