[Haskell-cafe] puzzle: prove this floorSqrt correct

[blaetterrascheln at web.de]

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