Operação M
Nome totalmente qualificado: Std.Intrinsic.M
operation M(qubit : Qubit) : Result
Resumo
Executa uma medição de um único qubit na base de do Pauli
Entrada
qubit
Qubit a ser medido.
Saída
Zero se o +1 eigenvalue for observado e One se o -1 eigenvalue for observado.
Observações
O resultado da saída é dado pela distribuição $$ \begin{align} \Pr(\texttt{Zero} | \ket{\psi}) = \braket{\psi | 0} \braket{0 | \psi}. \end{align} $$
Equivalente a:
Measure([PauliZ], [qubit]);