|
Notes:
This release adds the arccosine, expm1 and log1p function and corrects a few bugs.
crlibm now offers 14 functions: log, log2, log10, exp, expm1, log1p, sin, cos, tan, sinh, cosh, asin, acos, atan.
This release is beta because some proofs are missing or incomplete, and it has not been tested on a wide range of systems.
Feedback welcome...
Changes:
|
