MathGroup Archive 2009

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

Search the Archive

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.


  • Prev by Date: Re: how to get the longest ordered sub sequence of a list in
  • Next by Date: docs for Style, etc.
  • Previous by thread: Re: Re: confused about asserting variable is element of
  • Next by thread: Re: confused about asserting variable is element of Reals