1#
2#    Cartan matrix:
3#
4#        [ 2, -1, 0, 0 ]
5#        [ -1, 2, -1, 0 ]
6#        [ 0, -2, 2, -1 ]
7#        [ 0, 0, -1, 2 ]
8#
9< e1, e2, e3, e4 |
10    [ e2, e1, e1 ],
11    [ e1, e2, e2 ],
12    [ e3, e1 ],
13    [ e4, e1 ],
14    [ e3, e2, e2 ],
15    [ e2, e3, e3, e3 ],
16    [ e4, e2 ],
17    [ e4, e3, e3 ],
18    [ e3, e4, e4 ],
19#   additional relation:
20    [ e3, e2, e1, e2 ]
21 >
22