The algorithm used in DivSqrtRecF64_mulAddZ31 to calculate square-root #55
Description
What is the algorithm used to calculate square-root in DivSqrtRecF64_mulAddZ31.scala? Dose it use Goldschmidt or Newton-Raphson algorithm, and can you provide some references about the algorithm it used?
Thank you.