如何计算ATS中数字的平方根？

Question

我知道可以使用libc / math中的sqrt函数来执行此操作：

staload
Math =
"libats/libc/SATS/math.sats"

val sqrt2 = $Math.sqrt(2.0)
val sqrt3 = $Math.sqrt(3.0)

我正在寻找在ATS中直接实现sqrt。

Answer 1

请参阅this snippet，了解使用Newton-Raphson method的方根的基本实现。