Services & ResourcesWolfram ForumsMathGroup Archive

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

Re: 2 Assumptions for one parameter?

• To: mathgroup at smc.vnet.net
• Subject: [mg128058] Re: 2 Assumptions for one parameter?
• From: Bob Hanlon <hanlonr357 at gmail.com>
• Date: Wed, 12 Sep 2012 02:59:44 -0400 (EDT)
• Delivered-to: l-mathgroup@mail-archive0.wolfram.com
• Delivered-to: l-mathgroup@wolfram.com
• Delivered-to: mathgroup-newout@smc.vnet.net
• Delivered-to: mathgroup-newsend@smc.vnet.net
• References: <20120909213203.DDDE06374@smc.vnet.net>

$Assumptions = {
   a > 0, Element[a, Reals],
   c < 0, Element[c, Reals]};

a::usage = ToString[Select[$Assumptions, ! FreeQ[#, a] &]];

?a

{a > 0, a \[Element] Reals}

However, $Assumptions are not automatically applied.

?$Assumptions

$Assumptions is the default setting for the Assumptions option used in
such functions as Simplify, Refine, and Integrate.  >>


Bob Hanlon


On Tue, Sep 11, 2012 at 2:32 AM,  <"Andreas Talmon l'Arm=E9e"@smc.vnet.net> wrote:
> Hi all,
>
> What is the right typing to make two assumptions for one parameter?
> Something like this:
>
> $Assumptions={a>0&&Element[a,Reals]}
>
> And is there a way to to control my assumptions made for the parameters
> I use something like
>
> ?a
>
>
> Thanks,
>
> Andreas
>

• References:
  • How on Earth?
    • From: "Chris Degnen" <degnen@cwgsy.net>