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$>, Nasser M. Abbasi
> <> 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;


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


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:


No assumptions!