Tensors

Interesting to see what operations are performed in this circuit:

The identity operator is introduced, to create a tensor product:

For the second column:

A tensor for the whole:

Our circuit:

                                                                 

Interestingly, one ends up with a negative for the |11> option unless oneof two variants

are introduced: a controlled z-gate, or a swap;