Operazione M
Nome completo: Std.Intrinsic.M
operation M(qubit : Qubit) : Result
Sommario
Esegue una misura di un singolo qubit nella base Pauli
Immissione
qubit
Qubit da misurare.
Prodotto
Zero se viene osservato l'eigenovalore +1 e One se viene osservato il -1 eigenvalue.
Osservazioni
Il risultato dell'output viene fornito dalla distribuzione $$ \begin{align} \Pr(\texttt{Zero} | \ket{\psi}) = \braket{\psi | 0} \braket{0 | \psi}. \end{align} $$
Equivalente a:
Measure([PauliZ], [qubit]);