On Sunday, May 24, 2015 at 4:23:59 PM UTC+2, Ralf Stephan wrote:
>
> Thanks for the report. I have opened
> http://trac.sagemath.org/ticket/18488
>
> Regards,
>
Thanks!
I'd like to add that some more experimentation with the complex conjugate
in relation to equations and equalities made me realize that there seem to
be other (probably unrelated?) issues:
sage: sage: var('z'); conjugate(z+i)
conjugate(z) - I
# (as expected)
# But:
conjugate(z+i==0)
z + I == 0
# expected: conjugate(z) - I == 0
Here's another example showing that the conjugate is simply dropped when
applied to an equality:
sage: conjugate(conjugate(z)==0)
conjugate(z)==0
sage: conjugate(conjugate(z))
z
The equalities I'm criticizing are of course logically equivalent to the
original equalities, but simply dropping the conjugate is not what I
expected as a result.
IMHO the conjugate of an equality should return the equality of the
conjugates of both sides. (Or leave the conjugate unevaluated.)
Kind regards,
Gilles
--
You received this message because you are subscribed to the Google Groups
"sage-support" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to [email protected].
To post to this group, send email to [email protected].
Visit this group at http://groups.google.com/group/sage-support.
For more options, visit https://groups.google.com/d/optout.
