       Re: Assumptions ignored?

• To: mathgroup at smc.vnet.net
• Subject: [mg25141] Re: [mg25061] Assumptions ignored?
• From: BobHanlon at aol.com
• Date: Sun, 10 Sep 2000 03:14:59 -0400 (EDT)
• Sender: owner-wri-mathgroup at wolfram.com

```In a message dated 9/7/2000 10:55:01 PM, Jos.Bergervoet at philips.com writes:

>With the following input:
>
>    Integrate[ x/Sqrt[x^2+zp^2]^3, {zp,z,Infinity},
>      Assumptions -> {x>0, z>0} ]
>
>I get:
>
>                  2    2             2
>    Out= x If[x  + z  >= 0 || Im[x ] != 0,   ....
>
>Why does this if statement appear in the output? Why is Mathematica
>apparently ignoring my directive that x and z are positive?
>
>The same happens with Assumptions -> {x \[Element] Reals,
>z \[Element] Reals}  and with combinations of these two versions.
>
>I would like to have the plain answer (without ifs and whens) to
>use it in further computations. How can it be obtained? (If
>just the lines of input to be typed. I'm not very fond of GUI's ;-)
>

You can either help it with additional (albeit redundant) assumptions

Simplify[Integrate[ x/Sqrt[x^2 + zp^2]^3,  {zp, z, Infinity},
Assumptions -> {x > 0, z > 0, x^2 > 0, z^2 > 0} ], x > 0]

(1 - z/Sqrt[x^2 + z^2])/x

or more straightforwardly just turn off the generation of conditions

% == Simplify[Integrate[ x/Sqrt[x^2 + zp^2]^3, {zp, z, Infinity},
GenerateConditions -> False ], x > 0]

True

Bob Hanlon

```

• Prev by Date: Re: Plot... Import...
• Next by Date: Re: Re: Simple integral wrong
• Previous by thread: Re: Assumptions ignored?
• Next by thread: Re: Assumptions ignored?