完全限定的名称：Std.Arithmetic.RippleCarryCGAddLE
operation RippleCarryCGAddLE(xs : Qubit[], ys : Qubit[], zs : Qubit[]) : Unit is Adj
摘要
使用波纹携带算法将零初始化的 little-endian 寄存器 zs 设置为 little-endian 寄存器 xs 和 ys 的总和。
说明
计算 zs ：= xs + ys + zs[0] modulo 2ⁿ，其中 xs、ys 和 zs 是小端寄存器，Length（xs） = Length（ys） ≤ Length（ys） = n，假设 zs 是 0 初始化的，但可能为 zs[0]，此作可以使用波纹携带算法。
注意：如果 zs[Length(xs)] 超过 zs，则可以将 xs 用作执行。
参考文献
- arXiv：1709.06648“减半量子添加成本”，克雷格·吉德尼。