forwarded 546579 [email protected] quit On Mon, Sep 14, 2009 at 02:44:14PM +0000, Joachim Breitner wrote: > Hi, > > Am Montag, den 14.09.2009, 15:35 +0200 schrieb Bill Allombert: > > On Mon, Sep 14, 2009 at 11:02:27AM +0200, Joachim Breitner wrote: > > > Package: gap > > > Version: 4r4p12-1 > > > Severity: normal > > > > > > Hi, > > > > > > I’m not sure if this is really a bug or a mistake on my side, but > > > “panic” sounds like a bug. I produced it like this: > > > > > > > > > gap> G := GL(4,2); > > > gap> SG := Group(Filtered(G, m -> Z(2)*[1,1,1,1]*m=Z(2)*[1,1,1,1])); > > > gap> rcs := RightCosets(G,SG);; > > > gap> rcs[1]; > > > Panic: tried to print a path of unknown type '72' at > > > Print( "Group(", l, ")" ); > > > RightCoset(Group(~[6]gap> > > > > I cannot reproduce it on my machine (amd64). > > If you can reproduce it, please do > > SaveWorkspace("bug546579"); > > just after "rcs := RightCosets(G,SG);;" > > and send me the file 'bug546579'. > > indeed, it is not reproducible that easy. It seems that you need to do a > little bit more: > > gap> G := GL(4,2); > gap> SG := Group(Filtered(G, m -> Z(2)*[1,1,1,1]*m=Z(2)*[1,1,1,1])); > gap> rcs := RightCosets(G,SG);; > gap> rcs[1]; > # Now Ctrl-C while it’s scrolling through, and enter rcs[1]; again: > ^Cuser interrupt at > return; > called from > Print( "Group(", l, ")" ); called from > Print( "RightCoset(", ActingDomain( d ), ",", Representative( d ), ")" ); > called from > Print( "Group(", l, ")" ); called from > Print( "RightCoset(", ActingDomain( d ), ",", Representative( d ), ")" ); > called from > ViewObj( list[i] ); called from > ... > Entering break read-eval-print loop ... > you can 'quit;' to quit to outer loop, or > you can 'return;' to continue > brk> > ]gap> rcs[1]; > Panic: tried to print a path of unknown type '72' at > Print( "Group(", l, ")" ); > RightCoset(Group(~gap> > > At this point, the error message is repeatable by entering "rcs[1];". > > Is that reproducible for you now?
Yes it is. I have forward it to the GAP developers, thanks for your follow-up! Cheers, -- Bill. <[email protected]> Imagine a large red swirl here. -- To UNSUBSCRIBE, email to [email protected] with a subject of "unsubscribe". Trouble? Contact [email protected]
