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?
Revision history [back]
 | 1 | initial version |
| | 1 | initial version |
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?
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.