Tensor product of crystals (source code)

= Tensor product of crystals

The tensor product crystal uses the $i$-string data $\varepsilon_i$ and $\varphi_i$ to decide on which tensor factor a <Kashiwara operator> acts. Its connected components are highest-weight crystals and encode the decomposition of the tensor product representation.

This tensor-product operation combines one <crystal basis> with another, with factor selection governed by their string parameters.