I've been trying to figure out how tensor indices work with sage and I have a really simple question - how are the indices ordered after contracting two tensors? For example, if I have two tensors S,T or type (s_1,s_2) and (t_1,t_2) and I contract them, how will the indices of the resulting tensor be ordered? e.g. if S and T are both of type (3,3), then:
$$ S.\text{contract}(1,T,4) = S^{abc}_{\quad def} {\color{white}*} T^{ghi}_{\quad jbk}$$
how would the resulting tensors indicices be ordered?
$$R^{ac\quad ghi}_{\quad def \quad jk}$$
or
$$ R^{acghi}_{\quad \quad defjk}$$
I tried looking on the page for tensor indices but I couldn't figure it out; experimentation seemed to suggest the second but I wanted to be sure. Thanks; and sorry if this is a silly question whose explanation I missed in the docs
