You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Original bug ID: 286 Reporter: administrator Status: closed Resolution: fixed Priority: normal Severity: minor Category: ~DO NOT USE (was: OCaml general)
In particular it returns 2^n if applied to (2^n + 1)^2 for all n, small and
large, which I tried. This is not the integer part of the square root, contrary
to the documentation (RT-0141). There is no documentation in the user guide.
However it seems to be part of the release because it shows up in the browser.
The text was updated successfully, but these errors were encountered:
In particular it returns 2^n if applied to (2^n + 1)^2 for all n, small and
large, which I tried. This is not the integer part of the square root, contrary
to the documentation (RT-0141). There is no documentation in the user guide.
However it seems to be part of the release because it shows up in the browser.
This is a known bug of the library. I rewrote the algorithm for the Caml Light
implementation but failed to back port it to the Objective Caml port.
I will correct it as soon as possible.
Original bug ID: 286
Reporter: administrator
Status: closed
Resolution: fixed
Priority: normal
Severity: minor
Category: ~DO NOT USE (was: OCaml general)
Bug description
Full_Name: Winfried Dreckmann
Version: Ocaml 3.00
OS: LinuxPPC
Submission from: t6o903p78.telia.com (212.181.190.198)
The function Big_int.sqrt_big_int from the bignum librarie sometimes returns a
too small result:
Big_int.string_of_big_int (Big_int.sqrt_big_int (Big_int.big_int_of_string
"9"));;
In particular it returns 2^n if applied to (2^n + 1)^2 for all n, small and
large, which I tried. This is not the integer part of the square root, contrary
to the documentation (RT-0141). There is no documentation in the user guide.
However it seems to be part of the release because it shows up in the browser.
The text was updated successfully, but these errors were encountered: