Skip to content

automorphisms_of_rows_and_columns fails on certain 5x5 matrix if bliss is installed #25426

@dimpase

Description

@dimpase

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

Metadata

Metadata

Assignees

No one assigned

    Type

    No type

    Projects

    No projects

    Milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions