(Haskell)
:m Math.Operad
let a = corolla 1 [1, 2]
let t1_23 = shuffleCompose 2 [1, 2, 3] a a
let t12_34 = shuffleCompose 1 [1, 2, 3, 4] t1_23 a
let t13_24 = shuffleCompose 1 [1, 3, 2, 4] t1_23 a
let t14_23 = shuffleCompose 1 [1, 4, 2, 3] t1_23 a
let r1 = (oet t12_34)  (oet t13_24) :: OperadElement Integer Rational PathPerm
let r2 = (oet t14_23)  (oet t13_24) :: OperadElement Integer Rational PathPerm
let gens = [r1, r2]
let cors = [a]
let gb = operadicBuchberger gens
let lms = map leadingMonomial gb
let computeStep d = basisElements cors lms d
map (length . computeStep) [1..]
