Ask Your Question

Revision history [back]

You can use the canonicalize_radical method for that:

sage: e = sqrt(x^2 - 2*x + 1)
sage: e.canonicalize_radical()
x - 1

However, the assumptions are not taken into account, please read the warning in the doc:

sage: e.canonicalize_radical?