The Physics package appears broken for the tensor product of Bras and Kets.
It is not possible to describe new operators creatde by the tensorial
product of operators on two Hilbert spaces. ie H12 = H1 X H2
Download BraKetTensorProduc.mw
Am I missing something here.
Thank you for your help