我正在开发一个项目,并且发现自己处于一种情况,我需要一个函数来至少获得W(x)的值的近似值Lambert W function,其中x可以是任何实数。我在Java工作。我在搜索时无法在Java中找到W的任何实现。如果需要,我愿意自己编写实现代码,但我不确定现在该如何实现。任何推动正确的方向将不胜感激。
Monniaux的优秀文章"The Pitfalls of Verifying Floating Point Arithmetic"给出了意想不到的数字行为的例子。但是,大部分示例都依赖于扩展精度FPU或扩展精度操作(例如,乘加)。除了有符号零和涉及NaN的比较,在扩展精确硬件被禁用时,是否有任何令人惊讶的数字行为的好例子?