1 | initial version |

You can do:

```
sage: bool(I^4 == 1)
True
```

2 | No.2 Revision |

Since `I^4`

is a symblic expression, `I^4 == 1`

is also a symbolic expression:

```
sage: expr = (I^4 == 1)
sage: expr.parent()
Symbolic Ring
```

You can ~~do:~~evaluate it by typing:

```
sage: bool(I^4 == 1)
True
```

But **warning**: if the expression is complicated and maxima is not able to decide wether it is `True`

or `False`

, then it will return `False`

.

A good advice is to avoid the symbolic ring as possible. For example, you can work in the algebraic field:

```
sage: QQbar(I)^4 == 1
True
```

3 | No.3 Revision |

Since `I^4`

is a symblic expression, `I^4 == 1`

is also a symbolic expression:

```
sage: expr = (I^4 == 1)
sage: expr.parent()
Symbolic Ring
```

You can evaluate it by typing:

```
sage: bool(I^4 == 1)
True
```

But **warning**: if the expression is complicated and maxima is not able to decide wether it is `True`

or `False`

, then ~~it ~~`bool(expr)`

will return `False`

.

A good advice is to avoid the symbolic ring as much as possible. For example, you can work in the algebraic field:

```
sage: QQbar(I)^4 == 1
True
```

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.