newsynth-0.1.1.0: Exact and approximate synthesis of quantum circuits

Index

.*.Quantum.Synthesis.Matrix
.+.Quantum.Synthesis.Matrix
.-.Quantum.Synthesis.Matrix
AbsQuantum.Synthesis.SymReal
ACosQuantum.Synthesis.SymReal
ACoshQuantum.Synthesis.SymReal
adjQuantum.Synthesis.Ring
adj2Quantum.Synthesis.Ring
AdjointQuantum.Synthesis.Ring
adjointQuantum.Synthesis.Matrix
Adjoint2Quantum.Synthesis.Ring
apply_twolevels_zomegaQuantum.Synthesis.MultiQubitSynthesis
apply_twolevel_zomegaQuantum.Synthesis.MultiQubitSynthesis
ArcTan2 
1 (Type/Class)Quantum.Synthesis.ArcTan2
2 (Data Constructor)Quantum.Synthesis.SymReal
arctan2Quantum.Synthesis.ArcTan2
ASinQuantum.Synthesis.SymReal
ASinhQuantum.Synthesis.SymReal
ATanQuantum.Synthesis.SymReal
ATanhQuantum.Synthesis.SymReal
AxisQuantum.Synthesis.Clifford
Axis_HQuantum.Synthesis.Clifford
Axis_IQuantum.Synthesis.Clifford
Axis_SHQuantum.Synthesis.Clifford
binary_funQuantum.Synthesis.SymReal
binary_opQuantum.Synthesis.SymReal
CDoubleQuantum.Synthesis.Ring
ceiling_ofQuantum.Synthesis.Ring
CFloatQuantum.Synthesis.Ring
CliffordQuantum.Synthesis.Clifford
clifford_decomposeQuantum.Synthesis.Clifford
clifford_decompose_cosetQuantum.Synthesis.Clifford
clifford_EQuantum.Synthesis.Clifford
clifford_HQuantum.Synthesis.Clifford
clifford_idQuantum.Synthesis.Clifford
clifford_invQuantum.Synthesis.Clifford
clifford_multQuantum.Synthesis.Clifford
clifford_of_so3Quantum.Synthesis.CliffordT
clifford_packQuantum.Synthesis.CliffordT
clifford_SQuantum.Synthesis.Clifford
clifford_SHQuantum.Synthesis.Clifford
clifford_tconjQuantum.Synthesis.Clifford
clifford_unpackQuantum.Synthesis.CliffordT
clifford_WQuantum.Synthesis.Clifford
clifford_XQuantum.Synthesis.Clifford
clifford_YQuantum.Synthesis.Clifford
clifford_ZQuantum.Synthesis.Clifford
cnotQuantum.Synthesis.Matrix
column3Quantum.Synthesis.Matrix
columns_of_matrixQuantum.Synthesis.Matrix
column_matrixQuantum.Synthesis.Matrix
ComplexRingQuantum.Synthesis.Ring
concat_horizontalQuantum.Synthesis.Matrix
concat_verticalQuantum.Synthesis.Matrix
ConsQuantum.Synthesis.Matrix
ConstQuantum.Synthesis.SymReal
const_eQuantum.Synthesis.SymReal
const_piQuantum.Synthesis.SymReal
convertQuantum.Synthesis.CliffordT
CosQuantum.Synthesis.SymReal
CoshQuantum.Synthesis.SymReal
Cplx 
1 (Type/Class)Quantum.Synthesis.Ring
2 (Data Constructor)Quantum.Synthesis.Ring
DComplexQuantum.Synthesis.Ring
DecimalQuantum.Synthesis.SymReal
decompose_dyadicQuantum.Synthesis.Ring
DenomExpQuantum.Synthesis.Ring
denomexpQuantum.Synthesis.Ring
denomexp_decomposeQuantum.Synthesis.Ring
denomexp_factorQuantum.Synthesis.Ring
diophQuantum.Synthesis.Newsynth
dioph_stepQuantum.Synthesis.Newsynth
DivQuantum.Synthesis.SymReal
divmodQuantum.Synthesis.EuclideanDomain
div_termQuantum.Synthesis.SymReal
DOmegaQuantum.Synthesis.Ring
DRComplexQuantum.Synthesis.Ring
DRootTwoQuantum.Synthesis.Ring
Dyadic 
1 (Type/Class)Quantum.Synthesis.Ring
2 (Data Constructor)Quantum.Synthesis.Ring
dynamic_fixedprecQuantum.Synthesis.SymReal
dynamic_fixedprec2Quantum.Synthesis.SymReal
EQuantum.Synthesis.CliffordT
EightQuantum.Synthesis.Matrix
ElementaryRotQuantum.Synthesis.RotationDecomposition
ensureQuantum.Synthesis.Newsynth
ERot_phaseQuantum.Synthesis.RotationDecomposition
ERot_zxQuantum.Synthesis.RotationDecomposition
EuclideanDomainQuantum.Synthesis.EuclideanDomain
euclid_associatesQuantum.Synthesis.EuclideanDomain
euclid_divQuantum.Synthesis.EuclideanDomain
euclid_dividesQuantum.Synthesis.EuclideanDomain
euclid_gcdQuantum.Synthesis.EuclideanDomain
euclid_inverseQuantum.Synthesis.EuclideanDomain
euclid_modQuantum.Synthesis.EuclideanDomain
EulerQuantum.Synthesis.SymReal
euler_anglesQuantum.Synthesis.EulerAngles
EvenQuantum.Synthesis.Ring
ExpQuantum.Synthesis.SymReal
exp10Quantum.Synthesis.SymReal
exp6Quantum.Synthesis.SymReal
exp7Quantum.Synthesis.SymReal
exp8Quantum.Synthesis.SymReal
expressionQuantum.Synthesis.SymReal
extended_euclidQuantum.Synthesis.EuclideanDomain
FiveQuantum.Synthesis.Matrix
floatQuantum.Synthesis.SymReal
FloorQuantum.Synthesis.Ring
floorlogQuantum.Synthesis.Newsynth
floor_ofQuantum.Synthesis.Ring
FourQuantum.Synthesis.Matrix
fromDComplexQuantum.Synthesis.Ring
fromDOmegaQuantum.Synthesis.Ring
fromDRComplexQuantum.Synthesis.Ring
fromDRootTwoQuantum.Synthesis.Ring
fromDyadicQuantum.Synthesis.Ring
FromGatesQuantum.Synthesis.CliffordT
fromNNatQuantum.Synthesis.Matrix
fromQComplexQuantum.Synthesis.Ring
fromQOmegaQuantum.Synthesis.Ring
fromQRComplexQuantum.Synthesis.Ring
fromQRootTwoQuantum.Synthesis.Ring
fromRationalsQuantum.Synthesis.Ring
fromZComplexQuantum.Synthesis.Ring
fromZOmegaQuantum.Synthesis.Ring
fromZRootTwoQuantum.Synthesis.Ring
from_column3Quantum.Synthesis.Matrix
from_gatesQuantum.Synthesis.CliffordT
from_matrix2x2Quantum.Synthesis.Matrix
from_wholeQuantum.Synthesis.Ring
GateQuantum.Synthesis.CliffordT
get_phaseQuantum.Synthesis.RotationDecomposition
gridpointsQuantum.Synthesis.Newsynth
gridpoint_randomQuantum.Synthesis.Newsynth
gridpoint_random_parityQuantum.Synthesis.Newsynth
HQuantum.Synthesis.CliffordT
halfQuantum.Synthesis.Ring
HalfRingQuantum.Synthesis.Ring
hs_sqnormQuantum.Synthesis.Matrix
iQuantum.Synthesis.Ring
IndexQuantum.Synthesis.MultiQubitSynthesis
integerQuantum.Synthesis.SymReal
integer_of_dyadicQuantum.Synthesis.Ring
intsqrtQuantum.Synthesis.Ring
invert_gatesQuantum.Synthesis.CliffordT
invert_twolevelQuantum.Synthesis.MultiQubitSynthesis
invert_twolevelsQuantum.Synthesis.MultiQubitSynthesis
invert_twolevels_altQuantum.Synthesis.MultiQubitSynthesis
inv_modQuantum.Synthesis.EuclideanDomain
is_unitQuantum.Synthesis.EuclideanDomain
keeptryingQuantum.Synthesis.Newsynth
keeptrying_countQuantum.Synthesis.Newsynth
list_insertQuantum.Synthesis.MultiQubitSynthesis
list_of_vectorQuantum.Synthesis.Matrix
list_pairsQuantum.Synthesis.MultiQubitSynthesis
lobitQuantum.Synthesis.Ring
LogQuantum.Synthesis.SymReal
log2Quantum.Synthesis.Ring
log_omegaQuantum.Synthesis.MultiQubitSynthesis
Matrix 
1 (Type/Class)Quantum.Synthesis.Matrix
2 (Data Constructor)Quantum.Synthesis.Matrix
matrixQuantum.Synthesis.Matrix
matrix2x2Quantum.Synthesis.Matrix
matrix3x3Quantum.Synthesis.Matrix
matrix4x4Quantum.Synthesis.Matrix
matrix_controlledQuantum.Synthesis.Matrix
matrix_entriesQuantum.Synthesis.Matrix
matrix_enumQuantum.Synthesis.Matrix
matrix_indexQuantum.Synthesis.Matrix
matrix_mapQuantum.Synthesis.Matrix
matrix_of_columnsQuantum.Synthesis.Matrix
matrix_of_elementariesQuantum.Synthesis.RotationDecomposition
matrix_of_elementaryQuantum.Synthesis.RotationDecomposition
matrix_of_euler_anglesQuantum.Synthesis.EulerAngles
matrix_of_functionQuantum.Synthesis.Matrix
matrix_of_rowsQuantum.Synthesis.Matrix
matrix_of_twolevelQuantum.Synthesis.MultiQubitSynthesis
matrix_of_twolevelsQuantum.Synthesis.MultiQubitSynthesis
matrix_sequenceQuantum.Synthesis.Matrix
matrix_sizeQuantum.Synthesis.Matrix
matrix_transposeQuantum.Synthesis.Matrix
maybe_dyadicQuantum.Synthesis.Ring
maybe_headQuantum.Synthesis.Newsynth
MinusQuantum.Synthesis.SymReal
minus_termQuantum.Synthesis.SymReal
NatQuantum.Synthesis.Matrix
natQuantum.Synthesis.Matrix
NegateQuantum.Synthesis.SymReal
negativeQuantum.Synthesis.SymReal
newsynthQuantum.Synthesis.Newsynth
newsynth_gatesQuantum.Synthesis.Newsynth
newsynth_statsQuantum.Synthesis.Newsynth
newsynth_stepQuantum.Synthesis.Newsynth
nf_idQuantum.Synthesis.CliffordT
nf_invQuantum.Synthesis.CliffordT
nf_multQuantum.Synthesis.CliffordT
NilQuantum.Synthesis.Matrix
NineQuantum.Synthesis.Matrix
NNatQuantum.Synthesis.Matrix
nnatQuantum.Synthesis.Matrix
normQuantum.Synthesis.Ring
NormalForm 
1 (Type/Class)Quantum.Synthesis.CliffordT
2 (Data Constructor)Quantum.Synthesis.CliffordT
normalform_appendQuantum.Synthesis.CliffordT
normalform_packQuantum.Synthesis.CliffordT
normalform_unpackQuantum.Synthesis.CliffordT
normalizeQuantum.Synthesis.CliffordT
NormedRingQuantum.Synthesis.Ring
null_matrixQuantum.Synthesis.Matrix
OddQuantum.Synthesis.Ring
Omega 
1 (Type/Class)Quantum.Synthesis.Ring
2 (Data Constructor)Quantum.Synthesis.Ring
omegaQuantum.Synthesis.Ring
OmegaRingQuantum.Synthesis.Ring
omega_powerQuantum.Synthesis.MultiQubitSynthesis
omega_realQuantum.Synthesis.Ring
OneQuantum.Synthesis.Matrix
onelevel_matrixQuantum.Synthesis.MultiQubitSynthesis
opH_zomegaQuantum.Synthesis.MultiQubitSynthesis
oplusQuantum.Synthesis.Matrix
opX_zomegaQuantum.Synthesis.MultiQubitSynthesis
parenthesizedQuantum.Synthesis.SymReal
ParityQuantum.Synthesis.Ring
parityQuantum.Synthesis.Ring
parse_SymRealQuantum.Synthesis.SymReal
PiQuantum.Synthesis.SymReal
Plus 
1 (Data Constructor)Quantum.Synthesis.SymReal
2 (Type/Class)Quantum.Synthesis.Matrix
plus_termQuantum.Synthesis.SymReal
positiveQuantum.Synthesis.SymReal
PowerQuantum.Synthesis.SymReal
powerQuantum.Synthesis.Newsynth
power_termQuantum.Synthesis.SymReal
QComplexQuantum.Synthesis.Ring
QOmegaQuantum.Synthesis.Ring
QRComplexQuantum.Synthesis.Ring
QRootTwoQuantum.Synthesis.Ring
random_unitaryQuantum.Synthesis.RotationDecomposition
rankQuantum.Synthesis.EuclideanDomain
RationalsQuantum.Synthesis.Ring
realQuantum.Synthesis.Ring
RealPartQuantum.Synthesis.Ring
RecipQuantum.Synthesis.SymReal
reduce_columnQuantum.Synthesis.MultiQubitSynthesis
reduce_column_altQuantum.Synthesis.MultiQubitSynthesis
reduce_ZOmegaQuantum.Synthesis.MultiQubitSynthesis
reducibleQuantum.Synthesis.MultiQubitSynthesis
ResidueQuantum.Synthesis.MultiQubitSynthesis
residueQuantum.Synthesis.MultiQubitSynthesis
ResidueTypeQuantum.Synthesis.MultiQubitSynthesis
residue_offsetQuantum.Synthesis.MultiQubitSynthesis
residue_shiftQuantum.Synthesis.MultiQubitSynthesis
residue_typeQuantum.Synthesis.MultiQubitSynthesis
residue_type_shiftQuantum.Synthesis.MultiQubitSynthesis
RingQuantum.Synthesis.Ring
roothalfQuantum.Synthesis.Ring
RootHalfRingQuantum.Synthesis.Ring
RootTwo 
1 (Type/Class)Quantum.Synthesis.Ring
2 (Data Constructor)Quantum.Synthesis.Ring
roottwoQuantum.Synthesis.Ring
RootTwoRingQuantum.Synthesis.Ring
root_minus_oneQuantum.Synthesis.Newsynth
root_minus_one_stepQuantum.Synthesis.Newsynth
rotation_decompositionQuantum.Synthesis.RotationDecomposition
rounddivQuantum.Synthesis.EuclideanDomain
rowopQuantum.Synthesis.RotationDecomposition
rows_of_matrixQuantum.Synthesis.Matrix
row_stepQuantum.Synthesis.MultiQubitSynthesis
row_step_altQuantum.Synthesis.MultiQubitSynthesis
RT_0000Quantum.Synthesis.MultiQubitSynthesis
RT_0001Quantum.Synthesis.MultiQubitSynthesis
RT_1010Quantum.Synthesis.MultiQubitSynthesis
SQuantum.Synthesis.CliffordT
SApp_HTQuantum.Synthesis.CliffordT
SApp_SHTQuantum.Synthesis.CliffordT
scalarmultQuantum.Synthesis.Matrix
SevenQuantum.Synthesis.Matrix
ShowLaTeXQuantum.Synthesis.LaTeX
showlatexQuantum.Synthesis.LaTeX
showlatex_denomexpQuantum.Synthesis.LaTeX
showlatex_pQuantum.Synthesis.LaTeX
showsPrec_DenomExpQuantum.Synthesis.Ring
showsPrec_rationalQuantum.Synthesis.Ring
SignumQuantum.Synthesis.SymReal
SinQuantum.Synthesis.SymReal
SinhQuantum.Synthesis.SymReal
SixQuantum.Synthesis.Matrix
SO3Quantum.Synthesis.Matrix
so3_EQuantum.Synthesis.CliffordT
so3_HQuantum.Synthesis.CliffordT
so3_of_cliffordQuantum.Synthesis.CliffordT
so3_of_gateQuantum.Synthesis.CliffordT
so3_of_u2Quantum.Synthesis.CliffordT
so3_SQuantum.Synthesis.CliffordT
so3_TQuantum.Synthesis.CliffordT
so3_XQuantum.Synthesis.CliffordT
so3_YQuantum.Synthesis.CliffordT
so3_ZQuantum.Synthesis.CliffordT
SqrtQuantum.Synthesis.SymReal
stack_horizontalQuantum.Synthesis.Matrix
stack_verticalQuantum.Synthesis.Matrix
Succ 
1 (Data Constructor)Quantum.Synthesis.Matrix
2 (Type/Class)Quantum.Synthesis.Matrix
swapQuantum.Synthesis.Matrix
SyllablesQuantum.Synthesis.CliffordT
SymRealQuantum.Synthesis.SymReal
synthesis_blochQuantum.Synthesis.CliffordT
synthesis_nqubitQuantum.Synthesis.MultiQubitSynthesis
synthesis_nqubit_altQuantum.Synthesis.MultiQubitSynthesis
synthesis_u2Quantum.Synthesis.CliffordT
S_IQuantum.Synthesis.CliffordT
S_TQuantum.Synthesis.CliffordT
TQuantum.Synthesis.CliffordT
TanQuantum.Synthesis.SymReal
TanhQuantum.Synthesis.SymReal
TenQuantum.Synthesis.Matrix
tensorQuantum.Synthesis.Matrix
tensor_horizontalQuantum.Synthesis.Matrix
tensor_verticalQuantum.Synthesis.Matrix
Ten_andQuantum.Synthesis.Matrix
testQuantum.Synthesis.RotationDecomposition
ThreeQuantum.Synthesis.Matrix
Times 
1 (Data Constructor)Quantum.Synthesis.SymReal
2 (Type/Class)Quantum.Synthesis.Matrix
times_termQuantum.Synthesis.SymReal
TL_HQuantum.Synthesis.MultiQubitSynthesis
TL_iXQuantum.Synthesis.MultiQubitSynthesis
TL_omegaQuantum.Synthesis.MultiQubitSynthesis
TL_omega_altQuantum.Synthesis.MultiQubitSynthesis
TL_TQuantum.Synthesis.MultiQubitSynthesis
TL_TiHTQuantum.Synthesis.MultiQubitSynthesis
TL_WQuantum.Synthesis.MultiQubitSynthesis
TL_XQuantum.Synthesis.MultiQubitSynthesis
ToCliffordQuantum.Synthesis.Clifford
ToDyadicQuantum.Synthesis.Ring
ToGatesQuantum.Synthesis.CliffordT
ToQOmegaQuantum.Synthesis.Ring
toQOmegaQuantum.Synthesis.Ring
ToRationalsQuantum.Synthesis.Ring
ToRealQuantum.Synthesis.SymReal
to_cliffordQuantum.Synthesis.Clifford
to_dyadicQuantum.Synthesis.Ring
to_gatesQuantum.Synthesis.CliffordT
to_realQuantum.Synthesis.SymReal
to_wholeQuantum.Synthesis.Ring
trQuantum.Synthesis.Matrix
transform_atQuantum.Synthesis.MultiQubitSynthesis
transform_at2Quantum.Synthesis.MultiQubitSynthesis
try_forQuantum.Synthesis.Newsynth
TwoQuantum.Synthesis.Matrix
TwoLevelQuantum.Synthesis.MultiQubitSynthesis
TwoLevelAltQuantum.Synthesis.MultiQubitSynthesis
twolevels_of_twolevelaltsQuantum.Synthesis.MultiQubitSynthesis
twolevel_matrixQuantum.Synthesis.MultiQubitSynthesis
twolevel_matrix_of_matrixQuantum.Synthesis.RotationDecomposition
U2Quantum.Synthesis.Matrix
u2_EQuantum.Synthesis.CliffordT
u2_HQuantum.Synthesis.CliffordT
u2_of_gateQuantum.Synthesis.CliffordT
u2_SQuantum.Synthesis.CliffordT
u2_TQuantum.Synthesis.CliffordT
u2_WQuantum.Synthesis.CliffordT
u2_XQuantum.Synthesis.CliffordT
u2_YQuantum.Synthesis.CliffordT
u2_ZQuantum.Synthesis.CliffordT
unary_funQuantum.Synthesis.SymReal
unary_opQuantum.Synthesis.SymReal
unMatrixQuantum.Synthesis.Matrix
unRationalsQuantum.Synthesis.Ring
VectorQuantum.Synthesis.Matrix
vectorQuantum.Synthesis.Matrix
vector_appendQuantum.Synthesis.Matrix
vector_enumQuantum.Synthesis.Matrix
vector_foldlQuantum.Synthesis.Matrix
vector_foldrQuantum.Synthesis.Matrix
vector_headQuantum.Synthesis.Matrix
vector_indexQuantum.Synthesis.Matrix
vector_lengthQuantum.Synthesis.Matrix
vector_mapQuantum.Synthesis.Matrix
vector_of_functionQuantum.Synthesis.Matrix
vector_repeatQuantum.Synthesis.Matrix
vector_sequenceQuantum.Synthesis.Matrix
vector_singletonQuantum.Synthesis.Matrix
vector_tailQuantum.Synthesis.Matrix
vector_transposeQuantum.Synthesis.Matrix
vector_zipwithQuantum.Synthesis.Matrix
WQuantum.Synthesis.CliffordT
WholePartQuantum.Synthesis.Ring
XQuantum.Synthesis.CliffordT
YQuantum.Synthesis.CliffordT
ZQuantum.Synthesis.CliffordT
Z2Quantum.Synthesis.Ring
ZComplexQuantum.Synthesis.Ring
Zero 
1 (Data Constructor)Quantum.Synthesis.Matrix
2 (Type/Class)Quantum.Synthesis.Matrix
ZOmegaQuantum.Synthesis.Ring
ZRootTwoQuantum.Synthesis.Ring
zroottwo_of_zomegaQuantum.Synthesis.Ring
zroottwo_rootQuantum.Synthesis.Newsynth
zrotQuantum.Synthesis.Matrix