Skip to content

bug in InducedPcgsByPcSequence #6782

Open
Open

Description

@bh11

The following triggers a "no method found" error in GAP. This causes the bug reported in
bh11/crisp#16 (comment).

gap-4.16.1 % ./gap -r -A
o G GAP 4.16.1 of 2026-08-23
o o A https://www.gap-system.org
o P Architecture: x86_64-apple-darwin24-default64-kv11
Configuration: gmp 6.3.0, GASMAN, readline
Loading the library and packages ...
Packages: GAPDoc 1.6.10, PrimGrp 4.0.3, SmallGrp 1.7.0, TransGrp 3.6.5
Try '??help' for help. See also '?copyright', '?cite' and '?authors'
gap> s:=Socle(SymmetricGroup(4));
Group([ (1,4)(2,3), (1,2)(3,4) ])
gap> Pcgs(s);
Pcgs([ (1,4)(2,3), (1,2)(3,4) ])
gap> InducedPcgsByPcSequence(Pcgs(s), [ (1,4)(2,3), (1,2)(3,4) ]);
Error, no method found! For debugging hints type ?Recovery from NoMethodFound
Error, no 1st choice method found for `EANormalSeriesByPcgs' on 1 arguments
Stack trace:
*[1] EANormalSeriesByPcgs( pcgs )
@ /Users/burkhard/GAP/gap-4.16.1/lib/pcgsperm.gi:1122
[2] TailOfPcgsPermGroup( pcgs, ran[1] )
@ /Users/burkhard/GAP/gap-4.16.1/lib/pcgsperm.gi:1153
[3] InducedPcgsByPcSequenceNC( pcgs, pcs )
@ /Users/burkhard/GAP/gap-4.16.1/lib/pcgsind.gi:282
<function "InducedPcgsByPcSequence method">( )
called from read-eval loop at stdin:3
type 'quit;' to quit to outer loop
brk>

Activity

  1. added theissue type on Oct 23, 2026
  2. added
    kind: bug: unexpected errorIssues describing bugs in which computation unexpectedly encounters an error, and PRs fixing them
    on Oct 23, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Metadata

Metadata

Assignees

No one assigned

    Labels

    kind: bug: unexpected errorIssues describing bugs in which computation unexpectedly encounters an error, and PRs fixing them

    Type

    Projects

    No projects

      Milestone

      No milestone

      Relationships

      None yet

      Development

      No branches or pull requests

      Issue actions