Libraries.Stabilizers.Pauli

data Pauli

data Sign

negative

negate

multiply_sign

data SignPlus

multiply_signPlus

signPlus_to_sign

levi_civita

kronecker_delta

commute

type Matrix1 a

toMatrix1

scale1

fromMatrix1

multiplyMatrix1

transpose1

my_Y

type Matrix2 a

tensor1

control1

toMatrix2

scale2

fromMatrix2

multiplyMatrix2

transpose2

my_IY