passagemath-gap-pkg-semigroups 10.6.29__cp312-abi3-manylinux_2_24_aarch64.manylinux_2_28_aarch64.whl

gap/pkg/semigroups/gap/greens/acting-inverse.gi

@@ -0,0 +1,774 @@
+#############################################################################
+##
+##  greens/acting-inverse.gi
+##  Copyright (C) 2013-2022                              James D. Mitchell
+##
+##  Licensing information can be found in the README file of this package.
+##
+#############################################################################
+##
+
+# This file contains methods for Green's classes and relations for acting
+# semigroups in IsInverseActingSemigroupRep.
+
+# See the start of greens/acting.gi for details of how to create Green's
+# classes of acting semigroups.
+
+# Methods here are similar to methods in acting-regular.gi but without any use
+# of RhoAnything!
+
+#############################################################################
+## This file contains methods for Green's classes etc for acting semigroups.
+## It is organized as follows:
+##
+##   1. Helper functions for the creation of Green's classes, and lambda-rho
+##      stuff.
+##
+##   2. Individual Green's classes (constructors, size, membership)
+##
+##   3. Collections of Green's classes (GreensXClasses, XClassReps, NrXClasses)
+##
+##   4. Idempotents and NrIdempotents
+##
+##   5. Iterators and enumerators
+##
+#############################################################################
+
+#############################################################################
+## 1. Helper functions for the creation of Green's classes . . .
+#############################################################################
+
+# The following is only for inverse semigroups rep!
+
+SEMIGROUPS.DClassOfXClass := function(X)
+  local D;
+  D := SEMIGROUPS.CreateDClass(X);
+  SEMIGROUPS.CopyLambda(X, D);
+  SEMIGROUPS.RectifyLambda(D);
+  D!.rep := RightOne(D!.rep);
+  # so that lambda and rho are rectified!
+  return D;
+end;
+
+SEMIGROUPS.InverseRectifyRho := function(C)
+  local o, i, m;
+
+  o := LambdaOrb(C);
+  i := Position(o, RhoFunc(Parent(C))(C!.rep));
+  m := LambdaOrbSCCIndex(C);
+
+  if i <> OrbSCC(o)[m][1] then
+    C!.rep := LambdaOrbMult(o, m, i)[1] * C!.rep;
+    # don't set Representative in case we must also rectify Lambda
+  fi;
+
+  return;
+end;
+
+# same method for inverse ideals
+
+InstallMethod(SchutzenbergerGroup,
+"for an L-class of an inverse acting semigroup rep",
+[IsInverseActingRepGreensClass and IsGreensLClass],
+function(L)
+  local o, m, p;
+
+  o := LambdaOrb(L);
+  m := LambdaOrbSCCIndex(L);
+
+  if not IsGreensClassNC(L) then
+    # go from the lambda-value in scc 1 to the lambda value of the rep of <l>
+    p := LambdaConjugator(Parent(L))(RightOne(LambdaOrbRep(o, m)), L!.rep);
+    return LambdaOrbSchutzGp(o, m) ^ p;
+  fi;
+  return LambdaOrbSchutzGp(o, m);
+end);
+
+#############################################################################
+## 2. Individual classes . . .
+#############################################################################
+
+InstallMethod(DClassOfLClass,
+"for an L-class of an inverse acting semigroup rep",
+[IsInverseActingRepGreensClass and IsGreensLClass], SEMIGROUPS.DClassOfXClass);
+
+InstallMethod(DClassOfRClass,
+"for an R-class of an inverse acting semigroup rep",
+[IsInverseActingRepGreensClass and IsGreensRClass], SEMIGROUPS.DClassOfXClass);
+
+InstallMethod(DClassOfHClass,
+"for an H-class of an inverse acting semigroup rep",
+[IsInverseActingRepGreensClass and IsGreensHClass], SEMIGROUPS.DClassOfXClass);
+
+InstallMethod(LClassOfHClass,
+"for an H-class of an inverse acting semigroup rep",
+[IsInverseActingRepGreensClass and IsGreensHClass],
+function(H)
+  local L;
+  L := SEMIGROUPS.CreateLClass(H);
+  SEMIGROUPS.CopyLambda(H, L);
+  SEMIGROUPS.InverseRectifyRho(L);
+  return L;
+end);
+
+# same method for inverse ideals
+
+InstallMethod(GreensDClassOfElementNC,
+"for an inverse acting semigroup rep, mult. element, and bool",
+[IsInverseActingSemigroupRep,
+ IsMultiplicativeElement,
+ IsBool],
+function(S, x, isGreensClassNC)
+  local D;
+  D := SEMIGROUPS.CreateDClass(S, x, isGreensClassNC);
+  SEMIGROUPS.SetLambda(D);
+  SEMIGROUPS.RectifyLambda(D);
+  D!.rep := RightOne(D!.rep);
+  return D;
+end);
+
+# same method for inverse ideals
+
+InstallMethod(GreensLClassOfElementNC,
+"for an inverse acting semigroup rep, mult. element, and bool",
+[IsInverseActingSemigroupRep,
+ IsMultiplicativeElement,
+ IsBool],
+function(S, x, isGreensClassNC)
+  local L;
+  L := SEMIGROUPS.CreateLClass(S, x, isGreensClassNC);
+  SEMIGROUPS.SetLambda(L);
+  SEMIGROUPS.InverseRectifyRho(L);
+  return L;
+end);
+
+# same method for inverse ideals
+
+InstallMethod(GreensHClassOfElementNC,
+"for an inverse acting semigroup rep, mult. element, and bool",
+[IsInverseActingSemigroupRep,
+ IsMultiplicativeElement,
+ IsBool],
+function(S, x, isGreensClassNC)
+  local H;
+  H := SEMIGROUPS.CreateHClass(S, x, isGreensClassNC);
+  SEMIGROUPS.SetLambda(H);
+  return H;
+end);
+
+# same method for inverse ideals
+
+InstallMethod(GreensHClassOfElementNC,
+Concatenation("for a Green's class of an inverse acting semigroup rep",
+              "mult. element, and bool"),
+[IsInverseActingRepGreensClass,
+ IsMultiplicativeElement,
+ IsBool],
+function(C, x, isGreensClassNC)
+  local H;
+  H := SEMIGROUPS.CreateHClass(C, x, isGreensClassNC);
+  SEMIGROUPS.CopyLambda(C, H);
+  if IsGreensLClass(C) then
+    SetLClassOfHClass(H, C);
+  elif IsGreensRClass(C) then
+    SetRClassOfHClass(H, C);
+  elif IsGreensDClass(C) then
+    SetDClassOfHClass(H, C);
+  fi;
+  return H;
+end);
+
+# same method for inverse ideals
+
+InstallMethod(Size, "for a D-class of an inverse acting semigroup rep",
+[IsInverseActingRepGreensClass and IsGreensDClass],
+D -> Size(SchutzenbergerGroup(D)) * Length(LambdaOrbSCC(D)) ^ 2);
+
+# same method for inverse ideals
+
+InstallMethod(Size, "for an L-class of an inverse acting semigroup rep",
+[IsInverseActingRepGreensClass and IsGreensLClass],
+L -> Size(SchutzenbergerGroup(L)) * Length(LambdaOrbSCC(L)));
+
+InstallMethod(\in,
+"for a mult. element and D-class of an inverse acting semigroup rep",
+[IsMultiplicativeElement, IsInverseActingRepGreensClass and IsGreensDClass],
+function(x, D)
+  local S, rep, m, o, scc, l, schutz;
+
+  S := Parent(D);
+  rep := D!.rep;
+
+  if ElementsFamily(FamilyObj(S)) <> FamilyObj(x)
+      or (IsActingSemigroupWithFixedDegreeMultiplication(S) and
+          ActionDegree(x) <> ActionDegree(rep))
+      or ActionRank(S)(x) <> ActionRank(S)(rep) then
+    return false;
+  fi;
+
+  m := LambdaOrbSCCIndex(D);
+  o := LambdaOrb(D);
+  scc := OrbSCC(o);
+  l := Position(o, RhoFunc(S)(x));
+
+  if l = fail or OrbSCCLookup(o)[l] <> m then
+    return false;
+  elif l <> scc[m][1] then
+    x := LambdaOrbMult(o, m, l)[1] * x;
+  fi;
+
+  l := Position(o, LambdaFunc(S)(x));
+  if l = fail or OrbSCCLookup(o)[l] <> m then
+    return false;
+  elif l <> scc[m][1] then
+    x := x * LambdaOrbMult(o, m, l)[2];
+  fi;
+
+  schutz := LambdaOrbStabChain(o, m);
+  if schutz = true then
+    return true;
+  elif x = D!.rep then
+    return true;
+  elif schutz = false then
+    return false;
+  fi;
+
+  return SchutzGpMembership(S)(schutz, LambdaPerm(S)(rep, x));
+end);
+
+InstallMethod(\in,
+"for a mult. element and L-class of an inverse acting semigroup rep",
+[IsMultiplicativeElement,
+ IsInverseActingRepGreensClass and IsGreensLClass],
+function(x, L)
+  local S, rep, o, m, scc, l, schutz;
+
+  S := Parent(L);
+  rep := Representative(L);
+
+  if ElementsFamily(FamilyObj(S)) <> FamilyObj(x)
+      or ActionRank(S)(x) <> ActionRank(S)(rep)
+      or (IsActingSemigroupWithFixedDegreeMultiplication(S) and
+          ActionDegree(x) <> ActionDegree(rep))
+      or LambdaFunc(S)(x) <> LambdaFunc(S)(rep) then
+    return false;
+  fi;
+
+  o := LambdaOrb(L);
+  m := LambdaOrbSCCIndex(L);
+  scc := OrbSCC(o);
+  l := Position(o, RhoFunc(S)(x));
+  schutz := LambdaOrbStabChain(o, m);
+
+  if l = fail or OrbSCCLookup(o)[l] <> m then
+    return false;
+  elif schutz = true then
+    return true;
+  elif l <> scc[m][1] then
+    x := LambdaOrbMult(o, m, l)[1] * x;
+  fi;
+
+  rep := L!.rep;
+
+  if x = rep then
+    return true;
+  elif schutz = false then
+    return false;
+  fi;
+
+  return SchutzGpMembership(S)(schutz, LambdaPerm(S)(rep ^ -1, x ^ -1));
+end);
+
+#############################################################################
+## 3. Collections of classes, and reps
+#############################################################################
+
+# This is required since it is used elsewhere in the code that DClassReps of an
+# inverse semigroup are all idempotents.
+
+InstallMethod(DClassReps, "for an inverse acting semigroup rep",
+[IsInverseActingSemigroupRep],
+function(S)
+  local o, out, m;
+  o := LambdaOrb(S);
+  out := EmptyPlist(Length(OrbSCC(o)));
+  for m in [2 .. Length(OrbSCC(o))] do
+    out[m - 1] := RightOne(LambdaOrbRep(o, m));
+  od;
+  return out;
+end);
+
+# same method for inverse ideals
+
+InstallMethod(GreensDClasses, "for an acting inverse semigroup rep",
+[IsInverseActingSemigroupRep],
+function(S)
+  local o, scc, out, CreateDClass, D, i;
+
+  o := LambdaOrb(S);
+  scc := OrbSCC(o);
+  out := EmptyPlist(Length(scc) - 1);
+
+  CreateDClass := SEMIGROUPS.CreateDClass;
+
+  for i in [2 .. Length(scc)] do
+    # don't use GreensDClassOfElementNC cos we don't need to rectify the
+    # rho-value
+    D := CreateDClass(S, RightOne(LambdaOrbRep(o, i)), false);
+    SetLambdaOrb(D, o);
+    SetLambdaOrbSCCIndex(D, i);
+    out[i - 1] := D;
+  od;
+  return out;
+end);
+
+# same method for inverse ideals
+
+InstallMethod(GreensLClasses,
+"for a D-class of an inverse acting semigroup rep",
+[IsInverseActingRepGreensClass
+ and IsGreensDClass],
+function(D)
+  local reps, out, CreateLClass, CopyLambda, i;
+
+  reps         := LClassReps(D);
+  out          := EmptyPlist(Length(reps));
+  CreateLClass := SEMIGROUPS.CreateLClass;
+  CopyLambda   := SEMIGROUPS.CopyLambda;
+
+  for i in [1 .. Length(reps)] do
+    # don't use GreensLClassOfElementNC cos we don't need to rectify the
+    # rho-value
+    out[i] := CreateLClass(D, reps[i], IsGreensClassNC(D));
+    CopyLambda(D, out[i]);
+    SetDClassOfLClass(out[i], D);
+  od;
+  return out;
+end);
+
+# same method for inverse ideals
+
+InstallMethod(RClassReps, "for an acting inverse semigroup rep",
+[IsInverseActingSemigroupRep],
+S -> List(LClassReps(S), Inverse));
+
+# same method for inverse ideals
+
+InstallMethod(RClassReps,
+"for a D-class of an inverse acting semigroup rep",
+[IsInverseActingRepGreensClass and IsGreensDClass],
+D -> List(LClassReps(D), Inverse));
+
+# same method for inverse ideals
+
+InstallMethod(HClassReps,
+"for an L-class of an inverse acting semigroup rep",
+[IsInverseActingRepGreensClass and IsGreensLClass],
+function(L)
+  local S, o, m, scc, mults, rep, out, nr, i;
+  S := Parent(L);
+  o := LambdaOrb(L);
+  m := LambdaOrbSCCIndex(L);
+  scc := OrbSCC(o)[m];
+  mults := LambdaOrbMults(o, m);
+  rep := L!.rep;
+  out := EmptyPlist(Length(scc));
+  nr := 0;
+  for i in scc do
+    nr := nr + 1;
+    out[nr] := ConvertToExternalElement(S, mults[i][2] * rep);
+  od;
+  return out;
+end);
+
+InstallMethod(GreensHClasses,
+"for a Green's class of an inverse acting semigroup rep",
+[IsInverseActingRepGreensClass],
+function(C)
+  local reps, out, setter, CreateHClass, CopyLambda, i;
+
+  if not (IsGreensLClass(C) or IsGreensRClass(C) or IsGreensDClass(C)) then
+    ErrorNoReturn("the argument is not a Green's L-, R-, or D-class");
+  fi;
+
+  reps := HClassReps(C);
+  out := [];
+
+  if IsGreensLClass(C) then
+    setter := SetLClassOfHClass;
+  elif IsGreensRClass(C) then
+    setter := SetRClassOfHClass;
+  elif IsGreensDClass(C) then
+    setter := SetDClassOfHClass;
+  fi;
+
+  CreateHClass := SEMIGROUPS.CreateHClass;
+  CopyLambda   := SEMIGROUPS.CopyLambda;
+
+  for i in [1 .. Length(reps)] do
+    out[i] := CreateHClass(C, reps[i], IsGreensClassNC(C));
+    CopyLambda(C, out[i]);
+    setter(out[i], C);
+  od;
+
+  return out;
+end);
+
+# same method for inverse ideals
+
+InstallMethod(NrRClasses, "for an acting inverse semigroup rep",
+[IsInverseActingSemigroupRep], NrLClasses);
+
+# same method for inverse ideals
+
+InstallMethod(NrRClasses,
+"for a D-class of an inverse acting semigroup rep",
+[IsInverseActingRepGreensClass and IsGreensDClass], NrLClasses);
+
+# same method for inverse ideals
+
+InstallMethod(NrHClasses,
+"for a D-class of an inverse acting semigroup rep",
+[IsInverseActingRepGreensClass
+ and IsGreensDClass], D -> Length(LambdaOrbSCC(D)) ^ 2);
+
+# same method for inverse ideals
+
+InstallMethod(NrHClasses,
+"for an L-class of an inverse acting semigroup rep",
+[IsInverseActingRepGreensClass
+ and IsGreensLClass], L -> Length(LambdaOrbSCC(L)));
+
+# same method for inverse ideals
+
+InstallMethod(NrHClasses, "for an acting inverse semigroup rep",
+[IsInverseActingSemigroupRep],
+S -> Sum(List(OrbSCC(Enumerate(LambdaOrb(S))), x -> Length(x) ^ 2)) - 1);
+
+# same method for inverse ideals
+
+InstallMethod(GroupHClassOfGreensDClass,
+"for a D-class of an inverse acting semigroup rep",
+[IsInverseActingRepGreensClass and IsGreensDClass],
+function(D)
+  local H;
+  H := GreensHClassOfElementNC(D, D!.rep);
+  SetIsGroupHClass(H, true);
+  return H;
+end);
+
+# same method for inverse ideals
+
+InstallMethod(PartialOrderOfDClasses,
+"for acting inverse semigroup rep",
+[IsInverseActingSemigroupRep],
+function(S)
+  local D, n, out, o, gens, lookup, lambdafunc, i, x, y;
+
+  D := GreensDClasses(S);
+  n := Length(D);
+  out := List([1 .. n], x -> EmptyPlist(n));
+  o := LambdaOrb(S);
+  gens := o!.gens;
+  lookup := OrbSCCLookup(o);
+  lambdafunc := LambdaFunc(S);
+
+  for i in [1 .. n] do
+    for x in gens do
+      for y in RClassReps(D[i]) do
+        y := ConvertToInternalElement(S, y);
+        AddSet(out[i], lookup[Position(o, lambdafunc(x * y))] - 1);
+        AddSet(out[i], lookup[Position(o, lambdafunc(Inverse(y) * x))] - 1);
+      od;
+    od;
+  od;
+
+  Perform(out, ShrinkAllocationPlist);
+  D := DigraphNC(IsMutableDigraph, out);
+  DigraphRemoveLoops(D);
+  MakeImmutable(D);
+  return D;
+end);
+
+#############################################################################
+## 4. Idempotents . . .
+#############################################################################
+
+# same method for inverse ideals
+
+InstallMethod(Idempotents, "for acting inverse semigroup rep",
+[IsInverseActingSemigroupRep],
+function(S)
+  local o, creator, r, out, i;
+
+  o := LambdaOrb(S);
+  Enumerate(o, infinity);
+
+  creator := IdempotentCreator(S);
+  r := Length(o);
+  out := EmptyPlist(r - 1);
+
+  for i in [2 .. r] do
+    out[i - 1] := ConvertToExternalElement(S, creator(o[i], o[i]));
+  od;
+  return out;
+end);
+
+# same method for inverse ideals
+
+InstallMethod(Idempotents,
+"for acting inverse semigroup rep and non-negative integer",
+[IsInverseActingSemigroupRep, IsInt],
+function(S, n)
+  local o, creator, out, rank, nr, i;
+
+  if n < 0 then
+    ErrorNoReturn("the 2nd argument (an int) is not non-negative");
+  elif HasIdempotents(S) then
+    return Filtered(Idempotents(S), x -> ActionRank(S)(x) = n);
+  fi;
+
+  o := Enumerate(LambdaOrb(S));
+  creator := IdempotentCreator(S);
+  out := EmptyPlist(Length(o) - 1);
+  rank := LambdaRank(S);
+  nr := 0;
+
+  for i in [2 .. Length(o)] do
+    if rank(o[i]) = n then
+      nr := nr + 1;
+      out[nr] := ConvertToExternalElement(S, creator(o[i], o[i]));
+    fi;
+  od;
+  return out;
+end);
+
+# same method for inverse ideals
+
+InstallMethod(Idempotents,
+"for a D-class of an inverse acting semigroup rep",
+[IsInverseActingRepGreensClass and IsGreensDClass],
+function(D)
+  local S, creator, o;
+  S := Parent(D);
+  creator := IdempotentCreator(Parent(D));
+  o := LambdaOrb(D);
+  return List(LambdaOrbSCC(D),
+              x -> ConvertToExternalElement(S, creator(o[x], o[x])));
+end);
+
+# same method for inverse ideals
+
+InstallMethod(Idempotents,
+"for an L-class of an inverse acting semigroup rep",
+[IsInverseActingRepGreensClass and IsGreensLClass],
+L -> [RightOne(Representative(L))]);
+
+# same method for inverse ideals
+
+InstallMethod(Idempotents,
+"for an R-class of an inverse acting semigroup rep",
+[IsInverseActingRepGreensClass and IsGreensRClass],
+R -> [LeftOne(Representative(R))]);
+
+# Number of idempotents . . .
+
+# same method for inverse ideals
+
+InstallMethod(NrIdempotents, "for an acting inverse semigroup rep",
+[IsInverseActingSemigroupRep],
+S -> Length(Enumerate(LambdaOrb(S))) - 1);
+
+# same method for inverse ideals
+
+InstallMethod(NrIdempotents,
+"for a D-class of an inverse acting semigroup rep",
+[IsInverseActingRepGreensClass and IsGreensDClass], NrLClasses);
+
+# same method for inverse ideals
+
+InstallMethod(NrIdempotents,
+"for an L-class of an inverse acting semigroup rep",
+[IsInverseActingRepGreensClass and IsGreensLClass], L -> 1);
+
+# same method for inverse ideals
+
+InstallMethod(NrIdempotents,
+"for an R-class of an inverse acting semigroup rep",
+[IsInverseActingRepGreensClass and IsGreensRClass], R -> 1);
+
+#############################################################################
+## 5. Iterators and enumerators . . .
+#############################################################################
+
+########################################################################
+# 5.a. for all classes
+########################################################################
+
+InstallMethod(IteratorOfRClassReps, "for acting inverse semigroup rep",
+[IsInverseActingSemigroupRep],
+function(S)
+  local record, unwrap, o;
+
+  if HasRClassReps(S) then
+    return IteratorList(RClassReps(S));
+  fi;
+
+  record := rec();
+  record.parent := S;
+
+  unwrap := function(iter, i)
+    local S, o, rep, pos, mult;
+    S      := iter!.parent;
+    o      := LambdaOrb(S);
+    # <rep> has rho val corresponding to <i>
+    rep := Inverse(EvaluateWord(o, TraceSchreierTreeForward(o, i)));
+
+    # rectify the lambda value of <rep>
+    pos := Position(o, LambdaFunc(S)(rep));
+    mult := LambdaOrbMult(o, OrbSCCLookup(o)[i], pos)[2];
+    return  ConvertToExternalElement(S, rep * mult);
+  end;
+  o := Enumerate(LambdaOrb(S));
+  return WrappedIterator(IteratorList([2 .. Length(o)]), unwrap, record);
+end);
+
+########################################################################
+# 5.b. for individual classes
+########################################################################
+
+# Notes: the only purpose for this is the method for NumberElement.  Otherwise
+# use (if nothing much is known) IteratorOfRClasses or if everything is know
+# just use RClasses.
+
+InstallMethod(Enumerator, "for L-class of an inverse acting semigroup rep",
+[IsGreensLClass and IsInverseActingRepGreensClass],
+function(L)
+  local convert_out, convert_in, scc, enum;
+
+  convert_out := function(enum, tuple)
+    local L, S, act, result;
+
+    if tuple = fail then
+      return fail;
+    fi;
+    L := enum!.parent;
+    S := Parent(L);
+    act := StabilizerAction(S);
+
+    result := act(LambdaOrbMult(LambdaOrb(L),
+                                LambdaOrbSCCIndex(L),
+                                tuple[1])[2] * L!.rep,
+                  tuple[2]);
+    return ConvertToExternalElement(S, result);
+  end;
+
+  convert_in := function(enum, elt)
+    local L, S, i, f;
+
+    L   := enum!.parent;
+    S   := Parent(L);
+    elt := ConvertToInternalElement(S, elt);
+
+    if LambdaFunc(S)(elt) <> LambdaFunc(S)(Representative(L)) then
+      return fail;
+    fi;
+
+    i := Position(LambdaOrb(L), RhoFunc(S)(elt));
+    if i = fail or OrbSCCLookup(LambdaOrb(L))[i] <> LambdaOrbSCCIndex(L) then
+      return fail;
+    fi;
+
+    f := LambdaOrbMult(LambdaOrb(L), LambdaOrbSCCIndex(L), i)[1] * elt;
+
+    return [i, LambdaPerm(S)(L!.rep, f)];
+  end;
+
+  scc  := OrbSCC(LambdaOrb(L))[LambdaOrbSCCIndex(L)];
+  enum := EnumeratorOfCartesianProduct(scc, SchutzenbergerGroup(L));
+  return WrappedEnumerator(L, enum, convert_out, convert_in);
+end);
+
+InstallMethod(Enumerator, "for a D-class of an inverse acting semigroup",
+[IsGreensDClass and IsInverseActingRepGreensClass],
+function(D)
+  local convert_out, convert_in, o, scc, enum;
+
+  convert_out := function(enum, tuple)
+    local D, S, act, result;
+
+    if tuple = fail then
+      return fail;
+    fi;
+    D   := enum!.parent;
+    S   := Parent(D);
+    act := StabilizerAction(S);
+    result := act(LambdaOrbMult(LambdaOrb(D),
+                                LambdaOrbSCCIndex(D),
+                                tuple[1])[2] * D!.rep,
+                                tuple[2]);
+    result := result * LambdaOrbMult(LambdaOrb(D),
+                                     LambdaOrbSCCIndex(D),
+                                     tuple[3])[1];
+    return ConvertToExternalElement(S, result);
+  end;
+
+  convert_in := function(enum, elt)
+    local D, S, k, l, f;
+
+    D   := enum!.parent;
+    S   := Parent(D);
+    elt := ConvertToInternalElement(S, elt);
+
+    k := Position(LambdaOrb(D), RhoFunc(S)(elt));
+    if k = fail or OrbSCCLookup(LambdaOrb(D))[k] <> LambdaOrbSCCIndex(D) then
+      return fail;
+    fi;
+    l := Position(LambdaOrb(D), LambdaFunc(S)(elt));
+    if l = fail or OrbSCCLookup(LambdaOrb(D))[l] <> LambdaOrbSCCIndex(D) then
+      return fail;
+    fi;
+
+    f := LambdaOrbMult(LambdaOrb(D), LambdaOrbSCCIndex(D), k)[1] * elt
+     * LambdaOrbMult(LambdaOrb(D), LambdaOrbSCCIndex(D), l)[2];
+
+    return [k, LambdaPerm(S)(D!.rep, f), l];
+  end;
+
+  o    := Enumerate(LambdaOrb(D));
+  scc  := OrbSCC(o)[LambdaOrbSCCIndex(D)];
+  enum := EnumeratorOfCartesianProduct(scc, SchutzenbergerGroup(D), scc);
+
+  return WrappedEnumerator(D, enum, convert_out, convert_in);
+end);
+
+InstallMethod(Iterator, "for an L-class of an inverse acting semigroup",
+[IsInverseActingRepGreensClass and IsGreensLClass],
+function(L)
+  local m, iter, unwrap, record;
+
+  if HasAsSSortedList(L) then
+    return IteratorList(AsSSortedList(L));
+  fi;
+
+  m    := LambdaOrbSCCIndex(L);
+  iter := IteratorOfCartesianProduct(OrbSCC(LambdaOrb(L))[m],
+                                     Enumerator(SchutzenbergerGroup(L)));
+
+  unwrap := function(iter, x)
+    local L, S, result;
+    L := iter!.parent;
+    S := Parent(L);
+    result := StabilizerAction(S)(LambdaOrbMult(LambdaOrb(L),
+                                                LambdaOrbSCCIndex(L),
+                                                x[1])[2]
+                                  * L!.rep,
+                                  x[2]);
+    return ConvertToExternalElement(S, result);
+  end;
+
+  record := rec();
+  record.parent := L;
+
+  return WrappedIterator(iter, unwrap, record);
+end);