arXiv++ Combinatorics

Gosper developed an algorithm for performing arithmetic operations on continued fractions (CFs), getting a CF as the result. Straightforward implementation of the algorithm leads to infinite loops on some inputs. Here we present a modified version of the arithmetic algorithm and prove that it avoids all difficulties with infinite loops. We then combine CF arithmetic with the spigot algorithm to compute the CF expansions of exponential, logarithmic, and trigonometric functions of CFs. We have implemented these algorithms in Haskell.

We present a short proof of MacMahon's classic result that the number of permutations with $k$ inversions equals the number whose major index (sum of positions at which descents occur) is $k$

We verify the conjecture that the sixth binary partition function is equal (aside from the initial zero term) to the partial sums of the Stern-Brocot sequence.

We determine the average number of distinct subsequences in a random binary string, and derive an estimate for the average number of distinct subsequences of a particular length.