Manuscript XII-E@1 · XII-E.tex · definition · 9471ea56
Definition: Tree datum
E5: carrier check of the assembled coefficient › A tree-composition lemma · lines 1051–1065
XII-E@1#eq:S
A tree datum consists of a finite vertex set with external and internal vertices, a tree on (connected, ) with an orientation of each line, a balanced line for each , placed on the variables , and a smooth weight for each . The support hypothesis is
Displayed formulas in this passage
XII-E@1#eq:S · line 1058