*
* Rechnernutzung in der Physik
* WS 11/12
*
* Pauli-Matrizen
*

functions s;
index i,j,k;

local f = ( s(1)*s(2) + s(1) + s(2) + s(3) )^4;

print;
.sort

repeat;
  id s(2)*s(1) = - s(1)*s(2);
  id s(3)*s(1) = - s(1)*s(3);
  id s(3)*s(2) = - s(2)*s(3);
  id s(i?)^2 = 1;
  id s(1)*s(2) = i_*s(3);
  id s(2)*s(3) = i_*s(1);
  id s(1)*s(3) = -i_*s(2);
endrepeat;
.sort

print;
.end