Revision history [back]

You can do:

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

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

You can do:evaluate it by typing:

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

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

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