test eigendecomposition for Pauli matrices