GAP does not properly communicate with ACE on table size increase

[rokicki]

LoadPackage("ace");
TCENUM:=ACETCENUM;;
Print("aaaa,aba'b'a'bb");;
f := FreeGroup("a","b");;
g := f / [ f.1*f.1*f.1*f.1,f.1*f.2*f.1^-1*f.2^-1*f.1^-1*f.2*f.2 ];
Size(g);

Observed behaviour

Scrolling message:

#I  Coset table calculation failed -- trying with bigger table limit

forever. From debugging it appears the workspace size and/or table limit is not
actually being increased.

Identical (bad) behavior on Linux and on MacOS.

Expected behaviour

The table limit and/or workspace size should be increased, so the coset enumeration
succeeds. (ACE easily handles the group given in the example above.)

Copy and paste GAP banner (to tell us about your setup)

 ┌───────┐   GAP 4.13.0 of 2024-03-15
 │  GAP  │   https://www.gap-system.org
 └───────┘   Architecture: aarch64-apple-darwin23-default64-kv9
 Configuration:  gmp 6.3.0, GASMAN
 Loading the library and packages ...
 Packages:   AClib 1.3.2, Alnuth 3.2.1, AtlasRep 2.1.8, AutPGrp 1.11, 
             CRISP 1.4.6, Cryst 4.1.27, CrystCat 1.1.10, CTblLib 1.3.9, 
             FactInt 1.6.3, FGA 1.5.0, GAPDoc 1.6.7, IRREDSOL 1.4.4, 
             LAGUNA 3.9.6, Polenta 1.3.10, Polycyclic 2.16, PrimGrp 3.4.4, 
             RadiRoot 2.9, ResClasses 4.7.3, SmallGrp 1.5.3, Sophus 1.27, 
             SpinSym 1.5.2, StandardFF 1.0, TomLib 1.2.11, TransGrp 3.6.5, 
             utils 0.85

[fingolfin]

For some further details: there was an earlier discussion at gap-system/gap#5749

[gregg0]

The setting for TCENUM, I think is a relic from the original Alexander Hulpke implementation, but setting max to max seems to be a mistake of mine. I'll have to try and remember what I was thinking - or not thinking - back in 1999. * Greg Gamble Get Outlook for iOS<https://aka.ms/o0ukef>

…

________________________________ From: Max Horn ***@***.***> Sent: Wednesday, June 19, 2024 7:14:56 PM To: gap-packages/ace ***@***.***> Cc: Subscribed ***@***.***> Subject: Re: [gap-packages/ace] GAP does not properly communicate with ACE on table size increase (Issue #39) For some further details: there was an earlier discussion at gap-system/gap#5749<gap-system/gap#5749> — Reply to this email directly, view it on GitHub<#39 (comment)>, or unsubscribe<https://github.com/notifications/unsubscribe-auth/ABKQEEDDHAT5RVGWMK2ST6TZIFR3BAVCNFSM6AAAAABJQJN2XCVHI2DSMVQWIX3LMV43OSLTON2WKQ3PNVWWK3TUHMZDCNZYGQYTSOJUG4>. You are receiving this because you are subscribed to this thread.Message ID: ***@***.***>