Opération M
Nom complet : Std.Intrinsic.M
operation M(qubit : Qubit) : Result
Résumé
Effectue une mesure d’un qubit unique dans la base de pauli Z.
Entrée
qubit
Qubit à mesurer.
Sortie
Zero
si la valeur propre +1 est observée et One
si la valeur propre -1 est observée.
Remarques
Le résultat de sortie est donné par la distribution $$ \begin{align} \Pr(\texttt{Zero} | \ket{\psi}) = \braket{\psi | 0} \braket{0 | \psi}. \end{align} $$
Équivalent à :
Measure([PauliZ], [qubit]);