Re: Weird result in Mathematica 6

*To*: mathgroup at smc.vnet.net*Subject*: [mg76603] Re: Weird result in Mathematica 6*From*: Sebastian Meznaric <meznaric at gmail.com>*Date*: Thu, 24 May 2007 06:18:15 -0400 (EDT)*References*: <200705211001.GAA10071@smc.vnet.net>

Another related effect can be used to actually derive contradictions in Mathematica. Try this Simplify[Im[x],Assumptions->{x-Conjugate[x]>0}] It returns 0. The assumption was that Im[x]>0 so here Mathematica clearly contradicts the assumption. Obviously this suggests one should be very careful when using inequalities with complex quantities. I think this sort of bugs should really be fixed considering how much trouble Mathematica usually goes into to ensure that real quantities are not assumed in expressions.

**Follow-Ups**:**Re: Re: Weird result in Mathematica 6***From:*Andrzej Kozlowski <akoz@mimuw.edu.pl>

**References**:**Weird result in Mathematica 6***From:*Sebastian Meznaric <meznaric@gmail.com>