Revision history [back]
 | 1 | initial version |
FYI: this has been fixed in the development branch (to appear in the next v8.1),
$ ./sage
sage: version()
'SageMath version 8.1.beta4, Release Date: 2017-09-05'
sage: x.is_real()
False
sage: conjugate(x+45*I)
conjugate(x) - 45*I
sage: assume(x, 'real')
sage: assumptions()
[x is real]
sage: conjugate(x+45*I)
x - 45*I
