-
-
Notifications
You must be signed in to change notification settings - Fork 654
Closed
Closed
Copy link
Milestone
Description
In #24924 bliss was enabled for computing automorphisms of edge-coloured graphs. The latter is used for automorphisms_of_rows_and_columns()
of matrices. For the following matrix j
, with bliss installed, we have failure, found on #25399, see comment 10 there. Namely
sage: j = matrix([(3, 2, 1, 0, 0),
....: (2, 2, 0, 1, 0),
....: (1, 0, 3, 0, 2),
....: (0, 1, 0, 2, 1),
....: (0, 0, 2, 1, 2)])
sage: j.automorphisms_of_rows_and_columns()
---------------------------------------------------------------------------
ValueError Traceback (most recent call last)
...
This is probably due to wrong order of elements in generators produced by the bliss interface:
sage: gj=j.as_bipartite_graph()
sage: gj.automorphism_group(edge_labels=True,algorithm="bliss")
Permutation Group with generators [(10,2)(1,8)(3,6)(4,9)(5,7), (10,5)(1,6)(2,7)(3,8)(4,9)]
sage: gj.automorphism_group(edge_labels=True,algorithm="sage")
Permutation Group with generators [(1,3)(2,5)(6,8)(7,10), (1,6)(2,7)(3,8)(4,9)(5,10)]
That (10,2) and (10,5) cycles don't look good...
CC: @stumpc5
Component: graph theory
Author: Travis Scrimshaw
Branch/Commit: db37923
Reviewer: Christian Stump
Issue created by migration from https://trac.sagemath.org/ticket/25426