Operação IncByIUsingIncByLE

Nome totalmente qualificado: Std.Arithmetic.IncByIUsingIncByLE

operation IncByIUsingIncByLE(adder : ((Qubit[], Qubit[]) => Unit is Adj + Ctl), c : Int, ys : Qubit[]) : Unit is Adj + Ctl

Resumo

Incrementa um pequeno registro de endian ys por um número int c usando adder fornecido.

Descrição

Computa ys += c modulo 2ⁿ, onde ys é um pequeno registro endiano Length(ys) = n > 0, c é um número Int, 0 ≤ c < 2ⁿ.