我正在尝试为具有三个索引 i、mu、nu 的张量 A^i_\mu\nu ( A(i, -mu, -nu)) 定义一个 sympy tensor.tensor.TensorSymmetry。索引 mu 和 nu 位于同一个包中，i 位于不同的包中。张量关于 (mu, nu) 是斜对称的，但关于 (mu, i) 或 (nu, i) 没有对称性。
我很难理解如何定义这种张量对称。sympy.combinatorics.tensor_can 的文档非常不透明，我无法理解那里发生了什么，另外，我不熟悉 BSGS 形式，也很难找到一个好的解释。是否有指南或其他东西，或者有人可以举个例子？