integrate(sqrt(x^2+y^2),x,0,1)$ integrate(%,y,0,1)$

On Sat, Apr 6, 2013 at 9:55 AM, Part Marty
<shinabe.munehiro at hotmail.co.jp>wrote:

> ...
>
>  But I can not  transform following formula. Give up.
> Please tell me how to transform this.
>
> kill(all)$
> load(sqdnst)$
> 
> ((sqrt(a)+1)*(sqrt(a)-1)^3)^(1/2)$
> ratsimp(%^2);
> sqrt(%);
> sqrtdenest(%);
>
> (%05)sqrt(a^2+(2-2*a)*sqrt(a)-1)
>

Yes, as I pointed out in my email, that is a difficult case.  I don't know
how to transform it with the standard tools.  Of course, it's always
possible to do it semi-manually, using Maxima just for bookkeeping:

    qq: ((sqrt(a)+1)*(sqrt(a)-1)^3)^(1/2);
    magic: ((sqrt(a)+1)*(sqrt(a)-1))^(1/2);
    ratsubst(rootscontract(magic),magic,qq);

But it is really not satisfactory to have to come up with a magic
substitution like this.


> ...
>  I can not transform this. Please tell me that reason.
> (log(1-sqrt(2))-log(-1));
> logcontract(%),logconcoeffp:lambda([ex],true);
>

This appears to be a bug.  Please file it using bug_report().

Thank you!

               -s