1
(if get('atensor,'version)=false then load(atensor),done);
3
init_atensor(clifford);
9
init_atensor(symplectic);
14
-2*u*af(v,w)-2*v*af(u,w)+u.v.w;
15
init_atensor(clifford,3);
21
init_atensor(quaternion);
26
matrix([-1,0],[0,-1]);
31
atensimp((v[1].v[2]).(v[1].v[2]));
33
init_atensor(lie_envelop);
37
atensimp(lbr(u,lbr(v,w)))+atensimp(lbr(v,lbr(w,u)))+atensimp(lbr(w,lbr(u,v)));