It turns out, Aaronson's original implementation of stabilizer tableau seems to freely factor out non-observable global phase offset. (Why wouldn't it?) However, we need to track global phase offset as non-arbitrary for QBdt attachment. (This PR makes test_cfulladd and tests for related adder circuits pass, for example.)
It turns out, Aaronson's original implementation of stabilizer tableau seems to freely factor out non-observable global phase offset. (Why wouldn't it?) However, we need to track global phase offset as non-arbitrary for
QBdtattachment. (This PR makestest_cfulladdand tests for related adder circuits pass, for example.)