|
Notes:
This release contains 10 finished functions:
exp log log2 log10 sin cos tan atan cosh sinh.
It also includes a complete rewrite of exp and log, which do not use the SCS library anymore. This entails a 10x improvement in worst-case time. Besides, the logarithm uses double-extended arithmetic if available, for another 2-4x improvement in average case performance. Log is now comparable to the best available libm on most systems (and sometimes faster).
This release also marks the transition to machine-assisted proofs using the Gappa tool. This is the beta part :)
Comments and bug reports welcome.
The crlibm team
Changes:
|
