Ask Your Question

f9qMRIktzYLG's profile - activity

2017-07-31 14:25:06 -0500 received badge  Popular Question (source)
2015-07-24 07:35:00 -0500 asked a question Can Sage verify (some) hyperbolic identities?

If I enter bool( cosh(x) == (exp(x)+exp(-x))/2 ), the output is False. This happens with other hyperbolic identities. Is it possible to verify them in Sage? If so, what is the correct way?