Programs.Synthesis.Fowler
type Complexnumber
type Realnumber
i
s
sqrti
type Matrix
mult
adjoint
trace
identity
not_gate
hadamard
s_gate
t_gate
s_mult
t_mult
magnitude_squared
fowler_norm
fowler_metric
fowler_norm_of_metric
euclid_norm
dist_of_norm
fowler_dist
euclid_dist
data Gate
data Axis
data Flip
data Turn
type Clifford
clifford_id
data CAxis
data CliffordT
data NormalForm
class Gatelist a
nf_len
ct_len
matrix_of_gate
matrix_of_gatelist
to_matrix
nf_matrix_gen
nf_length
approximate
some_gate
random_gate
zrot_gate
phase_gate
print_list
main
parse_args