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>
- Re: Re: Weird result in Mathematica 6
- References:
- Weird result in Mathematica 6
- From: Sebastian Meznaric <meznaric@gmail.com>
- Weird result in Mathematica 6