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 : G = graph {{0,1},{1,2},{2,3},{3,4},{0,4}} o1 = Graph{0 => set {1, 4}} 1 => set {0, 2} 2 => set {1, 3} 3 => set {2, 4} 4 => set {0, 3} o1 : Graph |
i2 : relabelGraph G o2 = Graph{0 => set {1, 2}} 1 => set {0, 3} 2 => set {0, 4} 3 => set {1, 4} 4 => set {2, 3} o2 : Graph |