IsIrreducible( M )
returns true if the (quotient of a) row module M is irreducible, and false otherwise.
true
false
gap> IsIrreducible( nat ); false gap> IsIrreducible( nat / FixedSubmodule( nat ) ); true
Previous Up Top NextIndex