[GAP Forum] Question concerning the gap function NameOfEquivalentLibraryCharacterTable

[Thomas Breuer]

Dear Bernhard, dear Forum,

this problem is new in GAP 4.10.0,
I hope it will disappear in the next GAP version.

As a temporary remedy, I propose either not to use GAP 4.10.0
or to read the following piece of code into the GAP session
after startup.

    InstallMethod( GroupByGenerators,
        [ IsGroup, IsMultiplicativeElementWithInverse ],
        function( G, id )
        return GroupWithGenerators( GeneratorsOfGroup( G ), id );
        end );

I am sorry for the inconveniences.

All the best,
Thomas


On Fri, Mar 01, 2019 at 05:44:20PM +0100, Bernhard Boehmler wrote:
> Dear GAP Forum,
> 
> I am running gap 4.10.0 inside sage 8.6 and get an error message after
> 
> gap> G:=SymmetricGroup(7);
> Sym( [ 1 .. 7 ] )
> gap> ct:=CharacterTable(G);
> CharacterTable( Sym( [ 1 .. 7 ] ) )
> gap> NameOfEquivalentLibraryCharacterTable(ct);
> 
> (the error message is printed below).
> 
> But, when I use my old stand-alone version of gap (GAP 4.9.2 of
> 04-Jul-2018) it works (and "A7.2" is returned).
> 
> I have not installed the Browse package in gap inside sage (I'm not sure,
> if NameOfEquivalentLibraryCharacterTable requires this).
> 
> I would be grateful for any help.
> 
> Thanks in advance.
> 
> Sincerely yours,
> Bernhard Boehmler
> 
> 
> 
> 
> 
> boehmler at mahlzahn:~$ sage
> ┌────────────────────────────────────────────────────────────────────┐
> │ SageMath version 8.6, Release Date: 2019-01-15                     │
> │ Using Python 2.7.15. Type "help()" for help.                       │
> └────────────────────────────────────────────────────────────────────┘
> sage: gap.console()
>  ┌───────┐   GAP 4.10.0 of 01-Nov-2018
>  │  GAP  │   https://www.gap-system.org
>  └───────┘   Architecture: x86_64-pc-linux-gnu-default64
>  Configuration:  gmp 6.0.0, readline
>  Loading the library and packages ...
>  Packages:   AClib 1.3.1, Alnuth 3.1.0, AtlasRep 1.5.1, AutoDoc 2018.09.20,
>              AutPGrp 1.10, CRISP 1.4.4, Cryst 4.1.18, CrystCat 1.1.8,
>              CTblLib 1.2.2, FactInt 1.6.2, FGA 1.4.0, GAPDoc 1.6.2,
>              IRREDSOL 1.4, LAGUNA 3.9.0, Polenta 1.3.8, Polycyclic 2.14,
>              PrimGrp 3.3.2, RadiRoot 2.8, ResClasses 4.7.1, SmallGrp 1.3,
>              Sophus 1.24, TomLib 1.2.7, TransGrp 2.0.4, utils 0.59
>  Try '??help' for help. See also '?copyright', '?cite' and '?authors'
> gap> G:=SymmetricGroup(7);
> Sym( [ 1 .. 7 ] )
> gap> ct:=CharacterTable(G);
> CharacterTable( Sym( [ 1 .. 7 ] ) )
> gap> NameOfEquivalentLibraryCharacterTable(ct);
> Error, no method found! For debugging hints type ?Recovery from
> NoMethodFound
> Error, no 1st choice method found for `Length' on 1 arguments at
> /home/boehmler/Schreibtisch/Drarbeit/SAGE/local/share/gap/lib/methsel2.g:
> 250 called from
> Length( gens
>  ) at /home/boehmler/Schreibtisch/Drarbeit/SAGE/local/share/gap/lib/
> grp.gi:437\
> 2 called from
> MakeGroupyType( FamilyObj( gens ),
>  IsGroup and IsAttributeStoringRep and HasIsEmpty
>     and HasGeneratorsOfMagmaWithInverses and HasOne, gens, id, true
>  ) at /home/boehmler/Schreibtisch/Drarbeit/SAGE/local/share/gap/lib/
> grp.gi:442\
> 4 called from
> GroupByGenerators( libtbl.AutomorphismsOfTable, ()
>  ) at
> /home/boehmler/Schreibtisch/Drarbeit/SAGE/local/share/gap/pkg/ctbllib/ga\
> p4/ctadmin.tbi:815 called from
> CharacterTableFromLibrary( str
>  ) at /home/boehmler/Schreibtisch/Drarbeit/SAGE/local/share/gap/lib/
> ctbl.gi:40\
> 99 called from
> CharacterTable( val
>  ) at
> /home/boehmler/Schreibtisch/Drarbeit/SAGE/local/share/gap/pkg/ctbllib/ga\
> p4/ctadmin.tbi:2137 called from
> ...  at *stdin*:3
> type 'quit;' to quit to outer loop
> brk>
> gap> NamesOfEquivalentLibraryCharacterTables(ct);
> Error, no method found! For debugging hints type ?Recovery from
> NoMethodFound
> Error, no 1st choice method found for `Length' on 1 arguments at
> /home/boehmler/Schreibtisch/Drarbeit/SAGE/local/share/gap/lib/methsel2.g:250
> called from
> Length( gens ) at
> /home/boehmler/Schreibtisch/Drarbeit/SAGE/local/share/gap/lib/grp.gi:4372
> called from
> MakeGroupyType( FamilyObj( gens ), IsGroup and IsAttributeStoringRep and
> HasIsEmpty and HasGeneratorsOfMagmaWithInverses and HasOne, gens, id, true
>  ) at /home/boehmler/Schreibtisch/Drarbeit/SAGE/local/share/gap/lib/
> grp.gi:4424 called from
> GroupByGenerators( libtbl.AutomorphismsOfTable, () ) at
> /home/boehmler/Schreibtisch/Drarbeit/SAGE/local/share/gap/pkg/ctbllib/gap4/ctadmin.tbi:815
> called from
> CharacterTableFromLibrary( str ) at
> /home/boehmler/Schreibtisch/Drarbeit/SAGE/local/share/gap/lib/ctbl.gi:4099
> called from
> CharacterTable( val ) at
> /home/boehmler/Schreibtisch/Drarbeit/SAGE/local/share/gap/pkg/ctbllib/gap4/ctadmin.tbi:2137
> called from
> ...  at *stdin*:3
> type 'quit;' to quit to outer loop
> brk>
> gap> CT:=CharacterTable("S7");
> CharacterTable( "A7.2" )
> gap> TransformingPermutationsCharacterTables(CT,ct);
> rec( columns := (2,3,5,10,4,8,15,11,9)(6,12)(13,14), group := Group(()),
> rows := (1,15,6,13,7,3,14,10,12,8,11,5,9,4,2) )
> gap>
> _______________________________________________
> Forum mailing list
> Forum at gap-system.org
> https://mail.gap-system.org/mailman/listinfo/forum