Services & ResourcesWolfram ForumsMathGroup Archive

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

Re: confused about asserting variable is element of Reals

• To: mathgroup at smc.vnet.net
• Subject: [mg103214] Re: confused about asserting variable is element of Reals
• From: Szabolcs Horvát <szhorvat at gmail.com>
• Date: Thu, 10 Sep 2009 07:24:37 -0400 (EDT)
• References: <200909070636.CAA04019@smc.vnet.net> <h859vn$q48$1@smc.vnet.net> <h87pb6$5dq$1@smc.vnet.net>

On 2009.09.09. 10:34, AES wrote:
> In article<h859vn$q48$1 at smc.vnet.net>,
>   Leonid Shifrin<lshifr at gmail.com>  wrote:
>
>> When you enter Element[a, Reals], this by itself does nothing. It does not,
>> in particular, change  any global property of symbol<a>.
>>
>> However, this expression can be used in
>> commands like Simplify, FullSimplify, etc., to give them the information
>> that<a>  should be considered real (in that particular computation):
>
> So, could one ever write Assumptions ->  Element[I, Reals]  in any of
> those commands?
>

Element[I,Reals] automatically evaluates to False.

• References:
  • confused about asserting variable is element of Reals
    • From: dushan <dushanm@spinn.net>