Hi.

I've found an algorithm for extracting integer square roots from
LargePositiveIntegers, less complex than Newton-Raphson. Although 
it's just been
grabbed out of the oven, I also have a proof showing that it works. 
But who knows,
maybe I made a mistake and I still don't know.

Whatever...

#haveFun = #doNotWait <alt-p> true.

Andres.


Content-Type: application/octet-stream; name="LargePo0.st"
Content-Disposition: attachment; Filename="LargePo0.st"

Attachment converted: Cog:LargePo0.st (????/----) (0000CBA8)