newsynth-0.4.0.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
actionQuantum.Synthesis.GridProblems
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
biasQuantum.Synthesis.GridProblems
binary_funQuantum.Synthesis.SymReal
binary_opQuantum.Synthesis.SymReal
boundingboxQuantum.Synthesis.GridProblems
boundingbox_ellipseQuantum.Synthesis.GridProblems
CDoubleQuantum.Synthesis.Ring
ceiling_ofQuantum.Synthesis.Ring
CFloatQuantum.Synthesis.Ring
CharFunQuantum.Synthesis.GridProblems
charfun_transformQuantum.Synthesis.GridProblems
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
ConvexSet 
1 (Type/Class)Quantum.Synthesis.GridProblems
2 (Data Constructor)Quantum.Synthesis.GridProblems
convex_transformQuantum.Synthesis.GridProblems
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
detQuantum.Synthesis.GridProblems
diophantineQuantum.Synthesis.Diophantine
diophantine_associateQuantum.Synthesis.Diophantine
diophantine_dyadicQuantum.Synthesis.Diophantine
diskQuantum.Synthesis.GridProblems
DivQuantum.Synthesis.SymReal
divergeQuantum.Synthesis.StepComp
divmodQuantum.Synthesis.EuclideanDomain
div_termQuantum.Synthesis.SymReal
DOmegaQuantum.Synthesis.Ring
DoneQuantum.Synthesis.StepComp
DRComplexQuantum.Synthesis.Ring
DRootTwoQuantum.Synthesis.Ring
DStatusQuantum.Synthesis.GridSynth
Dyadic 
1 (Type/Class)Quantum.Synthesis.Ring
2 (Data Constructor)Quantum.Synthesis.Ring
dynamic_fixedprec 
1 (Function)Quantum.Synthesis.SymReal
2 (Function)Quantum.Synthesis.ToReal
dynamic_fixedprec2 
1 (Function)Quantum.Synthesis.SymReal
2 (Function)Quantum.Synthesis.ToReal
EQuantum.Synthesis.CliffordT
EightQuantum.Synthesis.Matrix
ElementaryRotQuantum.Synthesis.RotationDecomposition
Ellipse 
1 (Type/Class)Quantum.Synthesis.GridProblems
2 (Data Constructor)Quantum.Synthesis.GridProblems
ellipse_transformQuantum.Synthesis.GridProblems
epsilon_regionQuantum.Synthesis.GridSynth
epsilon_region_scaledQuantum.Synthesis.GridSynth
ERot_phaseQuantum.Synthesis.RotationDecomposition
ERot_zxQuantum.Synthesis.RotationDecomposition
EuclideanDomainQuantum.Synthesis.EuclideanDomain
euclid_associatesQuantum.Synthesis.EuclideanDomain
euclid_divQuantum.Synthesis.EuclideanDomain
euclid_dividesQuantum.Synthesis.EuclideanDomain
euclid_extract_powerQuantum.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
FailQuantum.Synthesis.GridSynth
fatten_intervalQuantum.Synthesis.GridProblems
find_factorQuantum.Synthesis.Diophantine
firstQuantum.Synthesis.GridSynth
FiveQuantum.Synthesis.Matrix
floatQuantum.Synthesis.SymReal
FloorQuantum.Synthesis.Ring
floorlogQuantum.Synthesis.GridProblems
floor_ofQuantum.Synthesis.Ring
forwardQuantum.Synthesis.StepComp
FourQuantum.Synthesis.Matrix
fromDComplexQuantum.Synthesis.Ring
fromDOmegaQuantum.Synthesis.Ring
fromDRComplexQuantum.Synthesis.Ring
fromDRootTwoQuantum.Synthesis.Ring
fromDyadicQuantum.Synthesis.Ring
FromGatesQuantum.Synthesis.CliffordT
fromNNatQuantum.Synthesis.Matrix
fromOperatorQuantum.Synthesis.GridProblems
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
get_resultQuantum.Synthesis.StepComp
gridpointsQuantum.Synthesis.GridProblems
gridpoints2Quantum.Synthesis.GridProblems
gridpoints2_increasingQuantum.Synthesis.GridProblems
gridpoints2_increasing_with_gridopQuantum.Synthesis.GridProblems
gridpoints2_scaledQuantum.Synthesis.GridProblems
gridpoints2_scaled_with_gridopQuantum.Synthesis.GridProblems
gridpoints_internalQuantum.Synthesis.GridProblems
gridpoints_parityQuantum.Synthesis.GridProblems
gridpoints_scaledQuantum.Synthesis.GridProblems
gridpoints_scaled_parityQuantum.Synthesis.GridProblems
gridpoint_randomQuantum.Synthesis.GridProblems
gridpoint_random_parityQuantum.Synthesis.GridProblems
gridsynthQuantum.Synthesis.GridSynth
gridsynth_gatesQuantum.Synthesis.GridSynth
gridsynth_internalQuantum.Synthesis.GridSynth
gridsynth_phase_internalQuantum.Synthesis.GridSynth
gridsynth_phase_statsQuantum.Synthesis.GridSynth
gridsynth_statsQuantum.Synthesis.GridSynth
HQuantum.Synthesis.CliffordT
halfQuantum.Synthesis.Ring
HalfRingQuantum.Synthesis.Ring
hibitQuantum.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
iprodQuantum.Synthesis.GridProblems
is_doneQuantum.Synthesis.StepComp
is_unitQuantum.Synthesis.EuclideanDomain
lambdaQuantum.Synthesis.GridProblems
lambdapowerQuantum.Synthesis.GridProblems
lambda_invQuantum.Synthesis.GridProblems
lemma_AQuantum.Synthesis.GridProblems
lemma_A_l2Quantum.Synthesis.GridProblems
lemma_BQuantum.Synthesis.GridProblems
lemma_B_l2Quantum.Synthesis.GridProblems
LineIntersectorQuantum.Synthesis.GridProblems
lineintersector_transformQuantum.Synthesis.GridProblems
list_insertQuantum.Synthesis.MultiQubitSynthesis
list_of_vectorQuantum.Synthesis.Matrix
list_pairsQuantum.Synthesis.MultiQubitSynthesis
lobitQuantum.Synthesis.Ring
LogQuantum.Synthesis.SymReal
log2Quantum.Synthesis.Ring
logBase_doubleQuantum.Synthesis.GridProblems
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
mergeByQuantum.Synthesis.GridSynth
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
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
opAQuantum.Synthesis.GridProblems
opA_invQuantum.Synthesis.GridProblems
opA_powerQuantum.Synthesis.GridProblems
opBQuantum.Synthesis.GridProblems
opB_invQuantum.Synthesis.GridProblems
opB_powerQuantum.Synthesis.GridProblems
OperatorQuantum.Synthesis.GridProblems
OperatorPairQuantum.Synthesis.GridProblems
operator_from_bzQuantum.Synthesis.GridProblems
operator_skewQuantum.Synthesis.GridProblems
operator_to_bl2zQuantum.Synthesis.GridProblems
operator_to_bzQuantum.Synthesis.GridProblems
opH_zomegaQuantum.Synthesis.MultiQubitSynthesis
opKQuantum.Synthesis.GridProblems
oplusQuantum.Synthesis.Matrix
opRQuantum.Synthesis.GridProblems
opSQuantum.Synthesis.GridProblems
opS_invQuantum.Synthesis.GridProblems
opS_powerQuantum.Synthesis.GridProblems
opXQuantum.Synthesis.GridProblems
opX_zomegaQuantum.Synthesis.MultiQubitSynthesis
opZQuantum.Synthesis.GridProblems
op_fromDRootTwoQuantum.Synthesis.GridProblems
parallelQuantum.Synthesis.StepComp
parallel_firstQuantum.Synthesis.StepComp
parallel_list_maybeQuantum.Synthesis.StepComp
parallel_maybeQuantum.Synthesis.StepComp
parenthesizedQuantum.Synthesis.SymReal
ParityQuantum.Synthesis.Ring
parityQuantum.Synthesis.Ring
parse_SymRealQuantum.Synthesis.SymReal
PhaseQuantum.Synthesis.GridSynth
Phase0Quantum.Synthesis.GridSynth
Phase1Quantum.Synthesis.GridSynth
PiQuantum.Synthesis.SymReal
Plus 
1 (Type/Class)Quantum.Synthesis.Matrix
2 (Data Constructor)Quantum.Synthesis.SymReal
plus_termQuantum.Synthesis.SymReal
PointQuantum.Synthesis.GridProblems
point_fromDRootTwoQuantum.Synthesis.GridProblems
point_subQuantum.Synthesis.GridProblems
point_transformQuantum.Synthesis.GridProblems
positiveQuantum.Synthesis.SymReal
PowerQuantum.Synthesis.SymReal
power_modQuantum.Synthesis.Diophantine
power_termQuantum.Synthesis.SymReal
QComplexQuantum.Synthesis.Ring
QOmegaQuantum.Synthesis.Ring
QRComplexQuantum.Synthesis.Ring
QRootTwoQuantum.Synthesis.Ring
QuadraticQuantum.Synthesis.QuadraticEquation
quadraticQuantum.Synthesis.QuadraticEquation
random_unitaryQuantum.Synthesis.RotationDecomposition
rankQuantum.Synthesis.EuclideanDomain
RationalsQuantum.Synthesis.Ring
realQuantum.Synthesis.Ring
RealPartQuantum.Synthesis.Ring
RecipQuantum.Synthesis.SymReal
rectangleQuantum.Synthesis.GridProblems
reduce_columnQuantum.Synthesis.MultiQubitSynthesis
reduce_column_altQuantum.Synthesis.MultiQubitSynthesis
reduce_ZOmegaQuantum.Synthesis.MultiQubitSynthesis
reducibleQuantum.Synthesis.MultiQubitSynthesis
reductionQuantum.Synthesis.GridProblems
relatively_prime_factorsQuantum.Synthesis.Diophantine
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_modQuantum.Synthesis.Diophantine
root_of_negative_oneQuantum.Synthesis.Diophantine
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
runQuantum.Synthesis.StepComp
run_boundedQuantum.Synthesis.StepComp
run_with_stepsQuantum.Synthesis.StepComp
SQuantum.Synthesis.CliffordT
SApp_HTQuantum.Synthesis.CliffordT
SApp_SHTQuantum.Synthesis.CliffordT
scalardivQuantum.Synthesis.Matrix
scalarmultQuantum.Synthesis.Matrix
SevenQuantum.Synthesis.Matrix
shift_sigmaQuantum.Synthesis.GridProblems
shift_stateQuantum.Synthesis.GridProblems
shift_tauQuantum.Synthesis.GridProblems
ShowLaTeXQuantum.Synthesis.LaTeX
showlatexQuantum.Synthesis.LaTeX
showlatex_denomexp_pQuantum.Synthesis.LaTeX
showlatex_pQuantum.Synthesis.LaTeX
showsPrec_DenomExpQuantum.Synthesis.Ring
showsPrec_rationalQuantum.Synthesis.Ring
signpowerQuantum.Synthesis.GridProblems
SignumQuantum.Synthesis.SymReal
SinQuantum.Synthesis.SymReal
SinhQuantum.Synthesis.SymReal
SixQuantum.Synthesis.Matrix
skewQuantum.Synthesis.GridProblems
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
special_inverseQuantum.Synthesis.GridProblems
speedupQuantum.Synthesis.StepComp
SqrtQuantum.Synthesis.SymReal
stack_horizontalQuantum.Synthesis.Matrix
stack_verticalQuantum.Synthesis.Matrix
StepCompQuantum.Synthesis.StepComp
step_lemmaQuantum.Synthesis.GridProblems
subtaskQuantum.Synthesis.StepComp
Succ 
1 (Data Constructor)Quantum.Synthesis.Matrix
2 (Type/Class)Quantum.Synthesis.Matrix
SuccessQuantum.Synthesis.GridSynth
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
TickQuantum.Synthesis.StepComp
tickQuantum.Synthesis.StepComp
TimeoutQuantum.Synthesis.GridSynth
Times 
1 (Type/Class)Quantum.Synthesis.Matrix
2 (Data Constructor)Quantum.Synthesis.SymReal
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
toOperatorQuantum.Synthesis.GridProblems
ToQOmegaQuantum.Synthesis.Ring
toQOmegaQuantum.Synthesis.Ring
ToRationalsQuantum.Synthesis.Ring
ToReal 
1 (Type/Class)Quantum.Synthesis.SymReal
2 (Type/Class)Quantum.Synthesis.ToReal
to_cliffordQuantum.Synthesis.Clifford
to_dyadicQuantum.Synthesis.Ring
to_gatesQuantum.Synthesis.CliffordT
to_real 
1 (Function)Quantum.Synthesis.SymReal
2 (Function)Quantum.Synthesis.ToReal
to_uprightQuantum.Synthesis.GridProblems
to_upright_setsQuantum.Synthesis.GridProblems
to_wholeQuantum.Synthesis.Ring
trQuantum.Synthesis.Matrix
transform_atQuantum.Synthesis.MultiQubitSynthesis
transform_at2Quantum.Synthesis.MultiQubitSynthesis
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
unitdiskQuantum.Synthesis.GridProblems
unMatrixQuantum.Synthesis.Matrix
unRationalsQuantum.Synthesis.Ring
untickQuantum.Synthesis.StepComp
uprightnessQuantum.Synthesis.GridProblems
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
withinQuantum.Synthesis.GridProblems
with_counterQuantum.Synthesis.StepComp
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.Ring
zrotQuantum.Synthesis.Matrix