digraphs / Digraphs

The GAP package Digraphs
https://digraphs.github.io/Digraphs
Other
30 stars 46 forks source link

Nauty AutomorphismGroup of multidigraph fails #438

Open wilfwilson opened 3 years ago

wilfwilson commented 3 years ago
gap> gr := Digraph(IsMutableDigraph, [[2, 2], []]);
<mutable multidigraph with 2 vertices, 2 edges>
gap> DigraphsUseBliss();
#I  Using bliss by default for AutomorphismGroup . . .
gap> AutomorphismGroup(gr);
Group([ (), (1,2) ])
gap> DigraphsUseNauty();
#I  Using NautyTracesInterface by default for AutomorphismGroup
#I  bliss will be used for edge coloured automorphisms
gap> AutomorphismGroup(gr);
#I  NautyTracesInterface is not available
fail
gap> AutomorphismGroup(Digraph([[2], [1]]));
Group([ (1,2) ])

Perhaps we should be using bliss for multidigraph automorphisms in all cases, regardless of the DigraphsUseNauty(); setting.

github-actions[bot] commented 2 years ago

Stale issue message