Date: Mar 24, 2013 7:39 AM
Author: Nasser Abbasi
Subject: Re: Handling branch cuts in trig functions

On 3/24/2013 5:26 AM, G. A. Edgar wrote:
> In article <kimdsn$lj3$1@speranza.aioe.org>, Nasser M. Abbasi
> <nma@12000.org> wrote:
>
>

>>
>> I think now that answer to sqrt(sec(x)^2) should be
>> |sec(x)| without need to give the branch.

>
> That answer is incorrect for complex x ... so to get that answer in
> Maple, you must assume x is real.
>
> simplify(%) assuming x::real;
>


But I am using Maple 17?

-----------------------------------
ans:=simplify(sqrt(sec(x)^2)) assuming x::positive;

1
--------
|cos(x)|

simplify(abs(sec(x))- ans);
0

-------------------------------------

Unless x::positive implies x::real (since positive does
not apply to complex numbers). Is this what you meant?
I get same result using x::positive or x::real.

So Maxima was wrong then:

sqrt(sec(x)^2);
|sec(x)|

No assumptions!

thanks,
--Nasser