GAP does not properly communicate with ACE on table size increase

rokicki commented 2 weeks ago

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 commented 2 weeks ago

For some further details: there was an earlier discussion at https://github.com/gap-system/gap/issues/5749

gregg0 commented 2 weeks ago

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 iOShttps://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#5749https://github.com/gap-system/gap/issues/5749

— Reply to this email directly, view it on GitHubhttps://github.com/gap-packages/ace/issues/39#issuecomment-2178419947, or unsubscribehttps://github.com/notifications/unsubscribe-auth/ABKQEEDDHAT5RVGWMK2ST6TZIFR3BAVCNFSM6AAAAABJQJN2XCVHI2DSMVQWIX3LMV43OSLTON2WKQ3PNVWWK3TUHMZDCNZYGQYTSOJUG4. You are receiving this because you are subscribed to this thread.Message ID: @.***>

gap-packages / ace