Skew binary number system non-zero digits, a form called the sparse representations of numbers by Okasaki, incrementation and decrementation can be performed in constant time. Other arithmetic operations are performed by switching between the skew binary representation and the binary representation. Given a skew binary number, its value can be computed by a loop, computing the successive values of formula_4 and adding it once or twice for each formula_5 such that the formula_5th digit is 1 or 2 respectively. A more efficient method is now given, with only bit representation and one substraction. The skew binary number of the form formula_7 without 2 and
Binary logarithm Binary logarithm In mathematics, the binary logarithm () is the power to which the number must be raised to obtain the value . That is, for any real number , For example, the binary logarithm of is , the binary logarithm of is , the binary logarithm of is , and the binary logarithm of is . The binary logarithm is the logarithm to the base . The binary logarithm function is the inverse function of the power of two function. As well as , alternative notations for the binary logarithm include , , (the notation preferred by ISO 31-11