Bits-as-digits-in-base-2
Specialized versions of the operations to convert between natural numbers and digits that use bits as digits, in base 2.
Subtopics
- Lebits=>nat
- Convert a little-endian list of bits, seen as digits in base 2, to their value.
- Bebits=>nat
- Convert a big-endian list of bits, seen as digits in base 2, to their value.
- Nat=>lebits
- Convert a natural number to its little-endian list of bits, seen as digits in base 2, of specified length.
- Nat=>bebits
- Convert a natural number to its big-endian list of bits, seen as digits in base 2, of specified length.
- Nat=>lebits*
- Convert a natural number to its minimum-length little-endian list of bits, seen as sigits in base 2.
- Nat=>bebits*
- Convert a natural number to its minimum-length big-endian list of bits, seen as sigits in base 2.
- Nat=>lebits+
- Convert a natural number to its non-empty minimum-length little-endian list of bits, seen as sigits in base 2.
- Nat=>bebits+
- Convert a natural number to its non-empty minimum-length big-endian list of bits, seen as sigits in base 2.
- Bits/ubyte11s-digit-grouping
- Specialized versions of the operations to group and ungroup digitsthat are bits (base 2) and unsigned 11-bit bytes (base 2048).
- Bits/bytes-digit-grouping
- Specialized versions of the operations to group and ungroup digitsthat are bits (base 2) and bytes (base 256).
