Mathias Soeken

# Simple and consistent arithmetic API ## Abstract and conceptual overview The proposal introduces * simple names for common arithmetic operations * additional operations where currently only one is available...

Function to perform operation controlled on truth table

1

I'd like to discuss API design for a function that controls an operation based on a Boolean function represented by a truth table, similar to the functions `ControlledOnInt` and `ControlledOnBitString`....

Quantum addition using ApplyAnd

2

**Describe the solution you'd like** A ripple-carry adder using the `ApplyAnd` or `ApplyLowDepthAnd` operations as described in Fig. 1 in [Halving the cost of quantum addition](https://arxiv.org/abs/1709.06648). **Describe alternatives you've considered**...

**Describe the solution you'd like** A Q# library operation that implements the quantum circuits in Fig. 4 and Fig. 5 in [A 2D Nearest-Neighbor Quantum Architecture for Factoring in Polylogarithmic...

**Is your feature request related to a problem? Please describe.** I have created an internal function `IntegerBits` in the implementation of `Microsoft.Quantum.Synthesis.ApplyPermutationUsingTransformation`, which might be useful for other algorithms as...

Remove llvm-ar from cgmanifest

2

In #556 llvm-ar was removed, but it wasn't removed from this file.

Consistent feedback when unreleased qubits are accessed

1

**Please describe what you would like the feature to accomplish.** Qubits are deallocated when the scope of the corresponding `use` statement is closed. When *dangling* qubits are returned, various errors...

Warning when too many qubits are allocated in QuantumSimulator

1

**Please describe what you would like the feature to accomplish.** When allocating too many qubits using `QuantumSimulator`, the program allocates a lot of memory is blocked for a long time....

## Describe the bug `SparseSimulator` does not throw on releasing qubits in non-zero state, whereas `QuantumSimulator` and `ToffoliSimulator` do. ## To Reproduce Program.qs: ```qsharp namespace Project { open Microsoft.Quantum.Intrinsic; @EntryPoint()...

It would be convenient to have a method `is_reversible` in `gate_base` which returns true for reversible gates, whose unitary operation is a permutation matrix.