strong-interval-trees-maple
This contains code and data related to the article "Some families of trees arising in permutation analysis" by Mathilde Bouvel, Marni Mishna and Cyril Nicaud Arxiv reference to come; Preliminary version at https://www.dmtcs.org/dmtcs-ojs/index.php/proceedings/article/view/dmAS0170/4270.html (FPSAC 2013)
CountingSequences.mpl contains the counting sequences for Simple permutations, and P^(K) trees for k<=8 Constants.mpl contains approximate values for rho and tau for k from 3 to 30. Test-Theorem-5.mpl Tests the asymptotic formula given in Theorem 5