Mantis Bug Tracker

View Issue Details Jump to Notes ] Issue History ] Print ]
IDProjectCategoryView StatusDate SubmittedLast Update
0000262OCamlCaml lightpublic2001-01-17 18:352001-07-30 09:39
Reporteradministrator 
Assigned To 
PrioritynormalSeverityminorReproducibilityalways
StatusclosedResolutionfixed 
PlatformOSOS Version
Product Version 
Target VersionFixed in Version 
Summary0000262: erreur dans power_big_int_positive_big_int
DescriptionFull_Name: Johann ELSASS
Version: Caml Light 0.74
OS: Windows 98
Submission from: cf2-e3.par.libertysurf.net (213.36.82.225)


La fonction power_big_int_positive_big_int dans la libraire num ne renvoie pas
un résultat correct dans la plupart des cas, le résultat n'est pas a puissance
b, mais a puissance c, avec c ayant les 2 premiers bits de poids fort non nuls
identique à b, mais les bits restants étant à 0. Exemple :
 010b ** 01100b donne le bon résultat, mais
 010b ** 01010b donne le même résultat que 010b ** 01000b, la fin de 01010b
ayant mistérieusement disparu.
Bref, 2 puissance 5 donne 16 !!

TagsNo tags attached.
Attached Files

- Relationships

-  Notes
(0000002)
administrator (administrator)
2001-01-23 11:18

> Full_Name: Johann ELSASS
> Version: Caml Light 0.74
> OS: Windows 98
> Submission from: cf2-e3.par.libertysurf.net (213.36.82.225)
>
>
> La fonction power_big_int_positive_big_int dans la libraire num ne renvoie pas
> un résultat correct dans la plupart des cas, le résultat n'est pas a puissance
> b, mais a puissance c, avec c ayant les 2 premiers bits de poids fort non nuls
> identique à b, mais les bits restants étant à 0. Exemple :
> 010b ** 01100b donne le bon résultat, mais
> 010b ** 01010b donne le même résultat que 010b ** 01000b, la fin de 01010b
> ayant mistérieusement disparu.
> Bref, 2 puissance 5 donne 16 !!

Merci d'avoir signalé cete erreur.

C'est un bug connu de la version 0.74. Il est corrigé dans la version
de travail courante de Caml Light (version 0.75). Nous espérons la
distribuer bientôt. Si vous devez utiliser impérativement cette
fonction, je peux vous envoyer le fichier big_int.ml corrigé.

Cordialement,

Pierre Weis

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


(0000003)
administrator (administrator)
2001-02-05 10:27

Fixed in the working Caml Light sources.

- Issue History
Date Modified Username Field Change
2005-11-18 10:13 administrator New Issue


Copyright © 2000 - 2011 MantisBT Group
Powered by Mantis Bugtracker