Concise vector adding in Python?
<p>I often do vector addition of Python lists.</p>

<p>Example: I have two lists like these:</p>

<pre><code>a = [0.0, 1.0, 2.0]
b = [3.0, 4.0, 5.0]
</code></pre>

<p>I now want to add b to a to get the result <code>a = [3.0, 5.0, 7.0]</code>.</p>

<p>Usually I end up doing like this:</p>

<pre><code>a[0] += b[0]
a[1] += b[1]
a[2] += b[2]
</code></pre>

<p>Is there some efficient, standard way to do this with less typing?</p>

<p>UPDATE: It can be assumed that the lists are of length 3 and contain floats.</p>
