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