Module util

Source

Functionsยง

is_power_of_2
Check if x is a power of 2.
log2
next_higher_power_of_2
Tick up to the next higher power of 2 if the provided number is not a power of 2.
next_lower_power_of_2
Tick down to the next higher power of 2 if the provided number is not a power of 2.
recoverablity_subset_size
Does not care about power of 2 requirements.