Shouldn't it be
```
if (vec1 == 0) or (vec2 == 0):
    return Vector([]) # or S(0)?
```