Skip to content

Commit

Permalink
Document TrivialGModule
Browse files Browse the repository at this point in the history
It has been around forever but was undocumented.
  • Loading branch information
fingolfin committed Dec 20, 2024
1 parent cf88913 commit f9fd6c9
Show file tree
Hide file tree
Showing 2 changed files with 18 additions and 0 deletions.
9 changes: 9 additions & 0 deletions doc/ref/meataxe.xml
Original file line number Diff line number Diff line change
Expand Up @@ -100,6 +100,15 @@ moved point (see&nbsp;<Ref Attr="LargestMovedPoint" Label="for a list or collect
</Description>
</ManSection>

<ManSection>
<Func Name="TrivialGModule" Arg='G, F'/>

<Description>
Called with a group <A>G</A> and a field <A>F</A> (<A>F</A> may be infinite),
<Ref Func="TrivialGModule"/> returns the trivial module over <A>F</A>.
</Description>
</ManSection>

<ManSection>
<Func Name="TensorProductGModule" Arg='m1, m2'/>

Expand Down
9 changes: 9 additions & 0 deletions tst/testinstall/meataxe.tst
Original file line number Diff line number Diff line change
Expand Up @@ -40,6 +40,15 @@ gap> Display(MTX.IsomorphismModules(M,M));
. 1 .
. . 1

#
# Trivial module
#
gap> G:=SL(3,3);;
gap> TrivialGModule(G, GF(2));
rec( IsOverFiniteField := true, dimension := 1, field := GF(2),
generators := [ <an immutable 1x1 matrix over GF2>,
<an immutable 1x1 matrix over GF2> ], isMTXModule := true )

#
#
#
Expand Down

0 comments on commit f9fd6c9

Please sign in to comment.