完整名稱：Std.Arithmetic.IncByLEUsingAddLE
operation IncByLEUsingAddLE(forwardAdder : ((Qubit[], Qubit[], Qubit[]) => Unit is Adj), backwardAdder : ((Qubit[], Qubit[], Qubit[]) => Unit is Adj), xs : Qubit[], ys : Qubit[]) : Unit is Adj + Ctl
總結
將兩個就地載入巨集轉換成一個就地載入巨集的一般作業
說明
此實作允許指定兩個不同的載入器，以往前和向後方向。 向前載入巨集一律會套用在其主體變體中，而向後載入巨集則一律會套用在其相鄰的變體中。 因此，例如，您可以使用向後方向的波紋執行就地載入器，不需要 T 閘道。
受控制的變體也會以控制新增器但所有專案的方式優化，
參考文獻
- arXiv：2012.01624 “Quantum block lookahead adders and the wait for magic states”， Craig Gidney.