[Nauty] lexicografic ordered canonical form
Joost.Winne at UGent.be
Thu Aug 7 16:24:01 EST 2003
> for each row i+1 compatible with D[i]
> form D[i+1]
> apply nauty to find the orbits of points
> and a canonical order of the points
> reject D[i+1] if point i+1 is not in the same orbit
> as the point which is last in the canonical order
This would mean (after calling nauty for D[i+1]) compare orbits[i+1] with
orbits[lab[i+1]] (with getcanon true) ?
Why is that ?
More information about the Nauty