The method creates a list of graphs, one for each vertex of the original graph $G$. The graph associated to a vertex $v$ of $G$ has the neighborhood of $v$ complemented.
The method does not remove isomorphs.
i1 : R = QQ[a..e]; |
i2 : neighborhoodComplements graph {a*b, a*c, b*c, c*d, d*e} o2 = {Graph{edges => {{a, b}, {a, c}, {b, c}, {b, d}, {b, e}, {c, e}, {d, e}}}, Graph{edges => {{a, b}, {a, c}, {b, c}, {a, d}, ring => R ring => R vertices => {a, b, c, d, e} vertices => {a, b, c, d, e} ---------------------------------------------------------------------------------------------------------------------------- {a, e}, {c, e}, {d, e}}}, Graph{edges => {{a, b}, {a, c}, {b, c}, {c, d}, {a, e}, {b, e}}}, Graph{edges => {{a, b}, {c, ring => R ring => R vertices => {a, b, c, d, e} vertices => {a, b, c, ---------------------------------------------------------------------------------------------------------------------------- d}, {a, e}, {b, e}, {d, e}}}, Graph{edges => {{a, b}, {a, c}, {b, c}, {a, d}, {b, d}, {d, e}}}} ring => R d, e} vertices => {a, b, c, d, e} o2 : List |
The object neighborhoodComplements is a method function.