next up previous contents
Next: Conversion between Stream Representations Up: Useful Properties Previous: Relationship between `cons' and

Properties of average

It is also useful to observe the following properties of average.

\begin{displaymath}
\begin{array}
{rcll}
x \oplus x & = & x & \quad \textrm{Idem...
 ...(a \oplus y) & \quad \textrm{Self Distributivity}\ \end{array}\end{displaymath}

Notice that average is not associative:

\begin{displaymath}
x \oplus (y \oplus z) \neq (x \oplus y) \oplus z\end{displaymath}



Martin Escardo
5/11/2000