ATSで数値の平方根を計算する方法は？

Question

私は1つがそれを行うためのlibc /数学でsqrt関数を使用することができることを知っている：

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

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

可能であれば私はATSでのsqrtの直接の実装を探しています。

Answer 1

Newton-Raphson methodを使用して平方根の基本的な実装については、this snippetを参照してください。