Skip to content

Error, Very bad: image was wrongly recognised for cyclic group of order 4 in GL(2,3) #392

@fingolfin

Description

@fingolfin
gap> i:=228;; Reset(GlobalMersenneTwister, i);; Reset(GlobalRandomSource, i);;
gap> G:=Group([ [ 0*Z(3), Z(3)^0 ], [ Z(3), 0*Z(3) ] ]);;
gap> ri:=RecognizeGroup(G);
Error, Very bad: image was wrongly recognised and  we found out too late at /Users/mhorn/Projekte/GAP/repos/pkg/gap-packages/recog/gap/base/kernel.gi:73 called from
ImmediateVerification( ri
 ) at /Users/mhorn/Projekte/GAP/repos/pkg/gap-packages/recog/gap/base/recognition.gi:704 called from
RecogniseGeneric( G, FindHomDbMatrix, "", rec(
     )
 ) at /Users/mhorn/Projekte/GAP/repos/pkg/gap-packages/recog/gap/base/recognition.gi:112 called from
<function "RecogniseGroup">( <arguments> )
 called from read-eval loop at *stdin*:75
type 'quit;' to quit to outer loop

Extracted from issue #13

Metadata

Metadata

Assignees

No one assigned

    Labels

    bugAny bug should have this label, even if it also has a more generic labelbug: unexpected errorA computation runs into an error loop when it should not have

    Type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions