Re: [Haskell-cafe] puzzle: prove this floorSqrt correct

Christian Sievers 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

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