Ask Your Question

Revision history [back]

click to hide/show revision 1
initial version

coexistence of two real_part functions

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 ?

coexistence of two real_part functions

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 into the code. The problem is even more visible when %display latex is enabled.

Is this a bug ? bug? Is there a workaround that makes it possible to display beautiful real parts after a simplification ?simplification?