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