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: [mg103141] Re: confused about asserting variable is element of Reals
• From: AES <siegman at stanford.edu>
• Date: Wed, 9 Sep 2009 04:42:53 -0400 (EDT)
• Organization: Stanford University
• References: <200909070636.CAA04019@smc.vnet.net> <h859vn$q48$1@smc.vnet.net>

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?

• Follow-Ups:
  • Re: Re: confused about asserting variable is element of
    • From: Daniel Lichtblau <danl@wolfram.com>

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