next up previous contents
Next: Multiplication of a stream Up: Auxiliary operations Previous: Auxiliary operations

Negation

Negation of a signed binary stream is achieved by simply negating each individual digit in the stream. If $\llbracket x \rrbracket=\sum_{i=1}^\infty
\frac{d_i}{2^i}$:

\begin{displaymath}
-\llbracket x \rrbracket = - \sum_{i=1}^\infty \frac{d_i}{2^i} = \sum_{i=1}^\infty \frac{-d_i}{2^i}\end{displaymath}



Martin Escardo
5/11/2000