On Monday, May 25, 2015 at 10:23:28 AM UTC+2, [email protected] wrote: > > > 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.) >
I think so too and so I have tried to fixed this in general months ago: http://trac.sagemath.org/ticket/7660 Needs review. Regards, -- 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.
