Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

erreur dans power_big_int_positive_big_int #2659

Closed
vicuna opened this issue Jan 17, 2001 · 2 comments
Closed

erreur dans power_big_int_positive_big_int #2659

vicuna opened this issue Jan 17, 2001 · 2 comments

Comments

@vicuna
Copy link

vicuna commented Jan 17, 2001

Original bug ID: 262
Reporter: administrator
Status: closed
Resolution: fixed
Priority: normal
Severity: minor
Category: -for Caml light use https://github.com/camllight/camllight/issues

Bug description

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 !!

@vicuna
Copy link
Author

vicuna commented Jan 23, 2001

Comment author: administrator

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/

@vicuna
Copy link
Author

vicuna commented Feb 5, 2001

Comment author: administrator

Fixed in the working Caml Light sources.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

No branches or pull requests

1 participant