Computes list of ND neighbors in border of OO
Computes the list of next-door neighbors in the border of OO. The input is a list of terms OO (2nd element of type POLY). The output is a list of triples [i,j,k] s.t. b_i = x_k * b_j.