CTMCP Section 3.2.4

CTMCP-Section3.2.4.oz

declare Sqrt Iterate Abs

fun {Abs X} if X < 0.0 then ~X else X end end

fun {Iterate S IsDone Transform}
   if {IsDone S} then S
   else S1 in
      S1={Transform S}
      {Iterate S1 IsDone Transform}
   end
end

fun {Sqrt X}
   {Iterate
    1.0
    fun {$ G} {Abs X-G*G}/X < 0.00001 end
    fun {$ G} (G+X/G)/2.0 end}
end

{Browse {Sqrt 10.0}}