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 Q? Or the tensor products of some ring of integers OK of a field extension K and Z/pZ over Z.
Other instances of tensor product computations in Sage is welcomed, not necessarily as constructive, but illustrative enough to aid in studying Tensor products.