ArrLattice(A: LIST): LIST of LIST
/**/ use QQ[x,y]; /**/ A := [x, x-y, y]; /**/ ArrLattice(A); [[1, 2], [1, 3], [1, 4], [2, 5], [3, 5], [4, 5]]