Re: Defining assumptions globally
- To: mathgroup at smc.vnet.net
- Subject: [mg95964] Re: Defining assumptions globally
- From: Jens-Peer Kuska <kuska at informatik.uni-leipzig.de>
- Date: Sat, 31 Jan 2009 01:12:04 -0500 (EST)
- References: <glvkeq$e67$1@smc.vnet.net>
Hi,
there is a global variable $Assumptions and
?$Assumptions
say
$Assumptions is the default setting for the Assumptions option used \
in such functions as Simplify, Refine and Integrate.
Regards
Jens
Kay-Michael Voit wrote:
> Hello,
> is it possible to define assumptions globally?
>
> This is my (simplified) problem:
> To calculate certain quantities I wrote some modules like
>
> cE[n_,0,s_]:=Module[{},
> cE[n,0,s]= E[n-1,0,s] Integrate[W[x,s],{s,0,1}]
> ]
>
> (cE[0,0,s] is of course defined)
>
> Later I would like to use for example
>
> : [Module-Def]
>
>
> Now, W might be quite complicated, so Integrate might need assumptions.
> is there a better way than
>
> : WAssumptions={}
> cE[n_,0,s_]:=Module[{},
> cE[n,0,s]= E[n-1,0,s]
> Integrate[W[x,s],{s,0,1},Assumptions->WAssumptions]
> ]
> : WAssumptions={a>0}
> W[x_,s_]= a ...;
> : cE[n]
>
> ?
>
> Regards
> Kay
>