Mantis Bug Tracker

View Issue Details Jump to Notes ] Issue History ] Print ]
IDProjectCategoryView StatusDate SubmittedLast Update
0001867OCamlOCaml generalpublic2003-10-06 00:502013-08-31 12:46
Reporteradministrator 
Assigned To 
PrioritynormalSeverityfeatureReproducibilityalways
StatusclosedResolutionfixed 
PlatformOSOS Version
Product Version 
Target VersionFixed in Version3.11.0 
Summary0001867: Feature wish: representation des nats
DescriptionBonjour,

Serait-il possible d'ajouter des fonctions dans les modules Nats et
Big_int pour acceder à la representation des entiers sous forme de
strings? Vu le code de serialize_nat, c'est trivial.

Je ne peux pas utiliser le système de marshaling de Caml sur mes
structures de données, donc j'ai du refaire tout le parcours et le
marshalling à la main. Pour traiter les Big_int.big_int, je vois deux
solutions actuellement: Marshal.to_string ou Big_int.string_of_big_int. Le
premier introduit un gros en-tete (36 octets pour representer l'entier 0),
le deuxième fait des calculs inutiles et utilise moins de 4 bits par octets.

(Au passage, des précisions sur les restrictions d'utilisation de la
bibliothèque Num mentionnées dans la mailing list m'interessent
également).


  Alain

TagsNo tags attached.
Attached Files

- Relationships

-  Notes
(0006823)
xleroy (administrator)
2012-01-27 12:15

The nth_digit_nat_native and set_digit_nat_native of module Nat, introduced in 3.11.0, make it possible to implement the desired feature with good efficiency. My recommendation, however, is to use the ZArith library instead of the Num standard library: ZArith provides conversions to/from bit strings, and is globally superior to Num.

- Issue History
Date Modified Username Field Change
2005-11-18 10:13 administrator New Issue
2012-01-27 12:15 xleroy Note Added: 0006823
2012-01-27 12:15 xleroy Status acknowledged => resolved
2012-01-27 12:15 xleroy Resolution open => fixed
2012-01-27 12:15 xleroy Fixed in Version => 3.11.0
2012-01-27 12:15 xleroy Description Updated View Revisions
2013-08-31 12:46 xleroy Status resolved => closed


Copyright © 2000 - 2011 MantisBT Group
Powered by Mantis Bugtracker