examples::OverUnderOperad – the OverUnder operad
examples::OverUnderOperad represents the OverUnder or Brouder-Frabetti operad.
This is a documentation page stub!
...:
OverUnder:=examples::OverUnderOperad():
Trees:=examples::OverUnderOperadTools::labelledBinaryTrees;
Tree5:=Trees([2,[1,[],[]],[3,[],[]]]):
OverUnder::composition(OverUnder(Tree5), OverUnder(Tree5), 2)
3
/ \
2 4
/ \
1 5
Changes in MuPAD 4.0
New Function.