tightbinder.models.sigma_z# sigma_z = array([[ 1.+0.j, 0.+0.j], [ 0.+0.j, -1.+0.j]])# Definition of Pauli matrix x, y, z. Used by several predefined models.