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
arcsinh(1)==1+sqrt(2)
or am I missing something?
Wouldn't be the worst thing in the world if someone had a look at our simplification heuristics. In the meantime:
sage: y = sinh(log(1+sqrt(2)))
sage: y.simplify_full()
sinh(log(sqrt(2) + 1))
sage: y.maxima_methods().exponentialize()
-1/2/(sqrt(2) + 1) + 1/2*sqrt(2) + 1/2
sage: y.maxima_methods().exponentialize().simplify_full()
1
Really, we have to decide if we want complete granularity like Maxima, which leads to things without ambiguity because you would choose whether to use methods that "simplify" multivalued functions like log, or to continue our current point of adding more and more methods to simplification. I lean toward the latter, but maybe it's time to think about that again.
Asked: 2013-01-20 11:13:50 +0200
Seen: 413 times
Last updated: Jan 20 '13
Copyright Sage, 2010. Some rights reserved under creative commons license. Content on this site is licensed under a Creative Commons Attribution Share Alike 3.0 license.
sinh(log(1+sqrt(2))).n() 1.00000000000000