完整名稱：Std.Arithmetic.LookAheadDKRSAddLE
operation LookAheadDKRSAddLE(xs : Qubit[], ys : Qubit[], zs : Qubit[]) : Unit is Adj
總結
使用 carry-lookahead 演算法，將零初始化的 little-endian register zs 設定為小端緩存器 xs 和 ys 的總和。
說明
Computes zs ：= xs + ys + zs[0] modulo 2ⁿ， 其中 xs、ys 和 zs 是小端緩存器，Length（xs） = Length（ys） ≤ Length（zs） = n，假設 zs 是 0 初始化，但可能 zs[0]除外，它可以在 |0> 或 |1> 狀態中，並可作為攜帶狀態。
注意：如果 zs[Length(xs)] 長度超過 zs，xs 就可以當做執行使用。
此作業會使用隨向外觀演算法。
參考文獻
- arXiv：quant-ph/0406142 “A對數深度量子攜帶-lookahead adder”， Thomas G. Draper， Samuel A. Kutin， Eric M. Rains， Krysta M. Svore