Compile and translate algebraic Dirac bra-ket expressions into vectors and matrices.
Use the interactive tool above, check its assumptions, and independently verify important results.