Revision history [back]

I guess I just ran up to one of those maxima things again, but I thought I would signal the problem anyway.

I would have expected Sage to simplify

sinh(log(1+sqrt(2)))

(it is 1), but Sage doesn't. It doesn't return True to the following either

argsinh(1)==1+sqrt(2)

or am I missing something?

I guess I just ran up to against one of those maxima things again, but I thought I would signal the problem anyway.

I would have expected Sage to simplify

sinh(log(1+sqrt(2)))

(it is 1), but Sage doesn't. It doesn't return True to the following either

argsinh(1)==1+sqrt(2)

or am I missing something?

I guess I just ran up against one of those maxima things again, but I thought I would signal the problem anyway.

I would have expected Sage to simplify

sinh(log(1+sqrt(2)))

(it is 1), but Sage doesn't. It doesn't return True to the following either

argsinh(1)==1+sqrt(2)
arcsinh(1)==1+sqrt(2)

or am I missing something?