.examples::PreLieOperad – The pre-Lie operad
examples::PreLieOperad(R) creates a domain for the pre-Lie operad over the ground ring .
Operad := examples::PreLieOperad():
Trees := Operad::basisIndices:
Tree5 := Operad(Trees([2,[4],[1],[3]])):
Tree6 := Operad(Trees([4,[2],[3,[1],[5]]])):
Operad::composition(Tree6, Tree5, 3)
7 + 7 + 7 + 7 + 7 + 7 + 7 + 7 + 7 + 7 + 7 + 7 + 7 + 7 +
/ \ / \ / \ / \ / \ / \ / \ / \ / \ / \ / \ / \ / \ / \
2 4 2 4 2 4 2 4 2 4 2 4 2 4 2 4 2 4 2 4 2 4 2 4 2 4 2 4
/| \ /|\ /|\ // \\ /|\ / | \ /|\ // \\ /|\ /|\ / |\ // \\ // \\ // \\
63 5 635 635 63 58 635 6 3 5 635 63 58 635 635 6 35 63 58 63 51 63 51
/ \ || | | | || / \ || | | | || / \ | | |
1 8 81 8 1 1 18 1 8 81 1 1 8 18 1 8 1 8 8
7 + 7
/ \ / \
2 4 2 4
// \\ //|\\
63 51 63518
|
8
Changes in MuPAD 3.2
New Function.