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