Solution (source code)

= Solution

The <trace> is unchanged by transposition and is cyclic under a product. With $S^T=S$ and $A^T=-A$,
$$
\operatorname{tr}(AS)=\operatorname{tr}[(AS)^T]=\operatorname{tr}(-SA)=-\operatorname{tr}(AS).
$$
Thus $\boxed{\operatorname{tr}(AS)=0}$. In components this is the vanishing contraction of a <symmetric tensor> with an <antisymmetric tensor>.