Apologies ... I should have included a link to Jean-Michel Muller's work
on "Elementary Functions" and on preserving monotonicity and always
getting correctly rounded results when implementing the elementary
functions in floating-point arithmetic.
https://link.springer.com/book/10.1007/978-1-4899-7983-4
Also an interesting read in IEEE Transactions on Computers, Vol 66,
Issue 12 : Exponential Sums and Correctly-Rounded Functions.
https://ieeexplore.ieee.org/document/7891945
_______________________________________________
sqlite-users mailing list
sqlite-users@mailinglists.sqlite.org
http://mailinglists.sqlite.org/cgi-bin/mailman/listinfo/sqlite-users