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 asteroid Binary asteroid A binary asteroid is a system of two asteroids orbiting their common barycenter. The binary nature of 243 Ida was discovered when the Galileo spacecraft flew by the asteroid in 1993. Since then numerous binary asteroids and several triple asteroids have been detected. The mass ratio of the two components – called the "primary" and "secondary" of a binary system – is an important characteristic. Most binary asteroids have a large mass ratio, i.e. a relatively small satellite in orbit around the main component. Systems with a small minor-planet moon – also called "companion" or simply "satellite" –