Contents
Index
newsynth-0.1.0.0: Exact and approximate synthesis of quantum circuits
Index
.*.
Quantum.Synthesis.Matrix
.+.
Quantum.Synthesis.Matrix
.-.
Quantum.Synthesis.Matrix
Abs
Quantum.Synthesis.SymReal
ACos
Quantum.Synthesis.SymReal
ACosh
Quantum.Synthesis.SymReal
adj
Quantum.Synthesis.Ring
adj2
Quantum.Synthesis.Ring
Adjoint
Quantum.Synthesis.Ring
adjoint
Quantum.Synthesis.Matrix
Adjoint2
Quantum.Synthesis.Ring
apply_twolevels_zomega
Quantum.Synthesis.MultiQubitSynthesis
apply_twolevel_zomega
Quantum.Synthesis.MultiQubitSynthesis
ArcTan2
1 (Type/Class)
Quantum.Synthesis.ArcTan2
2 (Data Constructor)
Quantum.Synthesis.SymReal
arctan2
Quantum.Synthesis.ArcTan2
ASin
Quantum.Synthesis.SymReal
ASinh
Quantum.Synthesis.SymReal
ATan
Quantum.Synthesis.SymReal
ATanh
Quantum.Synthesis.SymReal
Axis
Quantum.Synthesis.Clifford
Axis_H
Quantum.Synthesis.Clifford
Axis_I
Quantum.Synthesis.Clifford
Axis_SH
Quantum.Synthesis.Clifford
binary_fun
Quantum.Synthesis.SymReal
binary_op
Quantum.Synthesis.SymReal
CDouble
Quantum.Synthesis.Ring
ceiling_of
Quantum.Synthesis.Ring
CFloat
Quantum.Synthesis.Ring
Clifford
Quantum.Synthesis.Clifford
clifford_decompose
Quantum.Synthesis.Clifford
clifford_decompose_coset
Quantum.Synthesis.Clifford
clifford_E
Quantum.Synthesis.Clifford
clifford_H
Quantum.Synthesis.Clifford
clifford_id
Quantum.Synthesis.Clifford
clifford_inv
Quantum.Synthesis.Clifford
clifford_mult
Quantum.Synthesis.Clifford
clifford_of_so3
Quantum.Synthesis.CliffordT
clifford_pack
Quantum.Synthesis.CliffordT
clifford_S
Quantum.Synthesis.Clifford
clifford_SH
Quantum.Synthesis.Clifford
clifford_tconj
Quantum.Synthesis.Clifford
clifford_unpack
Quantum.Synthesis.CliffordT
clifford_W
Quantum.Synthesis.Clifford
clifford_X
Quantum.Synthesis.Clifford
clifford_Y
Quantum.Synthesis.Clifford
clifford_Z
Quantum.Synthesis.Clifford
cnot
Quantum.Synthesis.Matrix
column3
Quantum.Synthesis.Matrix
columns_of_matrix
Quantum.Synthesis.Matrix
column_matrix
Quantum.Synthesis.Matrix
ComplexRing
Quantum.Synthesis.Ring
concat_horizontal
Quantum.Synthesis.Matrix
concat_vertical
Quantum.Synthesis.Matrix
Cons
Quantum.Synthesis.Matrix
Const
Quantum.Synthesis.SymReal
const_e
Quantum.Synthesis.SymReal
const_pi
Quantum.Synthesis.SymReal
convert
Quantum.Synthesis.CliffordT
Cos
Quantum.Synthesis.SymReal
Cosh
Quantum.Synthesis.SymReal
Cplx
1 (Type/Class)
Quantum.Synthesis.Ring
2 (Data Constructor)
Quantum.Synthesis.Ring
DComplex
Quantum.Synthesis.Ring
Decimal
Quantum.Synthesis.SymReal
decompose_dyadic
Quantum.Synthesis.Ring
DenomExp
Quantum.Synthesis.Ring
denomexp
Quantum.Synthesis.Ring
denomexp_decompose
Quantum.Synthesis.Ring
denomexp_factor
Quantum.Synthesis.Ring
dioph
Quantum.Synthesis.Newsynth
dioph_step
Quantum.Synthesis.Newsynth
Div
Quantum.Synthesis.SymReal
divmod
Quantum.Synthesis.EuclideanDomain
div_term
Quantum.Synthesis.SymReal
DOmega
Quantum.Synthesis.Ring
DRComplex
Quantum.Synthesis.Ring
DRootTwo
Quantum.Synthesis.Ring
Dyadic
1 (Type/Class)
Quantum.Synthesis.Ring
2 (Data Constructor)
Quantum.Synthesis.Ring
dynamic_fixedprec
Quantum.Synthesis.SymReal
dynamic_fixedprec2
Quantum.Synthesis.SymReal
E
Quantum.Synthesis.CliffordT
Eight
Quantum.Synthesis.Matrix
ElementaryRot
Quantum.Synthesis.RotationDecomposition
ensure
Quantum.Synthesis.Newsynth
ERot_phase
Quantum.Synthesis.RotationDecomposition
ERot_zx
Quantum.Synthesis.RotationDecomposition
EuclideanDomain
Quantum.Synthesis.EuclideanDomain
euclid_div
Quantum.Synthesis.EuclideanDomain
euclid_gcd
Quantum.Synthesis.EuclideanDomain
euclid_inverse
Quantum.Synthesis.EuclideanDomain
euclid_mod
Quantum.Synthesis.EuclideanDomain
Euler
Quantum.Synthesis.SymReal
euler_angles
Quantum.Synthesis.EulerAngles
Even
Quantum.Synthesis.Ring
Exp
Quantum.Synthesis.SymReal
exp10
Quantum.Synthesis.SymReal
exp6
Quantum.Synthesis.SymReal
exp7
Quantum.Synthesis.SymReal
exp8
Quantum.Synthesis.SymReal
expression
Quantum.Synthesis.SymReal
extended_euclid
Quantum.Synthesis.EuclideanDomain
Five
Quantum.Synthesis.Matrix
float
Quantum.Synthesis.SymReal
Floor
Quantum.Synthesis.Ring
floorlog
Quantum.Synthesis.Newsynth
floor_of
Quantum.Synthesis.Ring
Four
Quantum.Synthesis.Matrix
fromDComplex
Quantum.Synthesis.Ring
fromDOmega
Quantum.Synthesis.Ring
fromDRComplex
Quantum.Synthesis.Ring
fromDRootTwo
Quantum.Synthesis.Ring
fromDyadic
Quantum.Synthesis.Ring
FromGates
Quantum.Synthesis.CliffordT
fromNNat
Quantum.Synthesis.Matrix
fromQComplex
Quantum.Synthesis.Ring
fromQOmega
Quantum.Synthesis.Ring
fromQRComplex
Quantum.Synthesis.Ring
fromQRootTwo
Quantum.Synthesis.Ring
fromRationals
Quantum.Synthesis.Ring
fromZComplex
Quantum.Synthesis.Ring
fromZOmega
Quantum.Synthesis.Ring
fromZRootTwo
Quantum.Synthesis.Ring
from_column3
Quantum.Synthesis.Matrix
from_gates
Quantum.Synthesis.CliffordT
from_matrix2x2
Quantum.Synthesis.Matrix
from_whole
Quantum.Synthesis.Ring
Gate
Quantum.Synthesis.CliffordT
get_phase
Quantum.Synthesis.RotationDecomposition
gridpoints
Quantum.Synthesis.Newsynth
gridpoint_random
Quantum.Synthesis.Newsynth
gridpoint_random_parity
Quantum.Synthesis.Newsynth
H
Quantum.Synthesis.CliffordT
half
Quantum.Synthesis.Ring
HalfRing
Quantum.Synthesis.Ring
hs_sqnorm
Quantum.Synthesis.Matrix
i
Quantum.Synthesis.Ring
Index
Quantum.Synthesis.MultiQubitSynthesis
integer
Quantum.Synthesis.SymReal
integer_of_dyadic
Quantum.Synthesis.Ring
intsqrt
Quantum.Synthesis.Ring
invert_gates
Quantum.Synthesis.CliffordT
invert_twolevel
Quantum.Synthesis.MultiQubitSynthesis
invert_twolevels
Quantum.Synthesis.MultiQubitSynthesis
invert_twolevels_alt
Quantum.Synthesis.MultiQubitSynthesis
inv_mod
Quantum.Synthesis.EuclideanDomain
is_unit
Quantum.Synthesis.EuclideanDomain
keeptrying
Quantum.Synthesis.Newsynth
keeptrying_count
Quantum.Synthesis.Newsynth
list_insert
Quantum.Synthesis.MultiQubitSynthesis
list_of_vector
Quantum.Synthesis.Matrix
list_pairs
Quantum.Synthesis.MultiQubitSynthesis
lobit
Quantum.Synthesis.Ring
Log
Quantum.Synthesis.SymReal
log2
Quantum.Synthesis.Ring
log_omega
Quantum.Synthesis.MultiQubitSynthesis
Matrix
1 (Type/Class)
Quantum.Synthesis.Matrix
2 (Data Constructor)
Quantum.Synthesis.Matrix
matrix
Quantum.Synthesis.Matrix
matrix2x2
Quantum.Synthesis.Matrix
matrix3x3
Quantum.Synthesis.Matrix
matrix4x4
Quantum.Synthesis.Matrix
matrix_controlled
Quantum.Synthesis.Matrix
matrix_entries
Quantum.Synthesis.Matrix
matrix_enum
Quantum.Synthesis.Matrix
matrix_index
Quantum.Synthesis.Matrix
matrix_map
Quantum.Synthesis.Matrix
matrix_of_columns
Quantum.Synthesis.Matrix
matrix_of_elementaries
Quantum.Synthesis.RotationDecomposition
matrix_of_elementary
Quantum.Synthesis.RotationDecomposition
matrix_of_euler_angles
Quantum.Synthesis.EulerAngles
matrix_of_function
Quantum.Synthesis.Matrix
matrix_of_rows
Quantum.Synthesis.Matrix
matrix_of_twolevel
Quantum.Synthesis.MultiQubitSynthesis
matrix_of_twolevels
Quantum.Synthesis.MultiQubitSynthesis
matrix_sequence
Quantum.Synthesis.Matrix
matrix_size
Quantum.Synthesis.Matrix
matrix_transpose
Quantum.Synthesis.Matrix
maybe_dyadic
Quantum.Synthesis.Ring
maybe_head
Quantum.Synthesis.Newsynth
Minus
Quantum.Synthesis.SymReal
minus_term
Quantum.Synthesis.SymReal
Nat
Quantum.Synthesis.Matrix
nat
Quantum.Synthesis.Matrix
Negate
Quantum.Synthesis.SymReal
negative
Quantum.Synthesis.SymReal
newsynth
Quantum.Synthesis.Newsynth
newsynth_gates
Quantum.Synthesis.Newsynth
newsynth_stats
Quantum.Synthesis.Newsynth
newsynth_step
Quantum.Synthesis.Newsynth
nf_id
Quantum.Synthesis.CliffordT
nf_inv
Quantum.Synthesis.CliffordT
nf_mult
Quantum.Synthesis.CliffordT
Nil
Quantum.Synthesis.Matrix
Nine
Quantum.Synthesis.Matrix
NNat
Quantum.Synthesis.Matrix
nnat
Quantum.Synthesis.Matrix
norm
Quantum.Synthesis.Ring
NormalForm
1 (Type/Class)
Quantum.Synthesis.CliffordT
2 (Data Constructor)
Quantum.Synthesis.CliffordT
normalform_append
Quantum.Synthesis.CliffordT
normalform_pack
Quantum.Synthesis.CliffordT
normalform_unpack
Quantum.Synthesis.CliffordT
normalize
Quantum.Synthesis.CliffordT
NormedRing
Quantum.Synthesis.Ring
null_matrix
Quantum.Synthesis.Matrix
Odd
Quantum.Synthesis.Ring
Omega
1 (Type/Class)
Quantum.Synthesis.Ring
2 (Data Constructor)
Quantum.Synthesis.Ring
omega
Quantum.Synthesis.Ring
OmegaRing
Quantum.Synthesis.Ring
omega_power
Quantum.Synthesis.MultiQubitSynthesis
omega_real
Quantum.Synthesis.Ring
One
Quantum.Synthesis.Matrix
onelevel_matrix
Quantum.Synthesis.MultiQubitSynthesis
opH_zomega
Quantum.Synthesis.MultiQubitSynthesis
oplus
Quantum.Synthesis.Matrix
opX_zomega
Quantum.Synthesis.MultiQubitSynthesis
parenthesized
Quantum.Synthesis.SymReal
Parity
Quantum.Synthesis.Ring
parity
Quantum.Synthesis.Ring
parse_SymReal
Quantum.Synthesis.SymReal
Pi
Quantum.Synthesis.SymReal
Plus
1 (Data Constructor)
Quantum.Synthesis.SymReal
2 (Type/Class)
Quantum.Synthesis.Matrix
plus_term
Quantum.Synthesis.SymReal
positive
Quantum.Synthesis.SymReal
Power
Quantum.Synthesis.SymReal
power
Quantum.Synthesis.Newsynth
power_term
Quantum.Synthesis.SymReal
QComplex
Quantum.Synthesis.Ring
QOmega
Quantum.Synthesis.Ring
QRComplex
Quantum.Synthesis.Ring
QRootTwo
Quantum.Synthesis.Ring
random_unitary
Quantum.Synthesis.RotationDecomposition
rank
Quantum.Synthesis.EuclideanDomain
Rationals
Quantum.Synthesis.Ring
real
Quantum.Synthesis.Ring
RealPart
Quantum.Synthesis.Ring
Recip
Quantum.Synthesis.SymReal
reduce_column
Quantum.Synthesis.MultiQubitSynthesis
reduce_column_alt
Quantum.Synthesis.MultiQubitSynthesis
reduce_ZOmega
Quantum.Synthesis.MultiQubitSynthesis
reducible
Quantum.Synthesis.MultiQubitSynthesis
Residue
Quantum.Synthesis.MultiQubitSynthesis
residue
Quantum.Synthesis.MultiQubitSynthesis
ResidueType
Quantum.Synthesis.MultiQubitSynthesis
residue_offset
Quantum.Synthesis.MultiQubitSynthesis
residue_shift
Quantum.Synthesis.MultiQubitSynthesis
residue_type
Quantum.Synthesis.MultiQubitSynthesis
residue_type_shift
Quantum.Synthesis.MultiQubitSynthesis
Ring
Quantum.Synthesis.Ring
roothalf
Quantum.Synthesis.Ring
RootHalfRing
Quantum.Synthesis.Ring
RootTwo
1 (Type/Class)
Quantum.Synthesis.Ring
2 (Data Constructor)
Quantum.Synthesis.Ring
roottwo
Quantum.Synthesis.Ring
RootTwoRing
Quantum.Synthesis.Ring
root_minus_one
Quantum.Synthesis.Newsynth
root_minus_one_step
Quantum.Synthesis.Newsynth
rotation_decomposition
Quantum.Synthesis.RotationDecomposition
rounddiv
Quantum.Synthesis.EuclideanDomain
rowop
Quantum.Synthesis.RotationDecomposition
rows_of_matrix
Quantum.Synthesis.Matrix
row_step
Quantum.Synthesis.MultiQubitSynthesis
row_step_alt
Quantum.Synthesis.MultiQubitSynthesis
RT_0000
Quantum.Synthesis.MultiQubitSynthesis
RT_0001
Quantum.Synthesis.MultiQubitSynthesis
RT_1010
Quantum.Synthesis.MultiQubitSynthesis
S
Quantum.Synthesis.CliffordT
SApp_HT
Quantum.Synthesis.CliffordT
SApp_SHT
Quantum.Synthesis.CliffordT
scalarmult
Quantum.Synthesis.Matrix
Seven
Quantum.Synthesis.Matrix
ShowLaTeX
Quantum.Synthesis.LaTeX
showlatex
Quantum.Synthesis.LaTeX
showlatex_denomexp
Quantum.Synthesis.LaTeX
showlatex_p
Quantum.Synthesis.LaTeX
showsPrec_DenomExp
Quantum.Synthesis.Ring
showsPrec_rational
Quantum.Synthesis.Ring
Signum
Quantum.Synthesis.SymReal
Sin
Quantum.Synthesis.SymReal
Sinh
Quantum.Synthesis.SymReal
Six
Quantum.Synthesis.Matrix
SO3
Quantum.Synthesis.Matrix
so3_E
Quantum.Synthesis.CliffordT
so3_H
Quantum.Synthesis.CliffordT
so3_of_clifford
Quantum.Synthesis.CliffordT
so3_of_gate
Quantum.Synthesis.CliffordT
so3_of_u2
Quantum.Synthesis.CliffordT
so3_S
Quantum.Synthesis.CliffordT
so3_T
Quantum.Synthesis.CliffordT
so3_X
Quantum.Synthesis.CliffordT
so3_Y
Quantum.Synthesis.CliffordT
so3_Z
Quantum.Synthesis.CliffordT
Sqrt
Quantum.Synthesis.SymReal
stack_horizontal
Quantum.Synthesis.Matrix
stack_vertical
Quantum.Synthesis.Matrix
Succ
1 (Data Constructor)
Quantum.Synthesis.Matrix
2 (Type/Class)
Quantum.Synthesis.Matrix
swap
Quantum.Synthesis.Matrix
Syllables
Quantum.Synthesis.CliffordT
SymReal
Quantum.Synthesis.SymReal
synthesis_bloch
Quantum.Synthesis.CliffordT
synthesis_nqubit
Quantum.Synthesis.MultiQubitSynthesis
synthesis_nqubit_alt
Quantum.Synthesis.MultiQubitSynthesis
synthesis_u2
Quantum.Synthesis.CliffordT
S_I
Quantum.Synthesis.CliffordT
S_T
Quantum.Synthesis.CliffordT
T
Quantum.Synthesis.CliffordT
Tan
Quantum.Synthesis.SymReal
Tanh
Quantum.Synthesis.SymReal
Ten
Quantum.Synthesis.Matrix
tensor
Quantum.Synthesis.Matrix
tensor_horizontal
Quantum.Synthesis.Matrix
tensor_vertical
Quantum.Synthesis.Matrix
Ten_and
Quantum.Synthesis.Matrix
test
Quantum.Synthesis.RotationDecomposition
Three
Quantum.Synthesis.Matrix
Times
1 (Data Constructor)
Quantum.Synthesis.SymReal
2 (Type/Class)
Quantum.Synthesis.Matrix
times_term
Quantum.Synthesis.SymReal
TL_H
Quantum.Synthesis.MultiQubitSynthesis
TL_iX
Quantum.Synthesis.MultiQubitSynthesis
TL_omega
Quantum.Synthesis.MultiQubitSynthesis
TL_omega_alt
Quantum.Synthesis.MultiQubitSynthesis
TL_T
Quantum.Synthesis.MultiQubitSynthesis
TL_TiHT
Quantum.Synthesis.MultiQubitSynthesis
TL_W
Quantum.Synthesis.MultiQubitSynthesis
TL_X
Quantum.Synthesis.MultiQubitSynthesis
ToClifford
Quantum.Synthesis.Clifford
ToDyadic
Quantum.Synthesis.Ring
ToGates
Quantum.Synthesis.CliffordT
ToQOmega
Quantum.Synthesis.Ring
toQOmega
Quantum.Synthesis.Ring
ToRationals
Quantum.Synthesis.Ring
ToReal
Quantum.Synthesis.SymReal
to_clifford
Quantum.Synthesis.Clifford
to_dyadic
Quantum.Synthesis.Ring
to_gates
Quantum.Synthesis.CliffordT
to_real
Quantum.Synthesis.SymReal
to_whole
Quantum.Synthesis.Ring
tr
Quantum.Synthesis.Matrix
transform_at
Quantum.Synthesis.MultiQubitSynthesis
transform_at2
Quantum.Synthesis.MultiQubitSynthesis
try_for
Quantum.Synthesis.Newsynth
Two
Quantum.Synthesis.Matrix
TwoLevel
Quantum.Synthesis.MultiQubitSynthesis
TwoLevelAlt
Quantum.Synthesis.MultiQubitSynthesis
twolevels_of_twolevelalts
Quantum.Synthesis.MultiQubitSynthesis
twolevel_matrix
Quantum.Synthesis.MultiQubitSynthesis
twolevel_matrix_of_matrix
Quantum.Synthesis.RotationDecomposition
U2
Quantum.Synthesis.Matrix
u2_E
Quantum.Synthesis.CliffordT
u2_H
Quantum.Synthesis.CliffordT
u2_of_gate
Quantum.Synthesis.CliffordT
u2_S
Quantum.Synthesis.CliffordT
u2_T
Quantum.Synthesis.CliffordT
u2_W
Quantum.Synthesis.CliffordT
u2_X
Quantum.Synthesis.CliffordT
u2_Y
Quantum.Synthesis.CliffordT
u2_Z
Quantum.Synthesis.CliffordT
unary_fun
Quantum.Synthesis.SymReal
unary_op
Quantum.Synthesis.SymReal
unMatrix
Quantum.Synthesis.Matrix
unRationals
Quantum.Synthesis.Ring
Vector
Quantum.Synthesis.Matrix
vector
Quantum.Synthesis.Matrix
vector_append
Quantum.Synthesis.Matrix
vector_enum
Quantum.Synthesis.Matrix
vector_foldl
Quantum.Synthesis.Matrix
vector_foldr
Quantum.Synthesis.Matrix
vector_head
Quantum.Synthesis.Matrix
vector_index
Quantum.Synthesis.Matrix
vector_length
Quantum.Synthesis.Matrix
vector_map
Quantum.Synthesis.Matrix
vector_of_function
Quantum.Synthesis.Matrix
vector_repeat
Quantum.Synthesis.Matrix
vector_sequence
Quantum.Synthesis.Matrix
vector_singleton
Quantum.Synthesis.Matrix
vector_tail
Quantum.Synthesis.Matrix
vector_transpose
Quantum.Synthesis.Matrix
vector_zipwith
Quantum.Synthesis.Matrix
W
Quantum.Synthesis.CliffordT
WholePart
Quantum.Synthesis.Ring
X
Quantum.Synthesis.CliffordT
Y
Quantum.Synthesis.CliffordT
Z
Quantum.Synthesis.CliffordT
Z2
Quantum.Synthesis.Ring
ZComplex
Quantum.Synthesis.Ring
Zero
1 (Data Constructor)
Quantum.Synthesis.Matrix
2 (Type/Class)
Quantum.Synthesis.Matrix
ZOmega
Quantum.Synthesis.Ring
ZRootTwo
Quantum.Synthesis.Ring
zroottwo_of_zomega
Quantum.Synthesis.Ring
zroottwo_root
Quantum.Synthesis.Newsynth
zrot
Quantum.Synthesis.Matrix