Procedural First formalize implements Welded Tree list pairs qubits generates ancilla scratch-space twoqubit each pairs followed series doubly controlled NOT-gates acting ancilla middle gate eiZt reverse order ancilla longer needed
Procedural First formalize implements Welded Tree list pairs qubits generates ancilla scratch-space twoqubit each pairs followed series doubly controlled NOT-gates acting ancilla middle gate eiZt reverse order ancilla longer needed