input_case nil$ load_package atensor; tensor R; tsym R(a,b,c,d)+R(b,a,c,d),R(a,b,c,d)+R(a,b,d,c), R(a,b,c,d)+R(a,c,d,b)+R(a,d,b,c); R(a,b,c,d)-R(c,d,a,b); end;