tensor product and partial trace
See more