Hilbert_Space_Tensor_Product.Partial_Trace