**Next message:**Vladyslav Shtabovenko: "Re: A BUG in The Calc Function"**Previous message:**Rolf Mertig: "Re: A BUG in The Calc Function"**In reply to:**Rolf Mertig: "Re: A BUG in The Calc Function"**Next in thread:**Vladyslav Shtabovenko: "Re: A BUG in The Calc Function"**Reply:**Vladyslav Shtabovenko: "Re: A BUG in The Calc Function"**Messages sorted by:**[ date ] [ thread ] [ subject ] [ author ]**Mail actions:**[ respond to this message ] [ mail a new topic ]

Dear all,

sorry for the late reply, at the moment I'm a bit busy finishing one

important calculation.

As Rolf wrote, Calc uses PowerSimplify which uses PowerExpand. The

latter can either assume that everything is real (default behaviour) or

use general expansion formulas if the arguments might be complex (which

we have now). Unfortunately, in this case PowerExpand doesn't take

$Assumptions into account.

I think that the simplest solution would be to make Calc and

PowerSimplify accept the Assumptions option which will be then passed to

PowerExpand. Then it will be up to the user to specify the assumptions.

As a workaround for now,

Sqrt[x - 1] // Calc // Simplify

returns the correct result, as Simplify always honors $Assumptions.

I'll fix this soon.

Cheers,

Vladyslav

Am 14.09.2015 um 10:58 schrieb Rolf Mertig:

*> This is due to me. Sorry.
*

*>
*

*> Somehwere internally PowerSimplify is used which assumes all variables are real. Maybe this assumption is not correct in general, of course. I mentioned this to Vladyslav and he will look into how to fix this. Sorry, but I have no time right now.
*

*>
*

**Next message:**Vladyslav Shtabovenko: "Re: A BUG in The Calc Function"**Previous message:**Rolf Mertig: "Re: A BUG in The Calc Function"**In reply to:**Rolf Mertig: "Re: A BUG in The Calc Function"**Next in thread:**Vladyslav Shtabovenko: "Re: A BUG in The Calc Function"**Reply:**Vladyslav Shtabovenko: "Re: A BUG in The Calc Function"**Messages sorted by:**[ date ] [ thread ] [ subject ] [ author ]**Mail actions:**[ respond to this message ] [ mail a new topic ]

*
This archive was generated by hypermail 2b29
: 12/18/17-02:00:01 AM Z CET
*