Add tensor_product for two GAPGroupClassFunction

oscar-system · Jul 25, 2024 · 346f54a · 346f54a
1 parent 77a500e
commit 346f54a
Show file tree

Hide file tree

Showing 2 changed files with 13 additions and 1 deletion.
diff --git 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
@@ -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)])