Mariia Mykhailova

Mathematically, this is correct behavior. But our documentation for Reset and MResetZ promises "ensures that the qubit is returned to |0⟩", which is incorrect description of its actual effect. In...

In this particular example I'm more bothered by DumpMachine outputting |0> when there are no qubits allocated... I don't think we can say the phase is applied to a specific...

Is it that R(PauliI) is ignored unless it's controlled?

Sure, go ahead with the edits and/or splitting into separate subtasks. I think we need to change that behavior to have R(PauliI) act even if it's not controlled. It's super...

The next issue I notice is with R1 gate: it's supposed to introduce global phase only for |1⟩, but a global phase creeps in. use qs = Qubit[2]; H(qs[0]); R1(PI(),...

I'm still not sure what happens with the Controlled R1, since controlled variants of R1 gate should not introduce a global phase... I think we need to dig deeper into...

Sounds convincing :-) We'll need to include the examples I had in this thread in the tests to make sure they are processed correctly, and I'll report back if I...

In the teleportation sample (https://github.com/microsoft/qsharp/pull/1456) global phase shows up on the target qubit for teleporting |->, but bringing qubit allocation within the loop doesn't really help, since it occurs within...

I'm trying out release 1.6.0, and I think now $R_y$ is now $-I$ instead of $I$... ``` use q = Qubit(); Ry(0., q); DumpMachine(); ``` gives me state $-\ket{0}$, and...

The notebook sample is great for showing how to work with Q# only from a notebook, without Python. * It needs to be updated (or a new sample created) to...