| View Issue Details [ Jump to Notes ] | [ Issue History ] [ Print ] |
| ID | Project | Category | View Status | Date Submitted | Last Update |
| 0004641 | OCaml | OCaml general | public | 2008-11-07 10:17 | 2011-05-29 12:14 |
|
| Reporter | andrejbauer | |
| Assigned To | xleroy | |
| Priority | normal | Severity | feature | Reproducibility | always |
| Status | closed | Resolution | fixed | |
| Platform | | OS | | OS Version | |
| Product Version | 3.10.2 | |
| Target Version | | Fixed in Version | 3.12.0+dev | |
|
| Summary | 0004641: Bit manipulation for Big_int |
| Description | The Big_int module in the Num library would benefit greatly from two simple additions: functions which can shift numbers left and right a given number of bits (the equivalent of asl, lsl, asr, lsr for the type int). Please consider adding them. I am willing to write a patch if someone tells me they will consider it. |
| Additional Information | I am implementing real number computation in Ocaml, for which I am using the MPFR library. Since MPFR is hard to compile and link with Ocaml (requires a bunch of other tools and libraries), I have decided to reimplement dyadic rationals in "pure" Ocaml. To my shock I discovered that the Big_int package doesn't have the bit shifting operations. So now I have to divide by powers of two, which is really inefficient. |
| Tags | No tags attached. |
|
| Attached Files | |
|
Relationships 
Relationships 