Skip to content

Group inclusion tests is broken when interacting with list list matrices and compressed matrices. #6672

Open

Description

@GalaxyCo

This seems related to issue 6632 and pull request 6667

gap> G := Group( [ [ 1, 1 ], [ 0, 1 ] ] * Z(2), [ [ 0, 1 ], [ 1, 0 ] ] * Z(2) );
Group([ <an immutable 2x2 matrix over GF2>, <an immutable 2x2 matrix over GF2> ])
gap> y := [ [ 1, 0 ], [ 1, 1 ] ] * Z(2);
[ [ Z(2)^0, 0*Z(2) ], [ Z(2)^0, Z(2)^0 ] ]
gap> x := ImmutableMatrix( GF(4), y );
[ [ Z(2)^0, 0*Z(2) ], [ Z(2)^0, Z(2)^0 ] ]
gap> x = y;
true
gap> y in G;
true
gap> x in G;
false
gap> Is8BitMatrixRep( x );
true
gap> Is8BitMatrixRep( y );
false
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Metadata

Metadata

Assignees

No one assigned

    Labels

    No labels
    No labels

    Type

    No type

    Projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions