Operação IncByLUsingIncByLE

Nome totalmente qualificado: Std.Arithmetic.IncByLUsingIncByLE

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

Resumo

Incrementa um registro little-endian ys por um número bigint c usando adder fornecido.

Descrição

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