MathGroup Archive 2009

[Date Index] [Thread Index] [Author Index]

Search the Archive

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