kill(all);

load("vect")$

a:1;

pLoA:[a,0,0];pLoB:[0,a,0];

v1:express(pLoA~pLoB);

pHiA:[a,0,a];pHiB:[0,a,a];

v2:express(pHiB~pHiA);

v1.v2;

acos(-1);

vLo:[0,0,1]; vHi:[-1,-1,1];

vLo.vHi;

acos(vLo.vHi);

[1,0,0]~[0,1,0];

v:express(%);

v;