Utilities | Quickutil

There are 2 utilities.

Convert a bit vector bv to a positive integer. The bits of the integer are ordered from most significant to least significant, unless least-significant-first is true.

Provides: bit-vector-integer

Source Code

integer-bit-vector v1.0

Convert a positive integer n to a bit vector. The least significant bits will be first if least-significant-first is true.

Provides: integer-bit-vector

math integers sequences bit-vectors

Source Code