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
>

```

• Prev by Date: Re: Defining assumptions globally
• Next by Date: Re: integration
• Previous by thread: Re: Defining assumptions globally
• Next by thread: Re: Defining assumptions globally