I wanted to use MAPLE to preform symbolic quantum computations. The role
of quantum operators and their tensor product is very important in simplying
the understating of such new calculus at least for the beginners. For instance,
(using "o" for the tensor product and "." for the scalar product, H being the Hadamard
operator on a qubit, I the identity operator, and CNOT the 2 qubit controled not
1) generating the Bells states |Bxy> two stages of operators are needed
(CNOT) . (H o I) . |x> o |y>
2) performing quantum teleportation of |psi>
(H o I o I) . (CNOT o I ) . |psi>o |B00>
followed by a measurements on the first two qubits for driving the application of
quantum gates to the third qubit.
All these tensor products of operators can be easily written in MAPLE.
Here is a first version of the ExpandQop procedure that will be usefull the purpose of
expanding correctly the tensor product of two quantum operator expressed in Dirac notation.
I hope this is usefull.