Programs.Synthesis.Fowler

Overview

Scalars

type Complexnumber

type Realnumber

i

s

sqrti

Basic matrix operations

type Matrix

mult

adjoint

trace

Specific matrices

identity

not_gate

hadamard

s_gate

t_gate

s_mult

t_mult

Norms and distance

magnitude_squared

fowler_norm

fowler_metric

fowler_norm_of_metric

euclid_norm

dist_of_norm

fowler_dist

euclid_dist

Representation of {X, H, S, T} circuits

data Gate

Representation of normal forms

data Axis

data Flip

data Turn

type Clifford

clifford_id

data CAxis

data CliffordT

data NormalForm

class Gatelist a

nf_len

ct_len

Mapping circuits to unitary matrices

matrix_of_gate

matrix_of_gatelist

to_matrix

More memory-efficient enumeration

nf_matrix_gen

nf_length

Finding best approximations

approximate

Some gates to approximate

some_gate

random_gate

zrot_gate

phase_gate

User interface

print_list

main

parse_args