| 1 | initial version |
Yes this is the second form, namely $$ S^{abc}_{\quad def} T^{ghi}_{\quad jbk} = R^{acghi}_{\quad \ \ defjk} $$ This is so because in SageMath, the contravariant indices come always before the covariant ones.
Copyright Sage, 2010. Some rights reserved under creative commons license. Content on this site is licensed under a Creative Commons Attribution Share Alike 3.0 license.