[Haskell-cafe] puzzle: prove this floorSqrt correct

blaetterrascheln at web.de blaetterrascheln at web.de
Fri Aug 13 09:36:32 EDT 2004

Christian Sievers <sievers at math2.nat.tu-bs.de> wrote on 12.08.04 19:00:00:
> sqrtInt n = help n where help x = let y = ((x + (n `div` x)) `div` 2) in if y<x then help y else x
> following p. 38f of Henri Cohen, A Course in Computational Algebraic Number Theory

That bailout test is better than mine, and the book is in my local library.
Thank you very much.

Verschicken Sie romantische, coole und witzige Bilder per SMS!
Jetzt neu bei WEB.DE FreeMail: http://freemail.web.de/?mc=021193

More information about the Haskell-Cafe mailing list