[GAP Forum] Failed to run AreRepsIsomorphic command.

[Max Horn]

Hi again,

> Am 30.04.2022 um 12:07 schrieb Hongyi Zhao <hongyi.zhao at gmail.com>:


[...]
> 
> It does the trick, as shown below:
> 
> gap> g:=CyclicGroup(IsFpGroup,8);
> <fp group of size 8 on the generators [ a ]>
> gap> ir:=IrreducibleRepresentations(g);
> [ Pcgs([ a^7, a^2, a^4 ]) -> [ [ [ 1 ] ], [ [ 1 ] ], [ [ 1 ] ] ],
>  Pcgs([ a^7, a^2, a^4 ]) -> [ [ [ -1 ] ], [ [ 1 ] ], [ [ 1 ] ] ],
>  Pcgs([ a^7, a^2, a^4 ]) -> [ [ [ E(4) ] ], [ [ -1 ] ], [ [ 1 ] ] ],
>  Pcgs([ a^7, a^2, a^4 ]) -> [ [ [ -E(4) ] ], [ [ -1 ] ], [ [ 1 ] ] ],
>  Pcgs([ a^7, a^2, a^4 ]) -> [ [ [ E(8)^3 ] ], [ [ E(4) ] ], [ [ -1 ] ] ],
>  Pcgs([ a^7, a^2, a^4 ]) -> [ [ [ -E(8)^3 ] ], [ [ E(4) ] ], [ [ -1 ] ] ],
>  Pcgs([ a^7, a^2, a^4 ]) -> [ [ [ -E(8) ] ], [ [ -E(4) ] ], [ [ -1 ] ] ],
>  Pcgs([ a^7, a^2, a^4 ]) -> [ [ [ E(8) ] ], [ [ -E(4) ] ], [ [ -1 ] ] ] ]
> gap> AreRepsIsomorphic(ir[1],ir[2]);
> false
> 
> Another question: How to obtain a pretty formatted output of
> IrreducibleRepresentations?

What would you consider "pretty formatted" ? That seems quite subjective? You'd probably best of writing your own function for doing that.

Regards
Max