Revision history [back]

On the other hand, I do think it could be useful to apply some simplification rules via substitution. For instance, you have lots of e^(I*sqrt(cos(l) - 1)*sqrt(2)) guys.

var('T')
C = B.substitute_expression(e^(sqrt(-2*cos(l) + 2))==T)

This isn't ideal, but better, I guess. Sometimes this sort of thing is quite helpful, though.

Also, sometimes using factor or expand proves useful.