From 73ab81e599797e4b8b53c339da9decf1c08b0b36 Mon Sep 17 00:00:00 2001
From: R Giacomelli <54901533+iortas@users.noreply.github.com>
Date: Wed, 7 Oct 2026 16:28:18 +0100
Subject: [PATCH] freeband: add method for OnePseudoInverse

---
 gap/fp/freeband.gi | 7 +++++++
 1 file changed, 7 insertions(+)

diff --git a/gap/fp/freeband.gi b/gap/fp/freeband.gi
index 19f506be5..f5d18e73e 100644
--- a/gap/fp/freeband.gi
+++ b/gap/fp/freeband.gi
@@ -504,3 +504,10 @@ function(_, hashlen)
   return rec(func := SEMIGROUPS.HashFunctionForFreeBandElements,
              data := hashlen);
 end);
+
+InstallMethod(OnePseudoInverseOfSemigroupElement, 
+"for a free band element",
+[IsFreeBandElement],
+function(x)
+  return x;
+end);
\ No newline at end of file