From 346f54a3f3f19a66cb099d26da627446c9941368 Mon Sep 17 00:00:00 2001
From: Max Horn <max@quendi.de>
Date: Thu, 25 Jul 2024 15:31:42 +0200
Subject: [PATCH] Add tensor_product for two GAPGroupClassFunction

---
 docs/src/Groups/group_characters.md |  3 ++-
 src/Groups/group_characters.jl      | 11 +++++++++++
 2 files changed, 13 insertions(+), 1 deletion(-)

diff --git a/docs/src/Groups/group_characters.md b/docs/src/Groups/group_characters.md
index b9f59f84be44..1fd15c209833 100644
--- a/docs/src/Groups/group_characters.md
+++ b/docs/src/Groups/group_characters.md
@@ -209,7 +209,8 @@ arithmetic operations:
   where the group of `chi` is a subgroup of the group of `tbl`.
 
 ```@docs
-scalar_product
+scalar_product(chi::GAPGroupClassFunction, psi::GAPGroupClassFunction)
+tensor_product(chi::GAPGroupClassFunction, psi::GAPGroupClassFunction)
 coordinates(chi::GAPGroupClassFunction)
 multiplicities_eigenvalues
 induce(chi::GAPGroupClassFunction, tbl::GAPGroupCharacterTable)
diff --git a/src/Groups/group_characters.jl b/src/Groups/group_characters.jl
index 42280273a14a..2c08fb765e62 100644
--- a/src/Groups/group_characters.jl
+++ b/src/Groups/group_characters.jl
@@ -2405,6 +2405,17 @@ function Base.:*(chi::GAPGroupClassFunction, psi::GAPGroupClassFunction)
     return GAPGroupClassFunction(parent(chi), GapObj(chi) * GapObj(psi))
 end
 
+"""
+    tensor_product(chi::GAPGroupClassFunction, psi::GAPGroupClassFunction)
+
+Return the pointwise product of `chi` and `psi`.
+The resulting character is afforded by the tensor product of representations
+corresponding to `chi` and `psi`, hence the name.
+
+Alias for `chi * psi`.
+"""
+tensor_product(chi::GAPGroupClassFunction, psi::GAPGroupClassFunction) = chi * psi
+
 function Base.zero(chi::GAPGroupClassFunction)
     val = QQAbFieldElem(0)
     return class_function(parent(chi), [val for i in 1:length(chi)])