Re: Questions about assumptions
- To: mathgroup at smc.vnet.net
- Subject: [mg101795] Re: [mg101749] Questions about assumptions
- From: Patrick Scheibe <pscheibe at trm.uni-leipzig.de>
- Date: Fri, 17 Jul 2009 05:04:26 -0400 (EDT)
- References: <200907161217.IAA02354@smc.vnet.net>
Hi, Mathematica just doesn't show you that it knows the simplification $Assumptions = Element[g, Reals]; Conjugate[g] Conjugate[g] // Simplify Conjugate[h] // Simplify Cheers, Patrick On Thu, 2009-07-16 at 08:17 -0400, Alexander Erlich 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 >
- References:
- Questions about assumptions
- From: Alexander Erlich <alexander.erlich@gmail.com>
- Questions about assumptions