
 
 Try the examples in this order.

 (You can compile the *.c files directly without create a project)


        vaF.c,     vaI.c  :        u + v = v + u          
        vbF.c,     vbI.c  :  (u + v) + w = u + (v + w)
        vcF.c,     vcI.c  :        0 + u = u + 0    = u        
        vdF.c,     vdI.c  :     u + (-u) = (-u) + u = 0          
        veF.c,     veI.c  :     k( u+ v) = ku + kv
        vfF.c,     vfI.c  :    (k + l) u = ku + lu
        vgF.c,     vgI.c  :       k (lu) = (kl) u
        

                   paI.c  :        p + q = p + q          
                   pbI.c  :  (p + q) + r = p + (q + r)
                   pcI.c  :        0 + p = p + 0    = p        
                   pdI.c  :     p + (-p) = (-p) + p = 0          
                   peI.c  :     k( p+ q) = kp + kq
                   pfI.c  :    (k + l) p = kp + lp
                   pgI.c  :       k (lp) = (kl) p

                                           
