v1 = [  3.0; 4.0 ];
v2 = [ -4.0; 3.0 ];
v3 = [  4.0; 4.0 ];
v4 = [  0.5; 0.866];
