Mathematica 9 is now available
Services & Resources / Wolfram Forums
-----
 /
MathGroup Archive
2004
*January
*February
*March
*April
*May
*June
*July
*August
*September
*October
*November
*December
*Archive Index
*Ask about this page
*Print this page
*Give us feedback
*Sign up for the Wolfram Insider

MathGroup Archive 2004

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

Search the Archive

Re: How to force Mathematica to treat a number as positive and real?

  • To: mathgroup at smc.vnet.net
  • Subject: [mg51895] Re: How to force Mathematica to treat a number as positive and real?
  • From: "Steve Luttrell" <steve_usenet at _removemefirst_luttrell.org.uk>
  • Date: Thu, 4 Nov 2004 01:50:47 -0500 (EST)
  • References: <cm9vi3$8nc$1@smc.vnet.net>
  • Sender: owner-wri-mathgroup at wolfram.com

This works:

Simplify[Abs[a],a>0]

and this does too:

Assuming[a>0,Simplify[Abs[a]]]

Have a look at the Help Browser for more information on Assuming.

Steve Luttrell

"Rainer" <wilhelm.rainer at gmx.net> wrote in message 
news:cm9vi3$8nc$1 at smc.vnet.net...
> I'd like to do some symbolic computation with parameters. These
> parameters (named, e.g. "a") are always *real-valued* and positive. I
> managed to tell Mathematica that a is a real number by using:
>
>  a/:Im[a]=0;
>
> This works since the response to "Re[a]" is now "a" (and not "Re[a]"
> which is the general result when one does not use the above definition
> of a).
>
> Now, I would like to do a similar thing, forcing Mathematica to assume
> that a is a positive number. I want that the result of Abs[a] is equal
> to a. I tried:
>
>  a/:Positive[a]=True;
>
> but it does not work. Does anybody know how I can do this?
> Thanks
> Rainer
> 



  • Prev by Date: normal digits base 10 ( used to be: bimodal ditribution form counting signs of Pi digits differences)
  • Next by Date: Re: covariance, eigenvalues
  • Previous by thread: Re: How to force Mathematica to treat a number as positive and real?
  • Next by thread: Re: How to force Mathematica to treat a number as positive and real?