[Date Index] [Thread Index] [Author Index]

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>