MathGroup Archive 2007

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

Search the Archive

Re: Weird result in Mathematica 6


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.



  • Prev by Date: prolog like search
  • Next by Date: Re: Re: 64-bit
  • Previous by thread: Re: Weird result in Mathematica 6
  • Next by thread: Re: Re: Weird result in Mathematica 6