Skip to content

PreservedSesquilinearForms requires the module to be absolutely irreducible #39

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