Tensor products in Sage
Computing the tensor product of two matrices A, B is quite straightforward through A.tensor_product(B).
What about computing the tensor product of some field extensions L and K over $\mathbb{Q}$? Or the tensor products of some ring of integers $\mathcal{O}_K$ of a field extension K and $\mathbb{Z}/\mathbb{pZ}$ over $\mathbb{Z}$.
Other instances of tensor product computations in Sage is welcomed, not necessarily as constructive, but illustrative enough to aid in studying Tensor products.