Libraries.Stabilizers.Clifford

type Qubit

data Tableau

next_qubit

sign

tableau

de_sign

de_tableau

lookup

empty_tableau

add_qubit

type Unitary

data MinPauli

type MinUnitary

from_minimal

from_matrix

apply_unitary

apply_unitary_row

type Unitary2

data MinPauli2

type MinUnitary2

from_minimal2

from_matrix2

from_matrix_controlled

apply_unitary2

measure

reduce

multiply

x

x_min

x'

x''

y

y_min

y'

y''

z

z_min

z'

z''

h

h_min

h'

h''

s

s_min

s'

s''

e

e_min

e'

e''

cnot

cnot_min

cnot'

cnot''

cz

cz_min

cz'

cz''

type CliffordCirc a

init_qubit

init_qubits

gate_X

gate_Y

gate_Z

gate_H

gate_S

gate_Unitary

controlled_X

controlled_Z

gate_Unitary2

measure_qubit

measure_qubits

show_tableau

eval

sim

swap

controlled_Z'

bell

measure_bell00

controlled_if

teleport

test_teleport

random_bool