In Sage 8.8, this code:
assume(x, 'complex')
print real_part(x)
print real_part(x).simplify()
prints:
real_part(x)
realpart(x)
This does not change any computation (Sage can prove both are equal), but is annoying, since the second one cannot be copy-pasted back in the code. The problem is even more visible when %display latex
is enabled.
Is this a bug ? Is there a workaround that makes it possible to display beautiful real parts after a simplification ?