FIX: ExponentsSumWord for SLP elements

Can occur in `AbelianInvariantsMultiplier`.
gap-system · Jan 3, 2024 · 85276bf · 85276bf
1 parent 1a74b72
commit 85276bf
Showing 1 changed file with 11 additions and 0 deletions.
diff --git a/lib/straight.gi b/lib/straight.gi
@@ -2059,6 +2059,17 @@ function(slp,gens,imgs)
     );
 end);
 
+#############################################################################
+##
+#M  ExponentSumWord
+##
+InstallMethod(ExponentSumWord,"for a straight line program word",
+  IsIdenticalObj, [IsAssocWord and IsStraightLineProgElm,IsAssocWord],0,
+function(slp,e)
+  return ExponentSumWord(EvalStraightLineProgElm(slp),
+    EvalStraightLineProgElm(e));
+end);
+
 # words represented as tree elements (those are useful for decoding subgroup
 # presentations)