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