SmtC: Show me the Code!

< Operator Overload | Add | Subtract >

[;\underline{u}, \underline{v}, \underline{w} \in \mathbb{R}^n;]
[; u[i]=v[i]+w[i], \quad i \in R(n);]

Python Listing: Vector.2.py.

     #Binary: u=v+w
     def __add__(v,w):        
        u=Vector(v)
        for i in range(len(v)):
            u[i]+=w[i]
        return u

    #Unary: u+=v. Superflous?
    def __iadd__(v,w):
        return v+w

< Operator Overload | Add | Subtract >