Safe Haskell | None |
---|

This module provides an implementation of the addition circuit found in Thomas G. Draper's paper "Addition on a Quantum Computer".

# Documentation

qft_add_in_place :: QDInt -> QDInt -> Circ (QDInt, QDInt) Source #

Add one `QDInt`

onto a second, in place; i.e. (*x*,*y*) ↦ (*x*,*x*+*y*).
Arguments are assumed to be of equal size.
This implementation follows the implementation in Thomas G. Draper's
paper "Addition on a Quantum Computer" which doesn't require the use of any
ancilla qubits through a clever use of the Quantum Fourier Transform.