title: Concise vector adding in Python?
body: <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>