Skip to content

Hall Subgroup cannot be computed? #404

@hungaborhorvath

Description

@hungaborhorvath

The following gives me an error, and I am unsure if this should be happening or not. Could someone help me out with this, please? Thank you.

gap> G := Group([ (1,2)(3,4)(5,6)(7,8)(9,10)(11,12)(13,14)(15,16)(17,18)(19,20)(21,22)
> (23,24)(25,26)(27,28)(29,30), (2,3)(5,6)(8,9)(11,12)(14,15)(17,18)(20,21)
> (23,24)(26,27)(29,30), (1,5)(6,10)(11,15)(16,20)(21,25)(26,30) ]);
gap> PrimeDivisors(Size(G));
[ 2, 3, 5, 7 ]
gap> pi := [ 5, 7 ];;
gap> HallSubgroup(G, pi); 
Error, Record: '<rec>.cocycleToList' must have an assigned value in
  N := ocr.cocycleToList( R ); at /home/ghorvath/work/gap/lib/onecohom.gi:1315 called from 
OCOneCocycles( ocr, true 
 ); at /home/ghorvath/work/gap/lib/fitfree.gi:1207 called from
HallsFittingFree( Image( hom ), pi 
 ) at /home/ghorvath/work/gap/lib/fitfree.gi:1278 called from
HallViaRadical( G, pi 
 ) at /home/ghorvath/work/gap/lib/fitfree.gi:1348 called from
<compiled or corrupted statement>  called from
<function "local function">( <arguments> )
 called from read-eval loop at line 15 of *stdin*
you can 'return;' after assigning a value
brk> 

Metadata

Metadata

Assignees

No one assigned

    Labels

    kind: bugIssues describing general bugs, and PRs fixing them

    Type

    No type

    Projects

    No projects

    Milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions