Mantis Bug Tracker

View Issue Details Jump to Notes ] Issue History ] Print ]
IDProjectCategoryView StatusDate SubmittedLast Update
0000286OCaml~DO NOT USE (was: OCaml general)public2001-02-13 06:092001-03-01 17:32
Reporteradministrator 
Assigned To 
PrioritynormalSeverityminorReproducibilityalways
StatusclosedResolutionfixed 
PlatformOSOS Version
Product Version 
Target VersionFixed in Version 
Summary0000286: bignum library
DescriptionFull_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"));;
- : string = "2"

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.

TagsNo tags attached.
Attached Files

- Relationships

-  Notes
(0000502)
administrator (administrator)
2001-02-13 08:26

> 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"));;
> - : string = "2"
>
> 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.

Best regards,

Pierre Weis

INRIA, Projet Cristal, Pierre.Weis@inria.fr, http://pauillac.inria.fr/~weis/ [^]


(0000503)
administrator (administrator)
2001-03-01 17:32

Fixed 2001-03-01 by PW.

- Issue History
Date Modified Username Field Change
2005-11-18 10:13 administrator New Issue
2017-02-23 16:36 doligez Category OCaml general => -OCaml general
2017-03-03 17:55 doligez Category -OCaml general => -(deprecated) general
2017-03-03 18:01 doligez Category -(deprecated) general => ~deprecated (was: OCaml general)
2017-03-06 17:04 doligez Category ~deprecated (was: OCaml general) => ~DO NOT USE (was: OCaml general)


Copyright © 2000 - 2011 MantisBT Group
Powered by Mantis Bugtracker