Re: Questions about assumptions
- To: mathgroup at smc.vnet.net
- Subject: [mg101793] Re: [mg101749] Questions about assumptions
- From: Bob Hanlon <hanlonr at cox.net>
- Date: Fri, 17 Jul 2009 05:04:04 -0400 (EDT)
- Reply-to: hanlonr at cox.net
$Assumptions = Element[g, Reals]; Look in Help for $Assumptions. Conjugate does not use $Assumptions, you need to use Simplify or FullSimplify Simplify[Conjugate[g]] g Bob Hanlon ---- Alexander Erlich <alexander.erlich at gmail.com> wrote: ============= Hello, I would like to make assumptions like e.g. Element[a,Reals] or b>0 or simlar ones global in order to avoid using Refine with long assumption lists every tome. For this purpose, I've found $Assumptions. But I encountered the following problem: In[5]:= $Assumptions = Element[g, Reals] Out[5]= g \[Element] Reals In[6]:= Conjugate[g] Out[6]= Conjugate[g] Why didn't Mathematica just return g? Maybe, there is a different, or even better way to make assumptions global to the whole notebook, so that they are considered automatically (and without Refine or similar)? Regards, Alexander