Operação AddLE

Nome totalmente qualificado: Std.Arithmetic.AddLE

operation AddLE(xs : Qubit[], ys : Qubit[], zs : Qubit[]) : Unit is Adj

Resumo

Define um registro little-endian inicializado zero zs para a soma dos registros little-endian xs e ys

Descrição

Calcula zs := xs + ys modulo 2ⁿ, onde xs, ys e zs são registros little-endian, Length(xs) = Length(ys) ≤ Length(zs) = n, assumindo que zs é 0-inicializado. NOTA: Use operações como RippleCarryCGAddLE diretamente se a escolha da implementação for importante.