[Nauty] Traces incorrect automorphism group order counting

[Aleksandr Krotov]

Dear Colleagues,

I found an example where densenauty(), sparsenauty() and Traces() give
different stats.grpsize1 numbers. In my computational program I have double
counting for case of errors so I consider nauty result as correct.

The interesting result is that if we first canonize the graph,
stats.grpsize1 becomes correct.

I'm attaching test source code (just one graph definition + nauty and
Traces calls), my output is:
stats_sg { .grpsize1 = 576.000000, .grpsize2 = 0 }
stats_tr { .grpsize1 = 288.000000, .grpsize2 = 0 }
stats_tr_canon { .grpsize1 = 576.000000, .grpsize2 = 0 }

Can be compiled using gcc test.c nauty/nauty.a -o test

-- 

Best regards,

Aleksandr
-------------- next part --------------
A non-text attachment was scrubbed...
Name: test.c
Type: text/x-c-code
Size: 2754 bytes
Desc: not available
URL: <https://mailman.anu.edu.au/pipermail/nauty/attachments/20221015/6aadd2da/attachment.bin>