Defining assumptions globally
- To: mathgroup at smc.vnet.net
- Subject: [mg95945] Defining assumptions globally
- From: Kay-Michael Voit <usenet1 at voits.net>
- Date: Fri, 30 Jan 2009 05:45:50 -0500 (EST)
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