From f9fd6c98278f0f5ccc0a4fb3c8be042f88d430a2 Mon Sep 17 00:00:00 2001
From: Max Horn <max@quendi.de>
Date: Mon, 14 Oct 2024 08:43:35 +0200
Subject: [PATCH] Document TrivialGModule

It has been around forever but was undocumented.
---
 doc/ref/meataxe.xml         | 9 +++++++++
 tst/testinstall/meataxe.tst | 9 +++++++++
 2 files changed, 18 insertions(+)

diff --git a/doc/ref/meataxe.xml b/doc/ref/meataxe.xml
index 2a7b7b88c5..8fc93f3bc4 100644
--- a/doc/ref/meataxe.xml
+++ b/doc/ref/meataxe.xml
@@ -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'/>
 
diff --git a/tst/testinstall/meataxe.tst b/tst/testinstall/meataxe.tst
index ee51f9a065..c8d3651497 100644
--- a/tst/testinstall/meataxe.tst
+++ b/tst/testinstall/meataxe.tst
@@ -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 )
+
 #
 #
 #