Libraries.Synthesis.MultiQubitSynthesis

Residues

class Residue a b

One- and two-level operators

Symbolic representation

type Index

data TwoLevel

invert_twolevel

invert_twolevels

Constructors for two-level matrices

twolevel_matrix

onelevel_matrix

matrix_of_twolevel

matrix_of_twolevels

Auxiliary list functions

list_insert

transform_at

transform_at2

list_pairs

Functions on ℤ[ω]

log_omega

omega_power

reduce_ZOmega

opX_zomega

opH_zomega

apply_twolevel_zomega

apply_twolevels_zomega

Functions on residues

data ResidueType

residue_type

residue_shift

residue_type_shift

residue_offset

reducible

Exact synthesis

row_step

reduce_column

synthesis_nqubit