This method applies one of sixteen vertex invariant based refinements to a graph. See the nauty documentation for a more complete description of each and how the argument a is used.
i1 : R = QQ[a..e]; |
i2 : G = graph {a*e, e*c, c*b, b*d, d*a}; |
i3 : relabelGraph G o3 = Graph{edges => {{a, b}, {a, c}, {b, d}, {c, e}, {d, e}}} ring => R vertices => {a, b, c, d, e} o3 : Graph |