ArrShiA(S: RING, k: INT): LIST
/**/ use S::=QQ[x,y,z]; /**/ ArrShiA(S, 3); [x -y, x -z, y -z, x -y -1, x -z -1, y -z -1]