Services & Resources / Wolfram Forums / MathGroup Archive
-----

MathGroup Archive 2012

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

Search the Archive

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:
  • Prev by Date: Re: A new FrontEnd
  • Next by Date: Re: A new FrontEnd
  • Previous by thread: 2 Assumptions for one parameter?
  • Next by thread: VertexLabeling in GraphPlot