Skip to content

Too general "Order" for automorphisms #3097

Closed
@laurentbartholdi

Description

gap> f := FreeGroup(2);;
gap> x := GroupHomomorphismByImages(f,f,[f.1,f.2],[f.2,f.1]);;
gap> Order(x); # expects 2
Error, no method found! For debugging hints type ?Recovery from NoMethodFound
Error, no 3rd choice method found for `CompositionSeries' on 1 arguments at /usr/local/src/gap/lib/methsel2.g:250 called from
CompositionSeries( U ) at /usr/local/src/gap/lib/grpprmcs.gi:2690 called from
ChiefSeries( d ) at /usr/local/src/gap/lib/morpheus.gi:43 called from

the code in lib/morpheus.gi assumes that the source of the automorphism is a finite group. Presumably the method should give up when its source doesn't have the filter IsFinite.

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