Skip to content

PreservedSesquilinearForms requires the module to be absolutely irreducible #39

@fingolfin

Description

@fingolfin
gap> G:=Sp(4,5);
Sp(4,5)
gap> PreservedForms(Group(G.1));
Error, Currently the use of MeatAxe requires the module to be absolutely irreducible at GAPROOT/pkg/forms/lib/recognition.gi:902 called from
PreservedFormsOp( grp
 ) at GAPROOT/pkg/forms/lib/recognition.gi:962 called from
<function "PreservedForms for a matrix group over a finite field">( <arguments> )

At the very least this should be documented (maybe it is somewhere, but at least not when ?PreservedSesquilinearForms is checked).

Metadata

Metadata

Assignees

No one assigned

    Labels

    bugSomething isn't workingdocumentationImprovements or additions to documentation

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions