Ensure least-significant on right in tensor products

[christopherporter1]

URL to the relevant course

Multiple

Select all that apply

• [ ] new content request
• [ ] typo
• [ ] code bug
• [ ] out-of-date content
• [ ] broken link
• [x] other

Describe the fix or the content request.

Inside a ket, least significant qubits are always on the far right, a la |q_n, q_{n-1}, ... q_1, q_0>. However, there are some places where tensor products are not (as in |q_0> \otimes |q_1> \otimes...). Although there are cases where this is well-suited to a physics context, it is confusing to users. It should be unified so that all syntaxes use the same least-significant, far-right notation.

This will involve very careful review because in some cases the kets are not explicitly labeled.

For new content requests - if the request is accepted, do you want to write the content?

I will write (or already have written) a draft of the proposed content