epsilon basis for roots (was graph edge labels)
I need an illustration of some (sub)poset of positive roots. I have a working code that produces correct labels, but they are written as sums of simple roots. I.e. the resulting graph (when exported to LaTeX) has labels such as $\alpha_1 + \alpha_2$. I would like to have these labels in $\epsilon$-notation. I.e. the previous example would read $\epsilon_1 - \epsilon_3$.
RootSystem has an ambient_space method that provides an access epsilon basis, but
- I am not clear on converting between these two bases
- output to LaTeX should really use $\epsilon_1 - \epsilon_3$ rather than $(1,0,-1)$.