Mantis Bug Tracker

View Issue Details Jump to Notes ] Issue History ] Print ]
IDProjectCategoryView StatusDate SubmittedLast Update
0000286OCamlOCaml generalpublic2001-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


Copyright © 2000 - 2011 MantisBT Group
Powered by Mantis Bugtracker