IncByLEUsingAddLE作

完全限定的名称：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“量子块看头加法器和等待魔术状态”，克雷格·吉德尼。