.*. | Quantum.Synthesis.Matrix |
.+. | Quantum.Synthesis.Matrix |
.-. | Quantum.Synthesis.Matrix |
Abs | Quantum.Synthesis.SymReal |
ACos | Quantum.Synthesis.SymReal |
ACosh | Quantum.Synthesis.SymReal |
action | Quantum.Synthesis.GridProblems |
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 |
bias | Quantum.Synthesis.GridProblems |
binary_fun | Quantum.Synthesis.SymReal |
binary_op | Quantum.Synthesis.SymReal |
boundingbox | Quantum.Synthesis.GridProblems |
boundingbox_ellipse | Quantum.Synthesis.GridProblems |
CDouble | Quantum.Synthesis.Ring |
ceiling_of | Quantum.Synthesis.Ring |
CFloat | Quantum.Synthesis.Ring |
CharFun | Quantum.Synthesis.GridProblems |
charfun_transform | Quantum.Synthesis.GridProblems |
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 |
ConvexSet | |
1 (Type/Class) | Quantum.Synthesis.GridProblems |
2 (Data Constructor) | Quantum.Synthesis.GridProblems |
convex_transform | Quantum.Synthesis.GridProblems |
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 |
det | Quantum.Synthesis.GridProblems |
diophantine | Quantum.Synthesis.Diophantine |
diophantine_associate | Quantum.Synthesis.Diophantine |
diophantine_dyadic | Quantum.Synthesis.Diophantine |
disk | Quantum.Synthesis.GridProblems |
Div | Quantum.Synthesis.SymReal |
diverge | Quantum.Synthesis.StepComp |
divmod | Quantum.Synthesis.EuclideanDomain |
div_term | Quantum.Synthesis.SymReal |
DOmega | Quantum.Synthesis.Ring |
Done | Quantum.Synthesis.StepComp |
DRComplex | Quantum.Synthesis.Ring |
DRootTwo | Quantum.Synthesis.Ring |
DStatus | Quantum.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 |
E | Quantum.Synthesis.CliffordT |
Eight | Quantum.Synthesis.Matrix |
ElementaryRot | Quantum.Synthesis.RotationDecomposition |
Ellipse | |
1 (Type/Class) | Quantum.Synthesis.GridProblems |
2 (Data Constructor) | Quantum.Synthesis.GridProblems |
ellipse_transform | Quantum.Synthesis.GridProblems |
epsilon_region | Quantum.Synthesis.GridSynth |
epsilon_region_scaled | Quantum.Synthesis.GridSynth |
ERot_phase | Quantum.Synthesis.RotationDecomposition |
ERot_zx | Quantum.Synthesis.RotationDecomposition |
EuclideanDomain | Quantum.Synthesis.EuclideanDomain |
euclid_associates | Quantum.Synthesis.EuclideanDomain |
euclid_div | Quantum.Synthesis.EuclideanDomain |
euclid_divides | Quantum.Synthesis.EuclideanDomain |
euclid_extract_power | 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 |
Fail | Quantum.Synthesis.GridSynth |
fatten_interval | Quantum.Synthesis.GridProblems |
find_factor | Quantum.Synthesis.Diophantine |
first | Quantum.Synthesis.GridSynth |
Five | Quantum.Synthesis.Matrix |
float | Quantum.Synthesis.SymReal |
Floor | Quantum.Synthesis.Ring |
floorlog | Quantum.Synthesis.GridProblems |
floor_of | Quantum.Synthesis.Ring |
forward | Quantum.Synthesis.StepComp |
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 |
fromOperator | Quantum.Synthesis.GridProblems |
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 |
get_result | Quantum.Synthesis.StepComp |
gridpoints | Quantum.Synthesis.GridProblems |
gridpoints2 | Quantum.Synthesis.GridProblems |
gridpoints2_increasing | Quantum.Synthesis.GridProblems |
gridpoints2_increasing_with_gridop | Quantum.Synthesis.GridProblems |
gridpoints2_scaled | Quantum.Synthesis.GridProblems |
gridpoints2_scaled_with_gridop | Quantum.Synthesis.GridProblems |
gridpoints_internal | Quantum.Synthesis.GridProblems |
gridpoints_parity | Quantum.Synthesis.GridProblems |
gridpoints_scaled | Quantum.Synthesis.GridProblems |
gridpoints_scaled_parity | Quantum.Synthesis.GridProblems |
gridpoint_random | Quantum.Synthesis.GridProblems |
gridpoint_random_parity | Quantum.Synthesis.GridProblems |
gridsynth | Quantum.Synthesis.GridSynth |
gridsynth_gates | Quantum.Synthesis.GridSynth |
gridsynth_internal | Quantum.Synthesis.GridSynth |
gridsynth_phase_internal | Quantum.Synthesis.GridSynth |
gridsynth_phase_stats | Quantum.Synthesis.GridSynth |
gridsynth_stats | Quantum.Synthesis.GridSynth |
H | Quantum.Synthesis.CliffordT |
half | Quantum.Synthesis.Ring |
HalfRing | Quantum.Synthesis.Ring |
hibit | 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 |
iprod | Quantum.Synthesis.GridProblems |
is_done | Quantum.Synthesis.StepComp |
is_unit | Quantum.Synthesis.EuclideanDomain |
lambda | Quantum.Synthesis.GridProblems |
lambdapower | Quantum.Synthesis.GridProblems |
lambda_inv | Quantum.Synthesis.GridProblems |
lemma_A | Quantum.Synthesis.GridProblems |
lemma_A_l2 | Quantum.Synthesis.GridProblems |
lemma_B | Quantum.Synthesis.GridProblems |
lemma_B_l2 | Quantum.Synthesis.GridProblems |
LineIntersector | Quantum.Synthesis.GridProblems |
lineintersector_transform | Quantum.Synthesis.GridProblems |
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 |
logBase_double | Quantum.Synthesis.GridProblems |
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 |
mergeBy | Quantum.Synthesis.GridSynth |
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 |
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 |
opA | Quantum.Synthesis.GridProblems |
opA_inv | Quantum.Synthesis.GridProblems |
opA_power | Quantum.Synthesis.GridProblems |
opB | Quantum.Synthesis.GridProblems |
opB_inv | Quantum.Synthesis.GridProblems |
opB_power | Quantum.Synthesis.GridProblems |
Operator | Quantum.Synthesis.GridProblems |
OperatorPair | Quantum.Synthesis.GridProblems |
operator_from_bz | Quantum.Synthesis.GridProblems |
operator_skew | Quantum.Synthesis.GridProblems |
operator_to_bl2z | Quantum.Synthesis.GridProblems |
operator_to_bz | Quantum.Synthesis.GridProblems |
opH_zomega | Quantum.Synthesis.MultiQubitSynthesis |
opK | Quantum.Synthesis.GridProblems |
oplus | Quantum.Synthesis.Matrix |
opR | Quantum.Synthesis.GridProblems |
opS | Quantum.Synthesis.GridProblems |
opS_inv | Quantum.Synthesis.GridProblems |
opS_power | Quantum.Synthesis.GridProblems |
opX | Quantum.Synthesis.GridProblems |
opX_zomega | Quantum.Synthesis.MultiQubitSynthesis |
opZ | Quantum.Synthesis.GridProblems |
op_fromDRootTwo | Quantum.Synthesis.GridProblems |
parallel | Quantum.Synthesis.StepComp |
parallel_first | Quantum.Synthesis.StepComp |
parallel_list_maybe | Quantum.Synthesis.StepComp |
parallel_maybe | Quantum.Synthesis.StepComp |
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 |
Point | Quantum.Synthesis.GridProblems |
point_fromDRootTwo | Quantum.Synthesis.GridProblems |
point_sub | Quantum.Synthesis.GridProblems |
point_transform | Quantum.Synthesis.GridProblems |
positive | Quantum.Synthesis.SymReal |
Power | Quantum.Synthesis.SymReal |
power_mod | Quantum.Synthesis.Diophantine |
power_term | Quantum.Synthesis.SymReal |
QComplex | Quantum.Synthesis.Ring |
QOmega | Quantum.Synthesis.Ring |
QRComplex | Quantum.Synthesis.Ring |
QRootTwo | Quantum.Synthesis.Ring |
Quadratic | Quantum.Synthesis.QuadraticEquation |
quadratic | Quantum.Synthesis.QuadraticEquation |
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 |
rectangle | Quantum.Synthesis.GridProblems |
reduce_column | Quantum.Synthesis.MultiQubitSynthesis |
reduce_column_alt | Quantum.Synthesis.MultiQubitSynthesis |
reduce_ZOmega | Quantum.Synthesis.MultiQubitSynthesis |
reducible | Quantum.Synthesis.MultiQubitSynthesis |
reduction | Quantum.Synthesis.GridProblems |
relatively_prime_factors | Quantum.Synthesis.Diophantine |
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_mod | Quantum.Synthesis.Diophantine |
root_of_negative_one | Quantum.Synthesis.Diophantine |
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 |
run | Quantum.Synthesis.StepComp |
run_bounded | Quantum.Synthesis.StepComp |
run_with_steps | Quantum.Synthesis.StepComp |
S | Quantum.Synthesis.CliffordT |
SApp_HT | Quantum.Synthesis.CliffordT |
SApp_SHT | Quantum.Synthesis.CliffordT |
scalardiv | Quantum.Synthesis.Matrix |
scalarmult | Quantum.Synthesis.Matrix |
Seven | Quantum.Synthesis.Matrix |
shift_sigma | Quantum.Synthesis.GridProblems |
shift_state | Quantum.Synthesis.GridProblems |
shift_tau | Quantum.Synthesis.GridProblems |
ShowLaTeX | Quantum.Synthesis.LaTeX |
showlatex | Quantum.Synthesis.LaTeX |
showlatex_denomexp_p | Quantum.Synthesis.LaTeX |
showlatex_p | Quantum.Synthesis.LaTeX |
showsPrec_DenomExp | Quantum.Synthesis.Ring |
showsPrec_rational | Quantum.Synthesis.Ring |
signpower | Quantum.Synthesis.GridProblems |
Signum | Quantum.Synthesis.SymReal |
Sin | Quantum.Synthesis.SymReal |
Sinh | Quantum.Synthesis.SymReal |
Six | Quantum.Synthesis.Matrix |
skew | Quantum.Synthesis.GridProblems |
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 |
special_inverse | Quantum.Synthesis.GridProblems |
speedup | Quantum.Synthesis.StepComp |
Sqrt | Quantum.Synthesis.SymReal |
stack_horizontal | Quantum.Synthesis.Matrix |
stack_vertical | Quantum.Synthesis.Matrix |
StepComp | Quantum.Synthesis.StepComp |
step_lemma | Quantum.Synthesis.GridProblems |
subtask | Quantum.Synthesis.StepComp |
Succ | |
1 (Data Constructor) | Quantum.Synthesis.Matrix |
2 (Type/Class) | Quantum.Synthesis.Matrix |
Success | Quantum.Synthesis.GridSynth |
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 |
Tick | Quantum.Synthesis.StepComp |
tick | Quantum.Synthesis.StepComp |
Timeout | Quantum.Synthesis.GridSynth |
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 |
toOperator | Quantum.Synthesis.GridProblems |
ToQOmega | Quantum.Synthesis.Ring |
toQOmega | Quantum.Synthesis.Ring |
ToRationals | Quantum.Synthesis.Ring |
ToReal | |
1 (Type/Class) | Quantum.Synthesis.SymReal |
2 (Type/Class) | Quantum.Synthesis.ToReal |
to_clifford | Quantum.Synthesis.Clifford |
to_dyadic | Quantum.Synthesis.Ring |
to_gates | Quantum.Synthesis.CliffordT |
to_real | |
1 (Function) | Quantum.Synthesis.SymReal |
2 (Function) | Quantum.Synthesis.ToReal |
to_upright | Quantum.Synthesis.GridProblems |
to_upright_sets | Quantum.Synthesis.GridProblems |
to_whole | Quantum.Synthesis.Ring |
tr | Quantum.Synthesis.Matrix |
transform_at | Quantum.Synthesis.MultiQubitSynthesis |
transform_at2 | Quantum.Synthesis.MultiQubitSynthesis |
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 |
unitdisk | Quantum.Synthesis.GridProblems |
unMatrix | Quantum.Synthesis.Matrix |
unRationals | Quantum.Synthesis.Ring |
untick | Quantum.Synthesis.StepComp |
uprightness | Quantum.Synthesis.GridProblems |
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 |
within | Quantum.Synthesis.GridProblems |
with_counter | Quantum.Synthesis.StepComp |
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.Ring |
zrot | Quantum.Synthesis.Matrix |