Ensure least-significant on right in tensor products

URL to the relevant course

Multiple

Select all that apply

• new content request
• typo
• code bug
• out-of-date content
• broken link
• 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