完整名稱：Std.Arithmetic.RippleCarryTTKIncByLE
operation RippleCarryTTKIncByLE(xs : Qubit[], ys : Qubit[]) : Unit is Adj + Ctl
總結
可逆的就地波紋帶加兩個整數。
說明
計算 ys += xs 模數 2ⁿ，其中 xs 和 ys 是小尾緩存器，而 Length（xs） ≤ Length（ys） = n。 此作業會使用波紋攜帶演算法。 請注意，如果 Length（ys） >= Length（xs）+2，xs 會以 0 初始化的量子位填補，以符合 ys 的長度。 否則作業不會使用任何輔助量子位。
參考資料
- arXiv：0910.2530“量子加電電路與未系結的扇出”，高橋一郎，Seiichiro Tani，Noboru Kunihiro