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 |