"Exercise 7.1" uu = (1,0,0,0) ud = (0,1,0,0) du = (0,0,1,0) dd = (0,0,0,1) I = ((1,0),(0,1)) taux = ((0,1),(1,0)) T = kronecker(I,taux) "Tensor product" T "Verify Alice's spin is unchanged" check(dot(T,uu) == ud) check(dot(T,ud) == uu) check(dot(T,du) == dd) check(dot(T,dd) == du) "ok" Run