Quellcodebibliothek Statistik Leitseite products/Sources/formale Sprachen/GAP/pkg/semigroups/tst/extreme/   (GAP Algebra Version 4.15.1©)  Datei vom 29.7.2025 mit Größe 181 kB image not shown  

Quelle  misc.tst   Sprache: unbekannt

 
Spracherkennung für: .tst vermutete Sprache: Unknown {[0] [0] [0]} [Methode: Schwerpunktbildung, einfache Gewichte, sechs Dimensionen]

###########################################################################
##
#W  extreme/misc.tst
#Y  Copyright (C) 2011-15                                James D. Mitchell
##
##  Licensing information can be found in the README file of this package.
##
#############################################################################
##

#@local D, H, K18g, L, P, a1, a2, a3, a4, a5, a6, acting, cosets, d, data, dd
#@local e, enum, f, g, gens, h, hh, i, iter, l, lambda_schutz, lambda_stab, m
#@local o, p, r, rep, reps, rho_schutz, rho_stab, rr, s, scc, schutz
gap> START_TEST("Semigroups package: extreme/misc.tst");
gap> LoadPackage("semigroups", false);;

#
gap> SEMIGROUPS.StartTest();
gap> SEMIGROUPS.DefaultOptionsRec.acting := true;;

# MiscTest0
gap> gens := [Transformation([28371526]),
>   Transformation([35725638]),
>   Transformation([41835735]),
>   Transformation([43456412]),
>   Transformation([54885615]),
>   Transformation([67414162]),
>   Transformation([71222745]),
>   Transformation([88517528])];;
gap> s := Semigroup(gens);
<transformation semigroup of degree 8 with 8 generators>
gap> Size(s);
597369
gap> f := Transformation([81558378]);;
gap> l := LClassNC(s, f);
<Green's L-class: Transformation( [ 81558378 ] )>
gap> Transformation([81558378]) in last;
true
gap> RhoOrbStabChain(l);
true
gap> Size(l);
4560
gap> RhoOrbSCC(l);
125910131418242522283421111612333236
  36393537382917234715192630312720 ]
gap> SchutzenbergerGroup(l);
Sym( [ 13578 ] )
gap> ForAll(l, x -> x in l);
true
gap> d := DClass(s, f);
<Green's D-class: Transformation( [ 81558378 ] )>
gap> Transformation([81558378]) in last;
true
gap> iter := Iterator(d);
<iterator>
gap> for i in iter do od;

# MiscTest1
gap> gens := [PartialPermNC([1235710], [12311195]),
>  PartialPermNC([1234578], [431112621]),
>  PartialPermNC([12345911], [116924812]),
>  PartialPermNC([12347912], [71122945]),
>  PartialPermNC([1235789], [548116121]),
>  PartialPermNC([12468910], [852124711])];;
gap> s := Semigroup(gens);
<partial perm semigroup of rank 12 with 6 generators>
gap> f := PartialPermNC([34511], [4125]);;
gap> l := LClassNC(s, f);
<Green's L-class: [3,4,1][11,5,2]>
gap> l := LClass(s, f);
<Green's L-class: [3,4,1][11,5,2]>
gap> d := DClass(s, f);
<Green's D-class: [3,4,1][11,5,2]>
gap> Size(l);
1
gap> Number(d, x -> x in l);
1
gap> Number(s, x -> x in l);
1
gap> s := Semigroup(gens);
<partial perm semigroup of rank 12 with 6 generators>
gap> l := LClass(s, f);
<Green's L-class: [3,4,1][11,5,2]>
gap> d := DClass(s, f);
<Green's D-class: [3,4,1][11,5,2]>
gap> Number(d, x -> x in l);
1
gap> Number(s, x -> x in l);
1
gap> SchutzenbergerGroup(l);
Group(())
gap> ForAll(l, x -> x in l);
true
gap> d := DClassNC(s, f);
<Green's D-class: [3,4,1][11,5,2]>
gap> d := DClassNC(s, Representative(l));
<Green's D-class: [3,4,1][11,5,2]>
gap> ForAll(l, x -> x in d);
true
gap> Number(d, x -> x in l);
1
gap> Number(s, x -> x in l);
1

# MiscTest2
gap> gens := [Transformation([28371526]),
>   Transformation([35725638]),
>   Transformation([67414162]),
>   Transformation([88517528])];;
gap> s := Semigroup(gens);
<transformation semigroup of degree 8 with 4 generators>
gap> f := Transformation([52727258]);;
gap> l := LClassNC(s, f);
<Green's L-class: Transformation( [ 5272725 ] )>
gap> Transformation([5272725]) in last;
true
gap> enum := Enumerator(l);
<enumerator of <Green's L-class: Transformation( [ 5272725 ] )>>
gap> enum[1];
Transformation( [ 5272725 ] )
gap> enum[2];
Transformation( [ 58787852 ] )
gap> Position(enum, enum[2]);
2
gap> Position(enum, enum[1]);
1
gap> ForAll(enum, x -> enum[Position(enum, x)] = x);
true
gap> ForAll([1 .. Length(enum)], x -> Position(enum, enum[x]) = x);
true
gap> Length(enum);
1728
gap> ForAll(enum, x -> x in s);
true
gap> ForAll(l, x -> x in enum);
true
gap> Number(s, x -> x in enum);
1728
gap> Number(s, x -> x in l);
1728
gap> AsSet(l) = AsSet(enum);
true
gap> f := Transformation([72422176]);;
gap> Position(enum, f);
fail
gap> GreensHClasses(l);
[ <Green's H-class: Transformation( [ 5272725 ] )>, 
  <Green's H-class: Transformation( [ 28755722 ] )>, 
  <Green's H-class: Transformation( [ 82722587 ] )>, 
  <Green's H-class: Transformation( [ 27788225 ] )>, 
  <Green's H-class: Transformation( [ 88755728 ] )>, 
  <Green's H-class: Transformation( [ 75285778 ] )>, 
  <Green's H-class: Transformation( [ 58277557 ] )>, 
  <Green's H-class: Transformation( [ 87255785 ] )>, 
  <Green's H-class: Transformation( [ 75288577 ] )>, 
  <Green's H-class: Transformation( [ 72822577 ] )>, 
  <Green's H-class: Transformation( [ 27877225 ] )>, 
  <Green's H-class: Transformation( [ 2575572 ] )>, 
  <Green's H-class: Transformation( [ 58722557 ] )>, 
  <Green's H-class: Transformation( [ 87755285 ] )>, 
  <Green's H-class: Transformation( [ 75788572 ] )>, 
  <Green's H-class: Transformation( [ 52777855 ] )>, 
  <Green's H-class: Transformation( [ 78758572 ] )>, 
  <Green's H-class: Transformation( [ 82777885 ] )>, 
  <Green's H-class: Transformation( [ 25788728 ] )>, 
  <Green's H-class: Transformation( [ 58722857 ] )>, 
  <Green's H-class: Transformation( [ 87755288 ] )>, 
  <Green's H-class: Transformation( [ 78788572 ] )>, 
  <Green's H-class: Transformation( [ 75875278 ] )>, 
  <Green's H-class: Transformation( [ 72582877 ] )>, 
  <Green's H-class: Transformation( [ 75875275 ] )>, 
  <Green's H-class: Transformation( [ 55822557 ] )>, 
  <Green's H-class: Transformation( [ 57855255 ] )>, 
  <Green's H-class: Transformation( [ 75855572 ] )>, 
  <Green's H-class: Transformation( [ 52877555 ] )>, 
  <Green's H-class: Transformation( [ 85255785 ] )>, 
  <Green's H-class: Transformation( [ 87527585 ] )>, 
  <Green's H-class: Transformation( [ 85575285 ] )>, 
  <Green's H-class: Transformation( [ 82552587 ] )>, 
  <Green's H-class: Transformation( [ 72582577 ] )>, 
  <Green's H-class: Transformation( [ 28758527 ] )>, 
  <Green's H-class: Transformation( [ 25875725 ] )>, 
  <Green's H-class: Transformation( [ 27587527 ] )>, 
  <Green's H-class: Transformation( [ 72585878 ] )>, 
  <Green's H-class: Transformation( [ 28577528 ] )>, 
  <Green's H-class: Transformation( [ 88522785 ] )>, 
  <Green's H-class: Transformation( [ 85588287 ] )>, 
  <Green's H-class: Transformation( [ 57588852 ] )>, 
  <Green's H-class: Transformation( [ 72555878 ] )>, 
  <Green's H-class: Transformation( [ 58858257 ] )>, 
  <Green's H-class: Transformation( [ 78755772 ] )>, 
  <Green's H-class: Transformation( [ 82777587 ] )>, 
  <Green's H-class: Transformation( [ 27788725 ] )>, 
  <Green's H-class: Transformation( [ 75722877 ] )>, 
  <Green's H-class: Transformation( [ 5777725 ] )>, 
  <Green's H-class: Transformation( [ 7757727 ] )>, 
  <Green's H-class: Transformation( [ 78577772 ] )>, 
  <Green's H-class: Transformation( [ 82577787 ] )>, 
  <Green's H-class: Transformation( [ 27588727 ] )>, 
  <Green's H-class: Transformation( [ 77522877 ] )>, 
  <Green's H-class: Transformation( [ 52772857 ] )>, 
  <Green's H-class: Transformation( [ 58278757 ] )>, 
  <Green's H-class: Transformation( [ 87255887 ] )>, 
  <Green's H-class: Transformation( [ 77288578 ] )>, 
  <Green's H-class: Transformation( [ 78277875 ] )>, 
  <Green's H-class: Transformation( [ 85277788 ] )>, 
  <Green's H-class: Transformation( [ 28588727 ] )>, 
  <Green's H-class: Transformation( [ 27787825 ] )>, 
  <Green's H-class: Transformation( [ 28778528 ] )>, 
  <Green's H-class: Transformation( [ 25875827 ] )>, 
  <Green's H-class: Transformation( [ 72752877 ] )>, 
  <Green's H-class: Transformation( [ 78278775 ] )>, 
  <Green's H-class: Transformation( [ 52882755 ] )>, 
  <Green's H-class: Transformation( [ 75722872 ] )>, 
  <Green's H-class: Transformation( [ 5277725 ] )>, 
  <Green's H-class: Transformation( [ 7752727 ] )>, 
  <Green's H-class: Transformation( [ 72752872 ] )>, 
  <Green's H-class: Transformation( [ 78278275 ] )> ]
gap> Length(last);
72

# MiscTest3
gap> gens := [
>  PartialPermNC([1235710], [12311195]),
>  PartialPermNC([1234578], [431112621]),
>  PartialPermNC([12345911], [116924812]),
>  PartialPermNC([12347912], [71122945]),
>  PartialPermNC([1235789], [548116121]),
>  PartialPermNC([12468910], [852124711])];;
gap> s := Semigroup(gens);
<partial perm semigroup of rank 12 with 6 generators>
gap> Size(s);
4857
gap> f := PartialPerm([69], [126]);;
gap> l := LClass(s, f);
<Green's L-class: [9,6,12]>
gap> NrHClasses(l);
66
gap> Size(l);
66
gap> SchutzenbergerGroup(l);
Group([ (6,12) ])
gap> o := RhoOrb(l);
<closed orbit, 147 points with Schreier tree with log>
gap> d := DClassOfLClass(l);
<Green's D-class: [2,6][7,12]>
gap> Size(d);
66
gap> NrLClasses(d);
1
gap> NrRClasses(d);
66
gap> SchutzenbergerGroup(d);
Group(())
gap> Length(RhoOrbSCC(l));
33
gap> HClasses(l);
[ <Green's H-class: [2,6][7,12]>, <Green's H-class: [4,6][9,12]>, 
  <Green's H-class: [7,12][9,6]>, <Green's H-class: [1,12][7,6]>, 
  <Green's H-class: [1,12][2,6]>, <Green's H-class: [7,6][8,12]>, 
  <Green's H-class: [1,6][9,12]>, <Green's H-class: [2,12][4,6]>, 
  <Green's H-class: [4,12][8,6]>, <Green's H-class: [2,12][3,6]>, 
  <Green's H-class: [1,6][8,12]>, <Green's H-class: [3,12][9,6]>, 
  <Green's H-class: [5,12][9,6]>, <Green's H-class: [7,6](12)>, 
  <Green's H-class: [1,6][3,12]>, <Green's H-class: [2,6][8,12]>, 
  <Green's H-class: [1,12][4,6]>, <Green's H-class: [2,12][9,6]>, 
  <Green's H-class: [3,6][4,12]>, <Green's H-class: [4,12][7,6]>, 
  <Green's H-class: [8,12][9,6]>, <Green's H-class: [9,6,12]>, 
  <Green's H-class: [4,12][5,6]>, <Green's H-class: [9,12,6]>, 
  <Green's H-class: [3,12][11,6]>, <Green's H-class: [2,12][5,6]>, 
  <Green's H-class: [4,12,6]>, <Green's H-class: [5,12][11,6]>, 
  <Green's H-class: [1,12][5,6]>, <Green's H-class: [2,12,6]>, 
  <Green's H-class: [4,12](6)>, <Green's H-class: [4,12][11,6]>, 
  <Green's H-class: [8,12](6)>, <Green's H-class: [2,12][7,6]>, 
  <Green's H-class: [4,12][9,6]>, <Green's H-class: [7,6][9,12]>, 
  <Green's H-class: [1,6][7,12]>, <Green's H-class: [1,6][2,12]>, 
  <Green's H-class: [7,12][8,6]>, <Green's H-class: [1,12][9,6]>, 
  <Green's H-class: [2,6][4,12]>, <Green's H-class: [4,6][8,12]>, 
  <Green's H-class: [2,6][3,12]>, <Green's H-class: [1,12][8,6]>, 
  <Green's H-class: [3,6][9,12]>, <Green's H-class: [5,6][9,12]>, 
  <Green's H-class: [7,12,6]>, <Green's H-class: [1,12][3,6]>, 
  <Green's H-class: [2,12][8,6]>, <Green's H-class: [1,6][4,12]>, 
  <Green's H-class: [2,6][9,12]>, <Green's H-class: [3,12][4,6]>, 
  <Green's H-class: [4,6][7,12]>, <Green's H-class: [8,6][9,12]>, 
  <Green's H-class: [9,12](6)>, <Green's H-class: [4,6][5,12]>, 
  <Green's H-class: [9,6](12)>, <Green's H-class: [3,6][11,12]>, 
  <Green's H-class: [2,6][5,12]>, <Green's H-class: [4,6](12)>, 
  <Green's H-class: [5,6][11,12]>, <Green's H-class: [1,6][5,12]>, 
  <Green's H-class: [2,6](12)>, <Green's H-class: [4,6,12]>, 
  <Green's H-class: [4,6][11,12]>, <Green's H-class: [8,6,12]> ]
gap> IsDuplicateFreeList(last);
true
gap> IsRegularGreensClass(l);
false
gap> H := HClasses(l);;
gap> ForAll(H, x -> Representative(x) in l);
true
gap> ForAll(H, x -> Representative(x) in d);
true
gap> d;
<Green's D-class: [2,6][7,12]>
gap> Representative(l) in d;
true
gap> First(H, x -> not Representative(x) in d);
fail
gap> ForAll(l, x -> x in d);
true
gap> rep := Representative(d);
[2,6][7,12]
gap> s := Parent(d);
<partial perm semigroup of size 4857, rank 12 with 6 generators>
gap> ElementsFamily(FamilyObj(s)) <> FamilyObj(f)
> or RankOfPartialPerm(f) <> RankOfPartialPerm(rep);
false
gap> g := f;
[9,6,12]
gap> m := LambdaOrbSCCIndex(d);
54
gap> o := LambdaOrb(d);
<closed orbit, 184 points with Schreier tree with log>
gap> scc := OrbSCC(o);
[ [ 1 ], [ 2 ], [ 3 ], [ 4 ], [ 5 ], [ 6 ], [ 7 ], [ 8 ], [ 9 ], [ 10 ], 
  [ 11 ], [ 12 ], [ 14 ], [ 15 ], [ 16 ], [ 17 ], [ 18 ], [ 19 ], [ 21 ], 
  [ 22 ], [ 23 ], [ 24 ], [ 25 ], [ 26 ], [ 27 ], [ 28 ], [ 29 ], [ 30 ], 
  [ 31 ], [ 32 ], [ 33 ], [ 34 ], [ 35 ], [ 36 ], [ 37 ], [ 38 ], [ 39 ], 
  [ 40 ], [ 41 ], [ 42 ], [ 4346445020476961638678 ], 
  [ 45 ], [ 48 ], 
  [ 49836682108879980145845664133147749685
      1461356210711013154125101168159152137134
      171175 ], [ 51 ], [ 52 ], [ 53127121164177 ], [ 54 ], [ 55 ], 
  [ 57 ], [ 58 ], [ 59 ], [ 60 ], [ 65 ], [ 67 ], [ 68 ], [ 70 ], [ 71 ], 
  [ 72 ], [ 73 ], [ 75 ], [ 76 ], [ 77 ], [ 79 ], [ 81 ], [ 88 ], [ 89 ], 
  [ 90 ], [ 91 ], [ 94 ], [ 95 ], [ 97 ], [ 98 ], [ 100 ], [ 102 ], [ 103 ], 
  [ 104 ], [ 105 ], [ 106 ], [ 109 ], [ 111 ], [ 113 ], [ 114 ], [ 115 ], 
  [ 116 ], [ 117 ], [ 118 ], [ 119 ], [ 120 ], [ 122 ], [ 123 ], [ 124 ], 
  [ 126 ], [ 128 ], [ 129 ], [ 130 ], [ 131 ], [ 132 ], [ 136 ], [ 138 ], 
  [ 139 ], [ 140 ], [ 141 ], [ 14217317992150 ], [ 143 ], 
  [ 14411293 ], [ 148 ], [ 149 ], [ 151 ], [ 153 ], [ 155 ], [ 156 ], 
  [ 157 ], [ 158 ], [ 160 ], [ 161 ], [ 162 ], [ 163 ], [ 165 ], [ 166 ], 
  [ 167 ], [ 169 ], [ 170 ], [ 172 ], [ 174 ], [ 176 ], [ 178 ], [ 180 ], 
  [ 181 ], [ 182 ], [ 183 ], [ 184 ] ]
gap> l := Position(o, LambdaFunc(s)(g));
65
gap> l = fail or OrbSCCLookup(o)[l] <> m ;
false
gap> l <> scc[m][1];
false
gap> m := RhoOrbSCCIndex(d);
38
gap> o := RhoOrb(d);
<closed orbit, 147 points with Schreier tree with log>
gap> scc := OrbSCC(o);
[ [ 1 ], [ 2 ], [ 3 ], [ 4 ], [ 5 ], [ 6 ], [ 7 ], [ 8 ], [ 9 ], 
  [ 1042455048525351115134144 ], [ 11 ], [ 14 ], [ 15 ], 
  [ 16 ], [ 17 ], [ 18 ], [ 19 ], [ 20 ], [ 21 ], [ 22 ], [ 23 ], [ 24 ], 
  [ 25 ], [ 26 ], [ 27 ], [ 28 ], [ 29 ], [ 30 ], [ 31 ], [ 32 ], [ 33 ], 
  [ 34 ], [ 36 ], [ 37 ], [ 38 ], [ 40 ], [ 41 ], 
  [ 43461025969631289628110365112143547047
      98741001201231219412214513212493133128138
      125 ], [ 44 ], [ 49113858475 ], [ 55 ], [ 5695135 ], 
  [ 57 ], [ 58 ], [ 60 ], [ 611191086413 ], [ 66 ], [ 67 ], [ 68 ], 
  [ 71 ], [ 72 ], [ 73 ], [ 76 ], [ 77 ], [ 78 ], [ 79 ], [ 80 ], [ 82 ], 
  [ 83 ], [ 86 ], [ 87 ], [ 88 ], [ 90 ], [ 91 ], [ 92 ], [ 96 ], [ 97 ], 
  [ 99 ], [ 101 ], [ 104 ], [ 105 ], [ 106 ], [ 107 ], [ 109 ], [ 110 ], 
  [ 1111291473539 ], [ 114 ], [ 116 ], [ 117 ], [ 118 ], [ 126 ], 
  [ 127 ], [ 130 ], [ 131 ], [ 136 ], [ 137 ], [ 139 ], [ 140 ], [ 141 ], 
  [ 142 ], [ 146 ] ]
gap> l := Position(o, RhoFunc(s)(g));
123
gap> l = fail or OrbSCCLookup(o)[l] <> m;
false
gap> g := RhoOrbMult(o, m, l)[2] * g;;
gap> schutz := RhoOrbStabChain(d);
<stabilizer chain record, Base [ 12 ], Orbit length 2, Size: 2>
gap> l <> scc[m][1];
true
gap> cosets := LambdaCosets(d);
<enumerator of perm group>
gap> LambdaOrbStabChain(LambdaOrb(d), LambdaOrbSCCIndex(d));
false
gap> g := LambdaPerm(s)(rep, g);
()
gap> schutz <> false;
true
gap> o := LambdaOrb(d);
<closed orbit, 184 points with Schreier tree with log>
gap> m := LambdaOrbSCCIndex(d);
54
gap> lambda_schutz := LambdaOrbSchutzGp(o, m);
Group(())
gap> lambda_stab := LambdaOrbStabChain(o, m);
false
gap> o := RhoOrb(d);
<closed orbit, 147 points with Schreier tree with log>
gap> m := RhoOrbSCCIndex(d);
38
gap> rho_schutz := RhoOrbSchutzGp(o, m);
Group([ (1,12) ])
gap> rho_stab := RhoOrbStabChain(o, m);
true
gap> rho_stab = true;
true
gap> schutz := lambda_schutz;
Group(())
gap> lambda_stab = true;
false
gap> Parent(d) = s;
true
gap> PartialPerm([19], [612]) in d;
true
gap> RhoOrbRep(o, m);
[2,12][7,1]
gap> Representative(d);
[2,6][7,12]
gap> p := LambdaConjugator(Parent(d))(RhoOrbRep(o, m), Representative(d));;
gap> LambdaFunc(s)(RhoOrbRep(o, m));
112 ]
gap> OnSets(last, p);
612 ]
gap> LambdaFunc(s)(Representative(d));
612 ]
gap> rho_schutz := rho_schutz ^ p;
Group([ (6,12) ])
gap> f := PartialPermNC([69], [126]);
[9,6,12]
gap> s := Semigroup(gens);
<partial perm semigroup of rank 12 with 6 generators>
gap> l := LClass(s, f);
<Green's L-class: [9,6,12]>
gap> d := DClassOfLClass(l);
<Green's D-class: [9,6,12]>
gap> ForAll(l, x -> x in d);
true
gap> NrHClasses(l);
66
gap> RhoCosets(d);
<enumerator of perm group>
gap> Length(last);
2
gap> H := HClasses(l);;
gap> ForAll(H, x -> Representative(x) in l);
true
gap> ForAll(H, x -> Representative(x) in d);
true
gap> ForAll(H, x -> Representative(x) in s);
true
gap> ForAll(l, x -> x in l);
true

# MiscTest4
gap> gens := [Transformation([28371526]),
>   Transformation([35725638]),
>   Transformation([67414162]),
>   Transformation([88517528])];;
gap> s := Semigroup(gens);
<transformation semigroup of degree 8 with 4 generators>
gap> Size(s);
95540
gap> f := Transformation([22777127]);;
gap> l := LClassNC(s, f);
<Green's L-class: Transformation( [ 22777127 ] )>
gap> Transformation([22777127]) in last;
true
gap> g := Transformation([22777121]);;
gap> Size(l);
936
gap> h := GreensHClassOfElement(l, g);
<Green's H-class: Transformation( [ 22777121 ] )>
gap> Transformation([22777121]) in last;
true
gap> Size(h);
1
gap> SchutzenbergerGroup(l);
Sym( [ 127 ] )
gap> IsRegularGreensClass(l);
false
gap> IsGreensClassNC(h);
true
gap> ForAll(h, x -> x in l);
true
gap> ForAll(h, x -> x in s);
true
gap> SchutzenbergerGroup(h);
Group(())
gap> Idempotents(h);
[  ]
gap> IsGroupHClass(h);
false
gap> IsGreensHClass(h);
true
gap> GreensHRelation(s) = EquivalenceClassRelation(h);
true
gap> gens := [PartialPermNC([12459], [362105]),
>  PartialPermNC([123478], [1067941]),
>  PartialPermNC([12345679], [725693810]),
>  PartialPermNC([12356789], [103715926]),
>  PartialPermNC([235610], [41925]),
>  PartialPermNC([1467910], [872341])];;
gap> s := Semigroup(gens);
<partial perm semigroup of rank 10 with 6 generators>
gap> f := PartialPerm([]);;
gap> l := LClass(s, f);
<Green's L-class: <empty partial perm>>
gap> Size(s);
55279
gap> NrIdempotents(s);
141
gap> NrDClasses(s);
2064
gap> NrRClasses(s);
9568
gap> NrLClasses(s);
8369
gap> NrHClasses(s);
25175
gap> IsRegularSemigroup(s);
false
gap> l := LClass(s, f);
<Green's L-class: <empty partial perm>>
gap> h := HClassNC(l, f);
<Green's H-class: <empty partial perm>>
gap> Size(h);
1
gap> ForAll(h, x -> x in l);
true
gap> ForAll(h, x -> x in s);
true
gap> IsGreensClassNC(h);
true
gap> f := PartialPermNC([289], [8105]);;
gap> l := LClass(s, f);
<Green's L-class: [2,8,10][9,5]>
gap> h := HClassNC(l, f);
<Green's H-class: [2,8,10][9,5]>
gap> ForAll(h, x -> x in s);
true
gap> ForAll(h, x -> x in l);
true
gap> Size(h);
1

# MiscTest5
gap> gens := [Transformation([26726115]),
>   Transformation([38145671]),
>   Transformation([43277665]),
>   Transformation([71742563])];;
gap> s := Monoid(gens);
<transformation monoid of degree 8 with 4 generators>
gap> f := Transformation([54722225]);;
gap> f in s;
true
gap> l := LClass(s, f);
<Green's L-class: Transformation( [ 54722225 ] )>
gap> Transformation([54722225]) in last;
true
gap> IsGreensClassNC(l);
false
gap> Size(l);
1
gap> f := Transformation([43277665]);;
gap> l := LClass(s, f);
<Green's L-class: Transformation( [ 43277665 ] )>
gap> Transformation([43277665]) in last;
true
gap> Size(l);
1

# MiscTest6
gap> gens := [PartialPermNC([123], [143]),
>  PartialPermNC([123], [234]),
>  PartialPermNC([123], [421]),
>  PartialPermNC([124], [143])];;
gap> s := Semigroup(gens);
<partial perm semigroup of rank 4 with 4 generators>
gap> List(LClasses(s), IsRegularGreensClass);
[ false, false, false, false, true, true, false, false, true, true, false, 
  false, false, false, true, true, true, true, false, true ]
gap> Number(last, x -> x = true);
9
gap> GroupOfUnits(s);
fail
gap> List(LClasses(s), NrIdempotents);
00001100110000111101 ]
gap> NrIdempotents(s);
9
gap> List(LClasses(s), Size);
11114444444441444441 ]
gap> Sum(last);
62
gap> Size(s);
62
gap> f := PartialPerm([23], [24]);;
gap> l := LClassNC(s, f);
<Green's L-class: [3,4](2)>
gap> HClassReps(l);
[ [3,4](2), [1,2,4], [3,2,4], [1,4](2) ]
gap> IsRegularGreensClass(l);
false
gap> NrHClasses(l);
4
gap> l := LClass(s, f);
<Green's L-class: [3,4](2)>
gap> HClassReps(l);
[ [1,4](2), [3,4](2), [1,2,4], [3,2,4] ]
gap> IsRegularGreensClass(l);
false
gap> ForAll(HClassReps(l), x -> x in l);
true
gap> d := DClassOfLClass(l);
<Green's D-class: [1,4](2)>
gap> Size(d);
4
gap> Size(l);
4
gap> AsSSortedList(l) = AsSortedList(d);
true
gap> AsSSortedList(d) = AsSSortedList(l);
true
gap> l < d;
false
gap> ForAll(l, x -> x in d);
true
gap> ForAll(d, x -> x in l);
true
gap> HClassReps(d) = HClassReps(l);
true
gap> NrRClasses(d);
4
gap> NrLClasses(d);
1
gap> NrHClasses(d);
4

# MiscTest7
gap> gens := [Transformation([1562521]),
>   Transformation([1754357]),
>   Transformation([2772411]),
>   Transformation([3224176]),
>   Transformation([3351716]),
>   Transformation([3361752]),
>   Transformation([3465447]),
>   Transformation([5245145]),
>   Transformation([5522672]),
>   Transformation([7754532])];;
gap> s := Semigroup(gens);;
gap> l := LClasses(s)[1154];
<Green's L-class: Transformation( [ 7223612 ] )>
gap> Transformation([7223612]) in last;
true
gap> IsRegularGreensClass(l);
false
gap> d := DClassOfLClass(l);
<Green's D-class: Transformation( [ 7223612 ] )>
gap> Transformation([7223612]) in last;
true
gap> Size(l);
1
gap> Size(d);
1
gap> NrHClasses(d);
1
gap> NrLClasses(d);
1
gap> NrRClasses(d);
1
gap> l := LClasses(s)[523];
<Green's L-class: Transformation( [ 5551736 ] )>
gap> Transformation([5551736]) in last;
true
gap> Size(l);
1

# MiscTest8
gap> gens := [PartialPermNC([1235], [5734]),
>  PartialPermNC([12345], [64127]),
>  PartialPermNC([12347], [27458]),
>  PartialPermNC([12356], [56143]),
>  PartialPermNC([12467], [21674]),
>  PartialPermNC([13567], [62357]),
>  PartialPermNC([123457], [416285]),
>  PartialPermNC([123458], [563827]),
>  PartialPermNC([123467], [152674]),
>  PartialPermNC([1234568], [7528413])];;
gap> s := Semigroup(gens);
<partial perm semigroup of rank 8 with 10 generators>
gap> Size(s);
72713
gap> NrRClasses(s);
25643
gap> NrDClasses(s);
4737
gap> NrLClasses(s);
11323
gap> NrIdempotents(s);
121
gap> IsRegularSemigroup(s);
false
gap> f := PartialPerm([347], [478]);;
gap> d := DClass(s, f);
<Green's D-class: [3,4,7,8]>
gap> Size(d);
282
gap> NrRClasses(d);
282
gap> NrLClasses(d);
1
gap> IsRegularDClass(d);
false
gap> RhoCosets(d);
<enumerator of perm group>
gap> Length(last);
6
gap> AsList(last2);
[ (), (4,8), (4,7,8), (7,8), (4,8,7), (4,7) ]
gap> SchutzenbergerGroup(d);
Group(())
gap> RhoOrbStabChain(d);
<stabilizer chain record, Base [ 78 ], Orbit length 3, Size: 6>
gap> data := SemigroupData(Parent(d));
<closed semigroup data with 25643 reps, 178 lambda-values, 150 rho-values>
gap> OrbSCC(data)[OrbSCCLookup(data)[SemigroupDataIndex(d)]];
3314434056835151353540108819001342219510431151
  1336218913611902713134656171113435197061333553
  72053910865711158560113419731337184210407251362
  19041357120211021367219618407171181133921925441103
  19322888136072913661124195822141126715135222041340
  1013136850310141801275036741335218829971344356727
  109019053587311139191110417121347137172113592213
  18382788104518373577281364134920522009190328592873
  707718341708133834571914734413562208197822031369
  2217286210911907710134121933127343714135122022191
  31267242037404172613632215376720572198205820392990
  70911371976184127942936297319741089190128552210
  18991831220931322866730137022181348219911361975
  313713582212313340441365279519282065301928841898
  1909104618393421977293827921483461908286129393850
  201029743891292020513003192928852216313519102863
  300431243704391627913708457355174042219031254040
  274940434703480739252889376627832782391027892206
  313019793706135522073131219431282856376528572201
  293727903707220522001092286419131345219718333136
  313419602921383128651906286018321918114018001353
  195919331354279311052211113510871334135028581157
  3129355152146 ]
gap> Position(DClasses(s), d);
17
gap> d := DClasses(s)[18];
<Green's D-class: [1,2][3,7,5][6,8]>
gap> OrbSCC(data)[OrbSCCLookup(data)[SemigroupDataIndex(d)]];
36 ]
gap> LambdaCosets(d);
<enumerator of perm group>
gap> LambdaOrbSCC(d);
22 ]
gap> RhoOrbSCC(d);
35 ]
gap> ForAll(d, x -> x in d);
true
gap> enum := Enumerator(d);
<enumerator of <Green's D-class: [1,2][3,7,5][6,8]>>
gap> enum[1];
[1,2][3,7,5][6,8]
gap> Length(enum);
1
gap> Size(d);
1
gap> ForAll(enum, x -> enum[Position(enum, x)] = x);
true
gap> s := Semigroup(gens);
<partial perm semigroup of rank 8 with 10 generators>
gap> d := DClass(s, PartialPerm([136], [748]));
<Green's D-class: [1,7][3,4][6,8]>
gap> enum := Enumerator(d);
<enumerator of <Green's D-class: [1,7][3,4][6,8]>>
gap> ForAll(enum, x -> enum[Position(enum, x)] = x);
true
gap> ForAll([1 .. Length(enum)], x -> Position(enum, enum[x]) = x);
true
gap> enum[1];
[1,7][3,4][6,8]
gap> enum[2];
[2,8][3,7][6,4]
gap> Position(enum, enum[2]);
2
gap> Position(enum, enum[3]);
3
gap> enum[3];
[1,4][3,8][5,7]
gap> enum[4];
[2,7][6,4](8)
gap> for d in DClasses(s) do
>   enum := Enumerator(d);
>   if not ForAll(enum, x -> enum[Position(enum, x)] = x) then
>     Print("problem with enumerator of a D-class 1\n");
>   fi;
> od;
gap> Size(s);
72713
gap> NrRClasses(s);
25643
gap> NrLClasses(s);
11323
gap> NrDClasses(s);
4737
gap> NrIdempotents(s);
121

# MiscTest9
gap> gens := [Transformation([34121]),
>   Transformation([42155]),
>   Transformation([42224])];;
gap> s := Semigroup(gens);;
gap> for d in DClasses(s) do
> enum := Enumerator(d);
> if not ForAll(enum, x -> enum[Position(enum, x)] = x) then
> Print("problem with enumerator of a D-class 1\n");
> fi;
> od;
gap> gens := [PartialPermNC([1236810], [267915]),
> PartialPermNC([12345810], [7143265]),
> PartialPermNC([123467810], [381941056])];;
gap> s := Semigroup(gens);;
gap> f := PartialPerm([24], [65]);;
gap> d := DClassNC(s, f);
<Green's D-class: [2,6][4,5]>
gap> GreensHClasses(d);
[ <Green's H-class: [2,6][4,5]> ]
gap> Size(d);
1

# MiscTest10
gap> gens :=
> [PartialPermNC([1234567891112131415161719,
>   20242526272829313234353637384043454649,
>   50515355565758596061646668697072737477,
>   8081838687899198], [8970792784999733377,
>   6941186329427556906498493510071320226,
>   113974885810612555926221345744145359,
>   128778833032688623479315769791]),
>  PartialPermNC([12346789101112131415161718,
>   19202223242528303133343536394042434445,
>   46475053545558596465676970717273767778,
>   81828485868789929495], [513944480549981,
>   3179030466836111001787721429961913243,
>   64604126408236338571259839296183652,
>   372149167524271486357982513925776222]),
>  PartialPermNC([1234567891011121314151617,
>   18192021232426282930313233343536373839,
>   40424448515253555657586063646566677173,
>   75778082838586909196979899],
> [6793185986169973607417958549794336615,
>   447741558468699431229542106358347253,
>   8957627620522235759878404628690126526,
>   3625618338398792974330])];;
gap> s := Semigroup(gens);;
gap> f := PartialPerm([1227374046505153],
> [9838499100217089]);;
gap> d := DClassNC(s, f);
<Green's D-class: [12,98][27,3][37,84][40,99][46,100][50,21][51,70][53,89]>
gap> Size(d);
1
gap> GreensHClasses(d);
[ <Green's H-class: [12,98][27,3][37,84][40,99][46,100][50,21][51,70][53,89]> 
 ]
gap> iter := IteratorOfDClasses(s);
<iterator>
gap> repeat d := NextIterator(iter); until Size(d) > 1;
gap> d;
<Green's D-class: [8,63][57,87]>
gap> Size(d);
2036
gap> IsRegularDClass(d);
false
gap> GreensHClasses(d);;
gap> NrHClasses(d);
2036
gap> GreensLClasses(d);
[ <Green's L-class: [8,63][57,87]> ]

# MiscTest11
gap> gens := [Transformation([1341]),
> Transformation([2412]),
> Transformation([3113]),
> Transformation([3341])];;
gap> s := Monoid(gens);;
gap> List(GreensDClasses(s), LClasses);
[ [ <Green's L-class: IdentityTransformation> ], 
  [ <Green's L-class: Transformation( [ 1341 ] )>, 
      <Green's L-class: Transformation( [ 4134 ] )>, 
      <Green's L-class: Transformation( [ 3413 ] )> ], 
  [ <Green's L-class: Transformation( [ 2412 ] )> ], 
  [ <Green's L-class: Transformation( [ 3113 ] )>, 
      <Green's L-class: Transformation( [ 1441 ] )>, 
      <Green's L-class: Transformation( [ 2112 ] )>, 
      <Green's L-class: Transformation( [ 2442 ] )>, 
      <Green's L-class: Transformation( [ 4334 ] )> ], 
  [ <Green's L-class: Transformation( [ 3341 ] )> ], 
  [ <Green's L-class: Transformation( [ 1111 ] )>, 
      <Green's L-class: Transformation( [ 2222 ] )>, 
      <Green's L-class: Transformation( [ 3333 ] )>, 
      <Green's L-class: Transformation( [ 4444 ] )> ] ]
gap> List(Concatenation(last), Size);
11111101010101031111 ]
gap> Sum(last);
62
gap> Size(s);
62
gap> l := Concatenation(List(GreensDClasses(s), LClasses));
[ <Green's L-class: IdentityTransformation>, 
  <Green's L-class: Transformation( [ 1341 ] )>, 
  <Green's L-class: Transformation( [ 4134 ] )>, 
  <Green's L-class: Transformation( [ 3413 ] )>, 
  <Green's L-class: Transformation( [ 2412 ] )>, 
  <Green's L-class: Transformation( [ 3113 ] )>, 
  <Green's L-class: Transformation( [ 1441 ] )>, 
  <Green's L-class: Transformation( [ 2112 ] )>, 
  <Green's L-class: Transformation( [ 2442 ] )>, 
  <Green's L-class: Transformation( [ 4334 ] )>, 
  <Green's L-class: Transformation( [ 3341 ] )>, 
  <Green's L-class: Transformation( [ 1111 ] )>, 
  <Green's L-class: Transformation( [ 2222 ] )>, 
  <Green's L-class: Transformation( [ 3333 ] )>, 
  <Green's L-class: Transformation( [ 4444 ] )> ]
gap> List(last, Elements);
[ [ IdentityTransformation ], [ Transformation( [ 1341 ] ) ], 
  [ Transformation( [ 4134 ] ) ], [ Transformation( [ 3413 ] ) ], 
  [ Transformation( [ 2412 ] ) ], 
  [ Transformation( [ 1113 ] ), Transformation( [ 1131 ] ), 
      Transformation( [ 1133 ] ), Transformation( [ 1311 ] ), 
      Transformation( [ 1331 ] ), Transformation( [ 3113 ] ), 
      Transformation( [ 3133 ] ), Transformation( [ 3311 ] ), 
      Transformation( [ 3313 ] ), Transformation( [ 3331 ] ) ], 
  [ Transformation( [ 111 ] ), Transformation( [ 1141 ] ), 
      Transformation( [ 1144 ] ), Transformation( [ 1411 ] ), 
      Transformation( [ 1441 ] ), Transformation( [ 4114 ] ), 
      Transformation( [ 4144 ] ), Transformation( [ 4411 ] ), 
      Transformation( [ 4414 ] ), Transformation( [ 4441 ] ) ], 
  [ Transformation( [ 1112 ] ), Transformation( [ 1121 ] ), 
      Transformation( [ 1122 ] ), Transformation( [ 1211 ] ), 
      Transformation( [ 1221 ] ), Transformation( [ 2112 ] ), 
      Transformation( [ 2122 ] ), Transformation( [ 2211 ] ), 
      Transformation( [ 2212 ] ), Transformation( [ 2221 ] ) ], 
  [ Transformation( [ 222 ] ), Transformation( [ 2242 ] ), 
      Transformation( [ 2244 ] ), Transformation( [ 2422 ] ), 
      Transformation( [ 2442 ] ), Transformation( [ 4224 ] ), 
      Transformation( [ 4244 ] ), Transformation( [ 4422 ] ), 
      Transformation( [ 4424 ] ), Transformation( [ 4442 ] ) ], 
  [ Transformation( [ 333 ] ), Transformation( [ 3343 ] ), 
      Transformation( [ 3344 ] ), Transformation( [ 3433 ] ), 
      Transformation( [ 3443 ] ), Transformation( [ 4334 ] ), 
      Transformation( [ 4344 ] ), Transformation( [ 4433 ] ), 
      Transformation( [ 4434 ] ), Transformation( [ 4443 ] ) ], 
  [ Transformation( [ 11 ] ), Transformation( [ 3341 ] ), 
      Transformation( [ 4413 ] ) ], [ Transformation( [ 1111 ] ) ]
    , [ Transformation( [ 2222 ] ) ], 
  [ Transformation( [ 3333 ] ) ], [ Transformation( [ 4444 ] ) ] ]
gap> Union(last);
[ Transformation( [ 1111 ] ), Transformation( [ 1112 ] ), 
  Transformation( [ 1113 ] ), Transformation( [ 111 ] ), 
  Transformation( [ 1121 ] ), Transformation( [ 1122 ] ), 
  Transformation( [ 1131 ] ), Transformation( [ 1133 ] ), 
  Transformation( [ 11 ] ), Transformation( [ 1141 ] ), 
  Transformation( [ 1144 ] ), Transformation( [ 1211 ] ), 
  Transformation( [ 1221 ] ), IdentityTransformation, 
  Transformation( [ 1311 ] ), Transformation( [ 1331 ] ), 
  Transformation( [ 1341 ] ), Transformation( [ 1411 ] ), 
  Transformation( [ 1441 ] ), Transformation( [ 2112 ] ), 
  Transformation( [ 2122 ] ), Transformation( [ 2211 ] ), 
  Transformation( [ 2212 ] ), Transformation( [ 2221 ] ), 
  Transformation( [ 2222 ] ), Transformation( [ 222 ] ), 
  Transformation( [ 2242 ] ), Transformation( [ 2244 ] ), 
  Transformation( [ 2412 ] ), Transformation( [ 2422 ] ), 
  Transformation( [ 2442 ] ), Transformation( [ 3113 ] ), 
  Transformation( [ 3133 ] ), Transformation( [ 3311 ] ), 
  Transformation( [ 3313 ] ), Transformation( [ 3331 ] ), 
  Transformation( [ 3333 ] ), Transformation( [ 333 ] ), 
  Transformation( [ 3341 ] ), Transformation( [ 3343 ] ), 
  Transformation( [ 3344 ] ), Transformation( [ 3413 ] ), 
  Transformation( [ 3433 ] ), Transformation( [ 3443 ] ), 
  Transformation( [ 4114 ] ), Transformation( [ 4134 ] ), 
  Transformation( [ 4144 ] ), Transformation( [ 4224 ] ), 
  Transformation( [ 4244 ] ), Transformation( [ 4334 ] ), 
  Transformation( [ 4344 ] ), Transformation( [ 4411 ] ), 
  Transformation( [ 4413 ] ), Transformation( [ 4414 ] ), 
  Transformation( [ 4422 ] ), Transformation( [ 4424 ] ), 
  Transformation( [ 4433 ] ), Transformation( [ 4434 ] ), 
  Transformation( [ 4441 ] ), Transformation( [ 4442 ] ), 
  Transformation( [ 4443 ] ), Transformation( [ 4444 ] ) ]
gap> last = AsSSortedList(s);
true

# MiscTest12
gap> gens := [PartialPermNC([1234], [5716]),
> PartialPermNC([1235], [5273]),
> PartialPermNC([12367], [13475]),
> PartialPermNC([123457], [324615])];;
gap> s := Semigroup(gens);;
gap> Size(s);
840
gap> NrDClasses(s);
176

# MiscTest13
gap> gens := [PartialPermNC([1234], [5716]),
> PartialPermNC([1235], [5273]),
> PartialPermNC([12367], [13475]),
> PartialPermNC([123457], [324615])];;
gap> s := Semigroup(gens);;
gap> Size(s);
840
gap> NrDClasses(s);
176
gap> List(DClasses(s), RClasses);
[ [ <Green's R-class: [2,7][3,1,5][4,6]> ], 
  [ <Green's R-class: [1,5,3,7](2)> ], 
  [ <Green's R-class: [2,3,4][6,7,5](1)> ], 
  [ <Green's R-class: [7,5,1,3,4,6](2)> ], 
  [ <Green's R-class: [3,5]>, 
      <Green's R-class: <identity partial perm on [ 5 ]>>, 
      <Green's R-class: [1,5]>, <Green's R-class: [7,5]>, 
      <Green's R-class: [6,5]>, <Green's R-class: [4,5]> ], 
  [ <Green's R-class: [1,3][2,5]>, <Green's R-class: [2,5,3]>, 
      <Green's R-class: [2,5][7,3]>, <Green's R-class: [2,5](3)> ], 
  [ <Green's R-class: [2,1,5,6]>, <Green's R-class: [2,1][7,6](5)>, 
      <Green's R-class: [2,1,5][3,6]>, <Green's R-class: [2,1,6](5)>, 
      <Green's R-class: [2,1][7,5,6]>, <Green's R-class: [2,1,6][3,5]> ], 
  [ <Green's R-class: [2,7][3,6](1)(5)> ], 
  [ <Green's R-class: [1,3,5]>, <Green's R-class: [1,5,3]>, 
      <Green's R-class: [1,5][7,3]>, <Green's R-class: [1,5][6,3]>, 
      <Green's R-class: [4,3,5]>, <Green's R-class: [4,3](5)>, 
      <Green's R-class: [7,5](3)>, <Green's R-class: (3,5)>, 
      <Green's R-class: [7,3](5)> ], 
  [ <Green's R-class: [1,3][5,7](2)>, <Green's R-class: [5,3](2)(7)>, 
      <Green's R-class: [1,3,7](2)>, <Green's R-class: [1,7][5,3](2)>, 
      <Green's R-class: [5,7,3](2)>, <Green's R-class: [1,7](2)(3)> ], 
  [ <Green's R-class: [1,5][2,7,3]> ], [ <Green's R-class: [1,7,3](2)(5)> ], 
  [ <Green's R-class: [2,5][3,1][4,7]> ], [ <Green's R-class: [2,3,5,4]> ], 
  [ <Green's R-class: [2,4][6,5](1)> ], [ <Green's R-class: [2,3][5,1,4,7]> ],
  [ <Green's R-class: [2,5,3](1)>, <Green's R-class: [2,5,1][7,3]>, 
      <Green's R-class: [2,5](1)(3)>, <Green's R-class: [2,5,1,3]>, 
      <Green's R-class: [2,5,3][7,1]>, <Green's R-class: [2,5](1,3)> ], 
  [ <Green's R-class: [3,5,4](1)(2)> ], 
  [ <Green's R-class: [2,4][7,1,3,6,5]> ], 
  [ <Green's R-class: [5,3,6][7,1,4](2)> ], 
  [ <Green's R-class: <empty partial perm>> ], [ <Green's R-class: [2,5]> ], 
  [ <Green's R-class: [1,5][2,6]>, <Green's R-class: [2,6](5)>, 
      <Green's R-class: [2,6][7,5]>, <Green's R-class: [2,6][3,5]> ], 
  [ <Green's R-class: [1,5,6][2,7]>, <Green's R-class: [2,7,6](5)>, 
      <Green's R-class: [1,5][2,7][3,6]>, <Green's R-class: [1,6][2,7](5)>, 
      <Green's R-class: [2,7,5,6]>, <Green's R-class: [1,6][2,7][3,5]> ], 
  [ <Green's R-class: [2,6][7,5](1)> ], [ <Green's R-class: [2,7,5,1,6]> ], 
  [ <Green's R-class: [1,7](2)>, <Green's R-class: [5,7](2)>, 
      <Green's R-class: <identity partial perm on [ 27 ]>>, 
      <Green's R-class: [3,7](2)> ], 
  [ <Green's R-class: [1,5,7][2,3]>, <Green's R-class: [2,3](5)(7)>, 
      <Green's R-class: [1,5][2,3,7]>, <Green's R-class: [1,7][2,3](5)>, 
      <Green's R-class: [2,3](5,7)>, <Green's R-class: [1,7][2,3,5]> ], 
  [ <Green's R-class: [1,5,3](2)>, <Green's R-class: [7,3](2)(5)>, 
      <Green's R-class: [1,5](2)(3)>, <Green's R-class: [1,3](2)(5)>, 
      <Green's R-class: [7,5,3](2)>, <Green's R-class: [1,3,5](2)> ], 
  [ <Green's R-class: [1,7,5][6,3]> ], 
  [ <Green's R-class: [1,7](2)(5)>, <Green's R-class: (2)(5,7)>, 
      <Green's R-class: [1,7][3,5](2)> ], 
  [ <Green's R-class: [2,5,7](1)>, <Green's R-class: [2,5,1](7)>, 
      <Green's R-class: [2,5][3,7](1)>, <Green's R-class: [2,5,1,7]>, 
      <Green's R-class: [2,5,7,1]>, <Green's R-class: [2,5][3,1,7]> ], 
  [ <Green's R-class: [1,4][2,3](5)>, <Green's R-class: [2,3][7,5,4]>, 
      <Green's R-class: [1,4][2,3,5]>, <Green's R-class: [1,5,4][2,3]>, 
      <Green's R-class: [2,3][7,4](5)>, <Green's R-class: [1,5][2,3,4]> ], 
  [ <Green's R-class: [1,5][2,3][7,4]> ], [ <Green's R-class: [2,4,5,1]> ], 
  [ <Green's R-class: [3,4](1)>, <Green's R-class: [5,1,4]>, 
      <Green's R-class: [7,1,4]>, <Green's R-class: [6,1,4]>, 
      <Green's R-class: [3,4,1]>, <Green's R-class: [5,4,1]>, 
      <Green's R-class: [3,1][7,4]>, <Green's R-class: [3,4][5,1]>, 
      <Green's R-class: [5,4][7,1]>, <Green's R-class: [3,1,4]>, 
      <Green's R-class: [5,4](1)>, <Green's R-class: [7,4](1)>, 
      <Green's R-class: [6,4](1)>, <Green's R-class: [3,1](4)>, 
      <Green's R-class: [5,1](4)>, <Green's R-class: [3,4][7,1]>, 
      <Green's R-class: [3,1][5,4]>, <Green's R-class: [5,1][7,4]> ], 
  [ <Green's R-class: [3,7,1,4]> ], [ <Green's R-class: [2,3,7,1][5,4]> ], 
  [ <Green's R-class: [1,4](2)(5)>, <Green's R-class: [7,5,4](2)>, 
      <Green's R-class: [1,4][3,5](2)>, <Green's R-class: [1,5,4](2)>, 
      <Green's R-class: [7,4](2)(5)>, <Green's R-class: [1,5][3,4](2)> ], 
  [ <Green's R-class: [2,5][7,4](1)> ], [ <Green's R-class: [7,4](1,5)(2)> ], 
  [ <Green's R-class: [2,1][4,5](3)> ], [ <Green's R-class: [2,4][3,1][5,6]> ]
    , [ <Green's R-class: [2,6,1,3]> ], [ <Green's R-class: [1,6][2,4,5,3]> ],
  [ <Green's R-class: [2,1,3][5,4]>, <Green's R-class: [2,1][5,3][7,4]>, 
      <Green's R-class: [2,1,3,4]>, <Green's R-class: [2,1,4][5,3]>, 
      <Green's R-class: [2,1][5,4][7,3]>, <Green's R-class: [2,1,4](3)> ], 
  [ <Green's R-class: [5,6](1,3)(2)> ], [ <Green's R-class: [2,6,1,4][7,3]> ],
  [ <Green's R-class: [1,6][5,4][7,3](2)> ], 
  [ <Green's R-class: [1,5][3,6]>, <Green's R-class: [1,6](5)>, 
      <Green's R-class: [1,6][7,5]>, <Green's R-class: [1,6,5]>, 
      <Green's R-class: [3,6][4,5]>, <Green's R-class: [4,5,6]>, 
      <Green's R-class: [3,5][7,6]>, <Green's R-class: [3,6](5)>, 
      <Green's R-class: [7,5,6]>, <Green's R-class: [1,6][3,5]>, 
      <Green's R-class: [1,5,6]>, <Green's R-class: [1,5][7,6]>, 
      <Green's R-class: [1,5](6)>, <Green's R-class: [3,5][4,6]>, 
      <Green's R-class: [4,6](5)>, <Green's R-class: [3,6][7,5]>, 
      <Green's R-class: [3,5,6]>, <Green's R-class: [7,6](5)> ], 
  [ <Green's R-class: [1,6][2,7]>, <Green's R-class: [2,7][5,6]>, 
      <Green's R-class: [2,7,6]>, <Green's R-class: [2,7][3,6]> ], 
  [ <Green's R-class: [2,5,6](1)>, <Green's R-class: [2,5,1][7,6]>, 
      <Green's R-class: [2,5][3,6](1)>, <Green's R-class: [2,5,1,6]>, 
      <Green's R-class: [2,5,6][7,1]>, <Green's R-class: [2,5][3,1,6]> ], 
  [ <Green's R-class: [2,7](1)(5)>, <Green's R-class: [2,7,5,1]>, 
      <Green's R-class: [2,7][3,5](1)>, <Green's R-class: [2,7](1,5)>, 
      <Green's R-class: [2,7,1](5)>, <Green's R-class: [2,7][3,1,5]> ], 
  [ <Green's R-class: [7,1,6,5]> ], 
  [ <Green's R-class: [2,7][5,1,6]>, <Green's R-class: [2,7,1][5,6]>, 
      <Green's R-class: [2,7][3,1,6]>, <Green's R-class: [2,7][5,6](1)>, 
      <Green's R-class: [2,7,6][5,1]>, <Green's R-class: [2,7][3,6](1)> ], 
  [ <Green's R-class: <identity partial perm on [ 2 ]>> ], 
  [ <Green's R-class: [6,3][7,5]> ], [ <Green's R-class: [2,5][4,3,7]> ], 
  [ <Green's R-class: [2,4](1)>, <Green's R-class: [2,4][5,1]>, 
      <Green's R-class: [2,4][7,1]>, <Green's R-class: [2,4][3,1]> ], 
  [ <Green's R-class: [2,4][3,5][7,1]> ], 
  [ <Green's R-class: [2,1,4]>, <Green's R-class: [2,1][5,4]>, 
      <Green's R-class: [2,1][7,4]>, <Green's R-class: [2,1][3,4]> ], 
  [ <Green's R-class: [2,7][6,1,4]> ], 
  [ <Green's R-class: [1,4][3,7]>, <Green's R-class: [1,7][5,4]>, 
      <Green's R-class: [1,7,4]>, <Green's R-class: [1,7][6,4]>, 
      <Green's R-class: [3,7](4)>, <Green's R-class: [5,7](4)>, 
      <Green's R-class: [3,4](7)>, <Green's R-class: [3,7][5,4]>, 
      <Green's R-class: [5,7,4]>, <Green's R-class: [1,7][3,4]>, 
      <Green's R-class: [1,4][5,7]>, <Green's R-class: [1,4](7)>, 
      <Green's R-class: [1,4][6,7]>, <Green's R-class: [3,4,7]>, 
      <Green's R-class: [5,4,7]>, <Green's R-class: [3,7,4]>, 
      <Green's R-class: [3,4][5,7]>, <Green's R-class: [5,4](7)> ], 
  [ <Green's R-class: [2,3,1,4][5,7]> ], [ <Green's R-class: [2,7,4][6,1]> ], 
  [ <Green's R-class: [1,7,4][2,3]> ], 
  [ <Green's R-class: [5,4](1)(2)>, <Green's R-class: [5,1][7,4](2)>, 
      <Green's R-class: [3,4](1)(2)>, <Green's R-class: [5,1,4](2)>, 
      <Green's R-class: [5,4][7,1](2)>, <Green's R-class: [3,1,4](2)> ], 
  [ <Green's R-class: [6,4][7,1,5]> ], 
  [ <Green's R-class: [2,1,3](5)>, <Green's R-class: [2,1][7,5,3]>, 
      <Green's R-class: [2,1,3,5]>, <Green's R-class: [2,1,5,3]>, 
      <Green's R-class: [2,1][7,3](5)>, <Green's R-class: [2,1,5](3)> ], 
  [ <Green's R-class: [2,4][5,1,6]>, <Green's R-class: [2,4][5,6][7,1]>, 
      <Green's R-class: [2,4][3,1,6]>, <Green's R-class: [2,4][5,6](1)>, 
      <Green's R-class: [2,4][5,1][7,6]>, <Green's R-class: [2,4][3,6](1)> ], 
  [ <Green's R-class: [2,4][7,6](1)> ], [ <Green's R-class: [2,6][4,1][5,3]> ]
    , 
  [ <Green's R-class: [1,3,6]>, <Green's R-class: [1,6][5,3]>, 
      <Green's R-class: [1,6][7,3]>, <Green's R-class: [1,6,3]>, 
      <Green's R-class: [4,3,6]>, <Green's R-class: [4,3][5,6]>, 
      <Green's R-class: [7,6](3)>, <Green's R-class: [5,3,6]>, 
      <Green's R-class: [5,6][7,3]>, <Green's R-class: [1,6](3)>, 
      <Green's R-class: [1,3][5,6]>, <Green's R-class: [1,3][7,6]>, 
      <Green's R-class: [1,3](6)>, <Green's R-class: [4,6](3)>, 
      <Green's R-class: [4,6][5,3]>, <Green's R-class: [7,3,6]>, 
      <Green's R-class: [5,6](3)>, <Green's R-class: [5,3][7,6]> ], 
  [ <Green's R-class: [1,6][7,3,5]> ], [ <Green's R-class: [2,4][7,3,5,6]> ], 
  [ <Green's R-class: [5,1,6](2)>, <Green's R-class: [5,6][7,1](2)>, 
      <Green's R-class: [3,1,6](2)>, <Green's R-class: [5,6](1)(2)>, 
      <Green's R-class: [5,1][7,6](2)>, <Green's R-class: [3,6](1)(2)> ], 
  [ <Green's R-class: [2,1,3][7,6]> ], [ <Green's R-class: [5,3][7,6](1)(2)> ]
    , [ <Green's R-class: [2,3,4,1]> ], [ <Green's R-class: [2,6][5,4,1]> ], 
  [ <Green's R-class: [1,4][2,3][5,6]>, <Green's R-class: [2,3][5,4][7,6]>, 
      <Green's R-class: [1,4][2,3,6]>, <Green's R-class: [1,6][2,3][5,4]>, 
      <Green's R-class: [2,3][5,6][7,4]>, <Green's R-class: [1,6][2,3,4]> ], 
  [ <Green's R-class: [1,4][5,3](2)>, <Green's R-class: [5,4][7,3](2)>, 
      <Green's R-class: [1,4](2)(3)>, <Green's R-class: [1,3][5,4](2)>, 
      <Green's R-class: [5,3][7,4](2)>, <Green's R-class: [1,3,4](2)> ], 
  [ <Green's R-class: [1,6,3][7,4]> ], 
  [ <Green's R-class: [1,6][5,4](2)>, <Green's R-class: [5,6][7,4](2)>, 
      <Green's R-class: [1,6][3,4](2)>, <Green's R-class: [1,4][5,6](2)>, 
      <Green's R-class: [5,4][7,6](2)>, <Green's R-class: [1,4][3,6](2)> ], 
  [ <Green's R-class: [1,6][2,5]>, <Green's R-class: [2,5,6]>, 
      <Green's R-class: [2,5][7,6]>, <Green's R-class: [2,5][3,6]> ], 
  [ <Green's R-class: [7,6,5]> ], [ <Green's R-class: [7,5](6)> ], 
  [ <Green's R-class: [2,1][3,6][4,5]> ], [ <Green's R-class: [2,5][4,3]> ], 
  [ <Green's R-class: [1,7][2,5,3]>, <Green's R-class: [2,5,7,3]>, 
      <Green's R-class: [1,7][2,5](3)>, <Green's R-class: [1,3][2,5,7]>, 
      <Green's R-class: [2,5,3](7)>, <Green's R-class: [1,3,7][2,5]> ], 
  [ <Green's R-class: [2,3][6,5]> ], [ <Green's R-class: [2,4][3,1](5)> ], 
  [ <Green's R-class: [2,7][5,4,1]> ], 
  [ <Green's R-class: [2,3][5,1,7]>, <Green's R-class: [2,3][5,7,1]>, 
      <Green's R-class: [2,3,1,7]>, <Green's R-class: [2,3][5,7](1)>, 
      <Green's R-class: [2,3][5,1](7)>, <Green's R-class: [2,3,7](1)> ], 
  [ <Green's R-class: [2,1,4](7)> ], [ <Green's R-class: [2,3][5,4](1)(7)> ], 
  [ <Green's R-class: [2,4,1]> ], 
  [ <Green's R-class: [1,7][2,4]>, <Green's R-class: [2,4][5,7]>, 
      <Green's R-class: [2,4](7)>, <Green's R-class: [2,4][3,7]> ], 
  [ <Green's R-class: [2,4](1,5)>, <Green's R-class: [2,4][7,1](5)>, 
      <Green's R-class: [2,4][3,1,5]>, <Green's R-class: [2,4](1)(5)>, 
      <Green's R-class: [2,4][7,5,1]>, <Green's R-class: [2,4][3,5](1)> ], 
  [ <Green's R-class: [2,1][3,5](4)> ], 
  [ <Green's R-class: [1,3][2,6]>, <Green's R-class: [2,6][5,3]>, 
      <Green's R-class: [2,6][7,3]>, <Green's R-class: [2,6](3)> ], 
  [ <Green's R-class: [2,6][7,3,1]> ], 
  [ <Green's R-class: [1,6][2,3]>, <Green's R-class: [2,3][5,6]>, 
      <Green's R-class: [2,3][7,6]>, <Green's R-class: [2,3,6]> ], 
  [ <Green's R-class: [1,6,3][2,5]> ], [ <Green's R-class: [1,6][2,4](3)(5)> ]
    , [ <Green's R-class: [2,5][7,6,3]> ], 
  [ <Green's R-class: [1,5][2,4][7,6]> ], 
  [ <Green's R-class: [1,3][5,6](2)>, <Green's R-class: [5,3][7,6](2)>, 
      <Green's R-class: [1,3,6](2)>, <Green's R-class: [1,6][5,3](2)>, 
      <Green's R-class: [5,6][7,3](2)>, <Green's R-class: [1,6](2)(3)> ], 
  [ <Green's R-class: [7,3](1)(6)> ], 
  [ <Green's R-class: [1,4][2,6]>, <Green's R-class: [2,6][5,4]>, 
      <Green's R-class: [2,6][7,4]>, <Green's R-class: [2,6][3,4]> ], 
  [ <Green's R-class: [2,6][3,1][7,4]> ], [ <Green's R-class: [2,4,3,6]> ], 
  [ <Green's R-class: [1,6][2,4]>, <Green's R-class: [2,4][5,6]>, 
      <Green's R-class: [2,4][7,6]>, <Green's R-class: [2,4][3,6]> ], 
  [ <Green's R-class: [7,6,4]> ], 
  [ <Green's R-class: [1,6](2)>, <Green's R-class: [5,6](2)>, 
      <Green's R-class: [7,6](2)>, <Green's R-class: [3,6](2)> ], 
  [ <Green's R-class: [2,6][4,5]> ], [ <Green's R-class: [2,5][4,6]> ], 
  [ <Green's R-class: [2,4][7,5](1)> ], [ <Green's R-class: [6,1][7,4]> ], 
  [ <Green's R-class: [1,4][2,7]>, <Green's R-class: [2,7][5,4]>, 
      <Green's R-class: [2,7,4]>, <Green's R-class: [2,7][3,4]> ], 
  [ <Green's R-class: [2,7,4][3,1]> ], [ <Green's R-class: [6,4](7)> ], 
  [ <Green's R-class: [1,4][2,3][5,7]>, <Green's R-class: [2,3][5,4](7)>, 
      <Green's R-class: [1,4][2,3,7]>, <Green's R-class: [1,7][2,3][5,4]>, 
      <Green's R-class: [2,3][5,7,4]>, <Green's R-class: [1,7][2,3,4]> ], 
  [ <Green's R-class: [6,7,4](1)> ], 
  [ <Green's R-class: [2,3][5,4](1)>, <Green's R-class: [2,3][5,1][7,4]>, 
      <Green's R-class: [2,3,4](1)>, <Green's R-class: [2,3][5,1,4]>, 
      <Green's R-class: [2,3][5,4][7,1]>, <Green's R-class: [2,3,1,4]> ], 
  [ <Green's R-class: [6,4][7,1]> ], 
  [ <Green's R-class: [1,4](2)>, <Green's R-class: [5,4](2)>, 
      <Green's R-class: [7,4](2)>, <Green's R-class: [3,4](2)> ], 
  [ <Green's R-class: [2,1,5,4]>, <Green's R-class: [2,1][7,4](5)>, 
      <Green's R-class: [2,1,5][3,4]>, <Green's R-class: [2,1,4](5)>, 
      <Green's R-class: [2,1][7,5,4]>, <Green's R-class: [2,1,4][3,5]> ], 
  [ <Green's R-class: [2,6][5,1](3)> ], [ <Green's R-class: [2,5,6][4,3]> ], 
  [ <Green's R-class: [1,5,3][2,4]>, <Green's R-class: [2,4][7,3](5)>, 
      <Green's R-class: [1,5][2,4](3)>, <Green's R-class: [1,3][2,4](5)>, 
      <Green's R-class: [2,4][7,5,3]>, <Green's R-class: [1,3,5][2,4]> ], 
  [ <Green's R-class: [1,6][2,3][7,5]> ], 
  [ <Green's R-class: [1,3][2,4][7,5,6]> ], [ <Green's R-class: [2,6][4,3]> ],
  [ <Green's R-class: [2,6][5,3](1)>, <Green's R-class: [2,6][5,1][7,3]>, 
      <Green's R-class: [2,6](1)(3)>, <Green's R-class: [2,6][5,1,3]>, 
      <Green's R-class: [2,6][5,3][7,1]>, <Green's R-class: [2,6](1,3)> ], 
  [ <Green's R-class: [2,3,1][4,6]> ], [ <Green's R-class: [2,1][6,4]> ], 
  [ <Green's R-class: [2,6][3,4][5,1]> ], 
  [ <Green's R-class: [1,4][3,6]>, <Green's R-class: [1,6][5,4]>, 
      <Green's R-class: [1,6][7,4]>, <Green's R-class: [1,6,4]>, 
      <Green's R-class: [3,6](4)>, <Green's R-class: [5,6](4)>, 
      <Green's R-class: [3,4][7,6]>, <Green's R-class: [3,6][5,4]>, 
      <Green's R-class: [5,6][7,4]>, <Green's R-class: [1,6][3,4]>, 
      <Green's R-class: [1,4][5,6]>, <Green's R-class: [1,4][7,6]>, 
      <Green's R-class: [1,4](6)>, <Green's R-class: [3,4,6]>, 
      <Green's R-class: [5,4,6]>, <Green's R-class: [3,6][7,4]>, 
      <Green's R-class: [3,4][5,6]>, <Green's R-class: [5,4][7,6]> ], 
  [ <Green's R-class: [2,6](4)> ], [ <Green's R-class: [2,5](6)> ], 
  [ <Green's R-class: [2,7][3,4][5,1]> ], [ <Green's R-class: [2,7](4)> ], 
  [ <Green's R-class: [2,7][5,4](1)>, <Green's R-class: [2,7,4][5,1]>, 
      <Green's R-class: [2,7][3,4](1)>, <Green's R-class: [2,7][5,1,4]>, 
      <Green's R-class: [2,7,1][5,4]>, <Green's R-class: [2,7][3,1,4]> ], 
  [ <Green's R-class: [2,4,7][3,1]> ], [ <Green's R-class: [2,1](4)> ], 
  [ <Green's R-class: [2,4][6,1]> ], [ <Green's R-class: [2,6][7,1,3]> ], 
  [ <Green's R-class: [7,6,3]> ], [ <Green's R-class: [2,5][7,6](3)> ], 
  [ <Green's R-class: [1,6][2,4](5)>, <Green's R-class: [2,4][7,5,6]>, 
      <Green's R-class: [1,6][2,4][3,5]>, <Green's R-class: [1,5,6][2,4]>, 
      <Green's R-class: [2,4][7,6](5)>, <Green's R-class: [1,5][2,4][3,6]> ], 
  [ <Green's R-class: [1,3][7,6,5]> ], 
  [ <Green's R-class: [1,3][2,4][5,6]>, <Green's R-class: [2,4][5,3][7,6]>, 
      <Green's R-class: [1,3,6][2,4]>, <Green's R-class: [1,6][2,4][5,3]>, 
      <Green's R-class: [2,4][5,6][7,3]>, <Green's R-class: [1,6][2,4](3)> ], 
  [ <Green's R-class: [7,3](6)> ], 
  [ <Green's R-class: [2,3][5,6](1)>, <Green's R-class: [2,3][5,1][7,6]>, 
      <Green's R-class: [2,3,6](1)>, <Green's R-class: [2,3][5,1,6]>, 
      <Green's R-class: [2,3][5,6][7,1]>, <Green's R-class: [2,3,1,6]> ], 
  [ <Green's R-class: [2,6][5,4](1)>, <Green's R-class: [2,6][5,1][7,4]>, 
      <Green's R-class: [2,6][3,4](1)>, <Green's R-class: [2,6][5,1,4]>, 
      <Green's R-class: [2,6][5,4][7,1]>, <Green's R-class: [2,6][3,1,4]> ], 
  [ <Green's R-class: [2,6][7,1,4]> ], [ <Green's R-class: [2,3](6)> ], 
  [ <Green's R-class: [2,6,5]> ], [ <Green's R-class: [2,7,1,4]> ], 
  [ <Green's R-class: [6,7,4]> ], 
  [ <Green's R-class: [2,4][5,7](1)>, <Green's R-class: [2,4][5,1](7)>, 
      <Green's R-class: [2,4][3,7](1)>, <Green's R-class: [2,4][5,1,7]>, 
      <Green's R-class: [2,4][5,7,1]>, <Green's R-class: [2,4][3,1,7]> ], 
  [ <Green's R-class: [2,4][6,7]> ], [ <Green's R-class: [2,5,3,6]> ], 
  [ <Green's R-class: [1,3][2,5,6]>, <Green's R-class: [2,5,3][7,6]>, 
      <Green's R-class: [1,3,6][2,5]>, <Green's R-class: [1,6][2,5,3]>, 
      <Green's R-class: [2,5,6][7,3]>, <Green's R-class: [1,6][2,5](3)> ], 
  [ <Green's R-class: [2,6][4,5](3)> ], [ <Green's R-class: [2,3][4,6]> ], 
  [ <Green's R-class: [2,6,3]> ], [ <Green's R-class: [2,4](6)> ], 
  [ <Green's R-class: [7,4](6)> ], [ <Green's R-class: [2,4,7]> ], 
  [ <Green's R-class: [2,7][6,4]> ], [ <Green's R-class: [1,6][2,5][7,3]> ], 
  [ <Green's R-class: [1,3][2,6](5)>, <Green's R-class: [2,6][7,5,3]>, 
      <Green's R-class: [1,3,5][2,6]>, <Green's R-class: [1,5,3][2,6]>, 
      <Green's R-class: [2,6][7,3](5)>, <Green's R-class: [1,5][2,6](3)> ], 
  [ <Green's R-class: [2,4,6]> ], [ <Green's R-class: [2,6,4]> ] ]
gap> ForAll(Union(List(Union(last), Elements)), x -> x in s);
true
gap> Union(List(last2, Elements));
[ <Green's R-class: [2,7][3,1,5][4,6]>, <Green's R-class: [1,5,3,7](2)>, 
  <Green's R-class: [2,3,4][6,7,5](1)>, <Green's R-class: [7,5,1,3,4,6](2)>, 
  <Green's R-class: [3,5]>, <Green's R-class: [2,5,3]>, 
  <Green's R-class: [2,1,5][3,6]>, <Green's R-class: [2,7][3,6](1)(5)>, 
  <Green's R-class: [1,3,5]>, <Green's R-class: [1,3][5,7](2)>, 
  <Green's R-class: [1,5][2,7,3]>, <Green's R-class: [1,7,3](2)(5)>, 
  <Green's R-class: [2,5][3,1][4,7]>, <Green's R-class: [2,3,5,4]>, 
  <Green's R-class: [2,4][6,5](1)>, <Green's R-class: [2,3][5,1,4,7]>, 
  <Green's R-class: [2,5](1)(3)>, <Green's R-class: [3,5,4](1)(2)>, 
  <Green's R-class: [2,4][7,1,3,6,5]>, <Green's R-class: [5,3,6][7,1,4](2)>, 
  <Green's R-class: <empty partial perm>>, 
  <Green's R-class: <identity partial perm on [ 5 ]>>, 
  <Green's R-class: [2,5]>, <Green's R-class: [1,5]>, 
  <Green's R-class: [1,3][2,5]>, <Green's R-class: [7,5]>, 
  <Green's R-class: [2,5][7,3]>, <Green's R-class: [1,5][2,6]>, 
  <Green's R-class: [2,1,6](5)>, <Green's R-class: [1,5,6][2,7]>, 
  <Green's R-class: [2,6][7,5](1)>, <Green's R-class: [2,7,5,1,6]>, 
  <Green's R-class: [1,5,3]>, <Green's R-class: [1,7](2)>, 
  <Green's R-class: [1,5][7,3]>, <Green's R-class: [5,3](2)(7)>, 
  <Green's R-class: [2,5](3)>, <Green's R-class: [1,5][6,3]>, 
  <Green's R-class: [1,5][2,3,7]>, <Green's R-class: [1,5](2)(3)>, 
  <Green's R-class: [1,7,5][6,3]>, <Green's R-class: (2)(5,7)>, 
  <Green's R-class: [2,5][3,7](1)>, <Green's R-class: [1,4][2,3](5)>, 
  <Green's R-class: [1,5][2,3][7,4]>, <Green's R-class: [4,3,5]>, 
  <Green's R-class: [2,4,5,1]>, <Green's R-class: [3,4](1)>, 
  <Green's R-class: [3,7,1,4]>, <Green's R-class: [2,3,7,1][5,4]>, 
  <Green's R-class: [2,5,1,3]>, <Green's R-class: [3,1,4]>, 
  <Green's R-class: [1,4](2)(5)>, <Green's R-class: [2,5][7,4](1)>, 
  <Green's R-class: [7,4](1,5)(2)>, <Green's R-class: [2,1][4,5](3)>, 
  <Green's R-class: [2,4][3,1][5,6]>, <Green's R-class: [2,6,1,3]>, 
  <Green's R-class: [1,6][2,4,5,3]>, <Green's R-class: [2,1,3,4]>, 
  <Green's R-class: [5,6](1,3)(2)>, <Green's R-class: [2,6,1,4][7,3]>, 
  <Green's R-class: [1,6][5,4][7,3](2)>, <Green's R-class: [6,5]>, 
  <Green's R-class: [2,6](5)>, <Green's R-class: [1,5][3,6]>, 
  <Green's R-class: [1,6][7,5]>, <Green's R-class: [2,1][7,5,6]>, 
  <Green's R-class: [1,6][3,5]>, <Green's R-class: [1,6][2,7]>, 
  <Green's R-class: [1,5][7,6]>, <Green's R-class: [2,7,6](5)>, 
  <Green's R-class: [2,6][3,5]>, <Green's R-class: [2,5][3,6](1)>, 
  <Green's R-class: [2,7][3,5](1)>, <Green's R-class: [7,1,6,5]>, 
  <Green's R-class: [2,7,1][5,6]>, <Green's R-class: [7,3](5)>, 
  <Green's R-class: <identity partial perm on [ 2 ]>>, 
  <Green's R-class: [5,7](2)>, <Green's R-class: [1,3,7](2)>, 
  <Green's R-class: [6,3][7,5]>, 
  <Green's R-class: <identity partial perm on [ 27 ]>>, 
  <Green's R-class: [4,3](5)>, <Green's R-class: [1,7][2,3](5)>, 
  <Green's R-class: [1,3](2)(5)>, <Green's R-class: [2,5][4,3,7]>, 
  <Green's R-class: [1,7][3,5](2)>, <Green's R-class: [2,5,1,7]>, 
  <Green's R-class: [2,3][7,5,4]>, <Green's R-class: [2,4](1)>, 
  <Green's R-class: [7,5](3)>, <Green's R-class: [2,4][3,5][7,1]>, 
  <Green's R-class: [5,1,4]>, <Green's R-class: [2,1][3,4]>, 
  <Green's R-class: (3,5)>, <Green's R-class: [2,7][6,1,4]>, 
  <Green's R-class: [1,7][5,4]>, <Green's R-class: [2,1,4]>, 
  <Green's R-class: [2,3,1,4][5,7]>, <Green's R-class: [2,7,4][6,1]>, 
  <Green's R-class: [1,7,4][2,3]>, <Green's R-class: [2,5,3][7,1]>, 
  <Green's R-class: [5,4](1)>, <Green's R-class: [7,5,4](2)>, 
  <Green's R-class: [2,4][3,1]>, <Green's R-class: [6,4](1)>, 
  <Green's R-class: [2,4][3,5](1)>, <Green's R-class: [3,4](1)(2)>, 
  <Green's R-class: [6,4][7,1,5]>, <Green's R-class: [2,1,3,5]>, 
  <Green's R-class: [2,4][5,1,6]>, <Green's R-class: [2,4][7,6](1)>, 
  <Green's R-class: [2,6][4,1][5,3]>, <Green's R-class: [1,3,6]>, 
  <Green's R-class: [1,6][7,3,5]>, <Green's R-class: [2,4][7,3,5,6]>, 
  <Green's R-class: [2,1][5,4]>, <Green's R-class: [2,1,4][5,3]>, 
  <Green's R-class: [1,6](3)>, <Green's R-class: [5,1,6](2)>, 
  <Green's R-class: [2,1,3][7,6]>, <Green's R-class: [5,3][7,6](1)(2)>, 
  <Green's R-class: [2,3,4,1]>, <Green's R-class: [2,6](3)>, 
  <Green's R-class: [2,6][5,4,1]>, <Green's R-class: [1,4][2,3,6]>, 
  <Green's R-class: [1,4](2)(3)>, <Green's R-class: [1,6,3][7,4]>, 
  <Green's R-class: [5,6][7,4](2)>, <Green's R-class: [4,5]>, 
  <Green's R-class: [2,6][7,5]>, <Green's R-class: [1,6](5)>, 
  <Green's R-class: [2,5][3,6]>, <Green's R-class: [1,6,5]>, 
  <Green's R-class: [1,6][2,5]>, <Green's R-class: [2,1,6][3,5]>, 
  <Green's R-class: [7,6,5]>, <Green's R-class: [1,5,6]>, 
  <Green's R-class: [2,7][5,6]>, <Green's R-class: [1,5](6)>, 
  <Green's R-class: [1,5][2,7][3,6]>, <Green's R-class: [7,5](6)>, 
  <Green's R-class: [2,5,6]>, <Green's R-class: [2,5,1,6]>, 
  <Green's R-class: [2,7](1,5)>, <Green's R-class: [2,1][3,6][4,5]>, 
  <Green's R-class: [4,5,6]>, <Green's R-class: [2,7][3,1,6]>, 
  <Green's R-class: [2,7,6]>, <Green's R-class: [1,7][5,3](2)>, 
  <Green's R-class: [2,5][4,3]>, <Green's R-class: [3,7](2)>, 
  <Green's R-class: [2,3](5,7)>, <Green's R-class: [7,5,3](2)>, 
  <Green's R-class: [1,7][2,5](3)>, <Green's R-class: [1,7](2)(5)>, 
  <Green's R-class: [2,5,7,1]>, <Green's R-class: [1,4][2,3,5]>, 
  <Green's R-class: [2,4][5,1]>, <Green's R-class: [2,3][6,5]>, 
  <Green's R-class: [2,4][3,1](5)>, <Green's R-class: [7,1,4]>, 
  <Green's R-class: [5,4][7,1]>, <Green's R-class: [3,4,1]>, 
  <Green's R-class: [2,7][5,4,1]>, <Green's R-class: [1,4][3,7]>, 
  <Green's R-class: [1,7,4]>, <Green's R-class: [5,7,4]>, 
  <Green's R-class: [1,7][3,4]>, <Green's R-class: [2,3][5,1,7]>, 
  <Green's R-class: [2,1,4](7)>, <Green's R-class: [2,3][5,4](1)(7)>, 
  <Green's R-class: [2,4,1]>, <Green's R-class: [2,7][3,4]>, 
  <Green's R-class: [2,4][3,7]>, <Green's R-class: [1,7][6,4]>, 
  <Green's R-class: [2,5](1,3)>, <Green's R-class: [7,4](1)>, 
  <Green's R-class: [5,1][7,4]>, <Green's R-class: [1,4][3,5](2)>, 
  <Green's R-class: [7,4](2)>, <Green's R-class: [3,1](4)>, 
  <Green's R-class: [5,1](4)>, <Green's R-class: [2,4](1,5)>, 
  <Green's R-class: [5,4](2)>, <Green's R-class: [5,1,4](2)>, 
  <Green's R-class: [2,1][3,5](4)>, <Green's R-class: [2,1,5,3]>, 
  <Green's R-class: [2,4][5,6][7,1]>, <Green's R-class: [2,4][3,6]>, 
  <Green's R-class: [1,3][2,6]>, <Green's R-class: [2,6][7,3,1]>, 
  <Green's R-class: [1,6][5,3]>, <Green's R-class: [2,3,6]>, 
  <Green's R-class: [1,6,3][2,5]>, <Green's R-class: [1,6][2,3]>, 
  <Green's R-class: [1,6][2,4](3)(5)>, <Green's R-class: [2,5][7,6,3]>, 
  <Green's R-class: [1,5][2,4][7,6]>, <Green's R-class: [2,1][7,4]>, 
  <Green's R-class: [2,1][5,4][7,3]>, <Green's R-class: [1,3][5,6]>, 
  <Green's R-class: [5,6][7,1](2)>, <Green's R-class: [1,3](6)>, 
  <Green's R-class: [2,6](1,3)>, <Green's R-class: [1,3,6](2)>, 
  <Green's R-class: [7,3](1)(6)>, <Green's R-class: [2,3,1,4]>, 
  <Green's R-class: [2,6][5,3]>, <Green's R-class: [1,4][2,6]>, 
  <Green's R-class: [3,1][7,4]>, <Green's R-class: [2,6][3,1][7,4]>, 
  <Green's R-class: [2,3][5,6]>, <Green's R-class: [1,6][2,3][5,4]>, 
  <Green's R-class: [1,3][5,4](2)>, <Green's R-class: [2,4,3,6]>, 
  <Green's R-class: [1,6,4]>, <Green's R-class: [4,3][5,6]>, 
  <Green's R-class: [1,6][2,4]>, <Green's R-class: [1,6][3,4](2)>, 
  <Green's R-class: [7,6,4]>, <Green's R-class: [7,6](2)>, 
  <Green's R-class: [7,5,6]>, <Green's R-class: [3,6][4,5]>, 
  <Green's R-class: [2,1,5,6]>, <Green's R-class: [2,6][4,5]>, 
  <Green's R-class: [7,6](5)>, <Green's R-class: [3,5][4,6]>, 
  <Green's R-class: [4,6](5)>, <Green's R-class: [1,6][2,7](5)>, 
  <Green's R-class: [2,5][4,6]>, <Green's R-class: [2,5][7,6]>, 
  <Green's R-class: [2,5,6][7,1]>, <Green's R-class: [2,7,1](5)>, 
  <Green's R-class: [3,5][7,6]>, <Green's R-class: [2,7][5,6](1)>, 
  <Green's R-class: [2,7][3,6]>, <Green's R-class: [5,7,3](2)>, 
  <Green's R-class: [1,7][2,3,5]>, <Green's R-class: [1,3,5](2)>, 
  <Green's R-class: [1,3][2,5,7]>, <Green's R-class: [2,5][3,1,7]>, 
  <Green's R-class: [1,5,4][2,3]>, <Green's R-class: [2,4][7,1]>, 
  <Green's R-class: [2,4][7,5](1)>, <Green's R-class: [6,1,4]>, 
  <Green's R-class: [6,1][7,4]>, <Green's R-class: [1,4][2,7]>, 
  <Green's R-class: [2,7,4][3,1]>, <Green's R-class: [1,7][2,4]>, 
  <Green's R-class: [6,4](7)>, <Green's R-class: [1,4][5,7]>, 
  <Green's R-class: [2,3][5,7,1]>, <Green's R-class: [1,4][6,7]>, 
  <Green's R-class: [2,7][3,1,4]>, <Green's R-class: [1,4][2,3,7]>, 
  <Green's R-class: [6,7,4](1)>, <Green's R-class: [2,3][5,1][7,4]>, 
  <Green's R-class: [2,7][5,4]>, <Green's R-class: [2,4][5,7]>, 
  <Green's R-class: [3,7](4)>, <Green's R-class: [5,7](4)>, 
  <Green's R-class: [2,5,3](1)>, <Green's R-class: [6,4][7,1]>, 
  <Green's R-class: [1,5,4](2)>, <Green's R-class: [3,4](2)>, 
  <Green's R-class: [3,4][7,1]>, <Green's R-class: [2,4][7,1](5)>, 
  <Green's R-class: [1,4](2)>, <Green's R-class: [5,4][7,1](2)>, 
  <Green's R-class: [2,1,5][3,4]>, <Green's R-class: [2,1][7,3](5)>, 
  <Green's R-class: [2,4][3,1,6]>, <Green's R-class: [2,4][7,6]>, 
  <Green's R-class: [2,4][5,6]>, <Green's R-class: [2,6][5,1](3)>, 
  <Green's R-class: [1,6][7,3]>, <Green's R-class: [5,6][7,3]>, 
  <Green's R-class: [4,3,6]>, <Green's R-class: [2,5,6][4,3]>, 
  <Green's R-class: [1,5,3][2,4]>, <Green's R-class: [1,6][2,3][7,5]>, 
  <Green's R-class: [1,3][2,4][7,5,6]>, <Green's R-class: [2,6][4,3]>, 
  <Green's R-class: [2,1,4](3)>, <Green's R-class: [1,3][7,6]>, 
  <Green's R-class: [5,3][7,6]>, <Green's R-class: [3,1,6](2)>, 
  <Green's R-class: [4,6](3)>, <Green's R-class: [4,6][5,3]>, 
  <Green's R-class: [2,6][5,3](1)>, <Green's R-class: [5,6](2)>, 
  <Green's R-class: [1,6][5,3](2)>, <Green's R-class: [2,3,1][4,6]>, 
  <Green's R-class: [2,3][5,4](1)>, <Green's R-class: [2,6][7,3]>, 
  <Green's R-class: [2,6][5,4]>, <Green's R-class: [3,4][5,1]>, 
  <Green's R-class: [2,1][6,4]>, <Green's R-class: [2,6][3,4][5,1]>, 
  <Green's R-class: [2,3][7,6]>, <Green's R-class: [1,4][3,6]>, 
  <Green's R-class: [1,6][7,4]>, <Green's R-class: [2,3][5,6][7,4]>, 
  <Green's R-class: [5,3][7,4](2)>, <Green's R-class: [1,6][2,4](3)>, 
  <Green's R-class: [3,6](4)>, <Green's R-class: [5,6](4)>, 
  <Green's R-class: [7,6](3)>, <Green's R-class: [1,4][5,6](2)>, 
  <Green's R-class: [2,6](4)>, <Green's R-class: [3,6](2)>, 
  <Green's R-class: [2,1][7,6](5)>, <Green's R-class: [3,6][7,5]>, 
  <Green's R-class: [2,7,5,6]>, <Green's R-class: [2,5][3,1,6]>, 
  <Green's R-class: [2,7][3,1,5]>, <Green's R-class: [3,6](5)>, 
  <Green's R-class: [2,5](6)>, <Green's R-class: [2,7,6][5,1]>, 
  <Green's R-class: [1,7](2)(3)>, <Green's R-class: [1,5,7][2,3]>, 
  <Green's R-class: [1,5,3](2)>, <Green's R-class: [2,5,3](7)>, 
  <Green's R-class: [2,5,7](1)>, <Green's R-class: [2,3][7,4](5)>, 
  <Green's R-class: [5,4,1]>, <Green's R-class: [2,7][3,4][5,1]>, 
  <Green's R-class: [2,7](4)>, <Green's R-class: [1,4](7)>, 
  <Green's R-class: [5,4](7)>, <Green's R-class: [2,3,1,7]>, 
  <Green's R-class: [3,4,7]>, <Green's R-class: [5,4,7]>, 
  <Green's R-class: [2,7][5,4](1)>, <Green's R-class: [1,7][2,3][5,4]>, 
  <Green's R-class: [2,4,7][3,1]>, <Green's R-class: [2,3,4](1)>, 
  <Green's R-class: [2,7,4]>, <Green's R-class: [2,4](7)>, 
  <Green's R-class: [3,4](7)>, <Green's R-class: [2,5,1][7,3]>, 
  <Green's R-class: [2,1](4)>, <Green's R-class: [7,4](2)(5)>, 
  <Green's R-class: [3,1][5,4]>, <Green's R-class: [2,4][6,1]>, 
  <Green's R-class: [2,4][3,1,5]>, <Green's R-class: [3,1,4](2)>, 
  <Green's R-class: [2,1,4](5)>, <Green's R-class: [2,1,5](3)>, 
  <Green's R-class: [2,4][5,6](1)>, <Green's R-class: [2,6][7,1,3]>, 
  <Green's R-class: [1,6,3]>, <Green's R-class: [7,6,3]>, 
  <Green's R-class: [2,5][7,6](3)>, <Green's R-class: [2,4][7,3](5)>, 
  <Green's R-class: [1,6][2,5](3)>, <Green's R-class: [1,6][2,4][3,5]>, 
  <Green's R-class: [1,3][7,6,5]>, <Green's R-class: [2,4][5,3][7,6]>, 
  <Green's R-class: [2,1,3][5,4]>, <Green's R-class: [7,3](6)>, 
  <Green's R-class: [5,6](1)(2)>, <Green's R-class: [7,3,6]>, 
  <Green's R-class: [2,6][5,1][7,3]>, <Green's R-class: [1,6](2)>, 
  <Green's R-class: [5,6][7,3](2)>, <Green's R-class: [2,3,6](1)>, 
  <Green's R-class: [2,6][7,4]>, <Green's R-class: [2,6][5,4](1)>, 
  <Green's R-class: [2,6][7,1,4]>, <Green's R-class: [1,6][5,4]>, 
  <Green's R-class: [1,6][2,3,4]>, <Green's R-class: [1,3,4](2)>, 
  <Green's R-class: [1,3][2,4][5,6]>, <Green's R-class: [2,6][3,4]>, 
  <Green's R-class: [1,6][3,4]>, <Green's R-class: [3,4][7,6]>, 
  <Green's R-class: [5,3,6]>, <Green's R-class: [2,3](6)>, 
  <Green's R-class: [1,4][7,6]>, <Green's R-class: [5,4][7,6](2)>, 
  <Green's R-class: [3,5,6]>, <Green's R-class: [2,6,5]>, 
  <Green's R-class: [1,6][2,7][3,5]>, <Green's R-class: [2,5,6](1)>, 
  <Green's R-class: [2,7](1)(5)>, <Green's R-class: [2,7][3,6](1)>, 
  <Green's R-class: [2,3](5)(7)>, <Green's R-class: [7,3](2)(5)>, 
  <Green's R-class: [1,3,7][2,5]>, <Green's R-class: [2,5,1](7)>, 
  <Green's R-class: [1,5][2,3,4]>, <Green's R-class: [2,7,1,4]>, 
  <Green's R-class: [6,7,4]>, <Green's R-class: [2,3][5,7](1)>, 
  <Green's R-class: [3,7,4]>, <Green's R-class: [2,7,4][5,1]>, 
  <Green's R-class: [2,3][5,7,4]>, <Green's R-class: [2,4][3,7](1)>, 
  <Green's R-class: [2,3][5,1,4]>, <Green's R-class: [3,7][5,4]>, 
  <Green's R-class: [2,4][6,7]>, <Green's R-class: [1,5][3,4](2)>, 
  <Green's R-class: [2,4](1)(5)>, <Green's R-class: [5,4](1)(2)>, 
  <Green's R-class: [2,1][7,5,4]>, <Green's R-class: [2,1,3](5)>, 
  <Green's R-class: [2,4][5,1][7,6]>, <Green's R-class: [2,5,3,6]>, 
  <Green's R-class: [1,5][2,4](3)>, <Green's R-class: [1,3][2,5,6]>, 
  <Green's R-class: [1,5,6][2,4]>, <Green's R-class: [2,6][4,5](3)>, 
  <Green's R-class: [1,3,6][2,4]>, <Green's R-class: [2,1][5,3][7,4]>, 
  <Green's R-class: [2,3][4,6]>, <Green's R-class: [5,1][7,6](2)>, 
  <Green's R-class: [5,6](3)>, <Green's R-class: [2,6,3]>, 
  <Green's R-class: [2,6](1)(3)>, <Green's R-class: [1,6](2)(3)>, 
  <Green's R-class: [2,3][5,1,6]>, <Green's R-class: [2,6][5,1][7,4]>, 
  <Green's R-class: [5,6][7,4]>, <Green's R-class: [1,4][2,3][5,6]>, 
  <Green's R-class: [1,4][5,3](2)>, <Green's R-class: [1,4][5,6]>, 
  <Green's R-class: [3,6][5,4]>, <Green's R-class: [2,4](6)>, 
  <Green's R-class: [1,4](6)>, <Green's R-class: [1,4][3,6](2)>, 
  <Green's R-class: [7,4](6)>, <Green's R-class: [2,5,1][7,6]>, 
  <Green's R-class: [2,7,5,1]>, <Green's R-class: [2,7][5,1,6]>, 
  <Green's R-class: [1,7][2,5,3]>, <Green's R-class: [2,4,7]>, 
  <Green's R-class: [2,3][5,1](7)>, <Green's R-class: [3,4][5,7]>, 
  <Green's R-class: [2,7][6,4]>, <Green's R-class: [2,7][3,4](1)>, 
  <Green's R-class: [1,7][2,3,4]>, <Green's R-class: [2,4][5,1,7]>, 
  <Green's R-class: [2,3][5,4][7,1]>, <Green's R-class: [2,4][7,5,1]>, 
  <Green's R-class: [5,1][7,4](2)>, <Green's R-class: [2,1,4][3,5]>, 
  <Green's R-class: [2,1][7,5,3]>, <Green's R-class: [2,4][3,6](1)>, 
  <Green's R-class: [1,6][2,5][7,3]>, <Green's R-class: [1,3][2,4](5)>, 
  <Green's R-class: [2,5,3][7,6]>, <Green's R-class: [2,4][7,6](5)>, 
  <Green's R-class: [1,3,5][2,6]>, <Green's R-class: [1,6][2,4][5,3]>, 
  <Green's R-class: [3,6](1)(2)>, <Green's R-class: [2,6][5,1,3]>, 
  <Green's R-class: [1,3][5,6](2)>, <Green's R-class: [2,3][5,6][7,1]>, 
  <Green's R-class: [2,6][3,4](1)>, <Green's R-class: [2,3][5,4][7,6]>, 
  <Green's R-class: [5,4][7,3](2)>, <Green's R-class: [5,4][7,6]>, 
  <Green's R-class: [2,4,6]>, <Green's R-class: [3,4,6]>, 
  <Green's R-class: [5,4,6]>, <Green's R-class: [1,6][5,4](2)>, 
  <Green's R-class: [2,5,7,3]>, <Green's R-class: [2,3,7](1)>, 
  <Green's R-class: [2,7][5,1,4]>, <Green's R-class: [1,4][2,3][5,7]>, 
  <Green's R-class: [2,4][5,7,1]>, <Green's R-class: [2,1,5,4]>, 
  <Green's R-class: [2,4][7,5,3]>, <Green's R-class: [1,3,6][2,5]>, 
  <Green's R-class: [1,5][2,4][3,6]>, <Green's R-class: [1,5,3][2,6]>, 
  <Green's R-class: [2,4][5,6][7,3]>, <Green's R-class: [2,6][5,3][7,1]>, 
  <Green's R-class: [5,3][7,6](2)>, <Green's R-class: [2,3,1,6]>, 
  <Green's R-class: [2,6][5,1,4]>, <Green's R-class: [3,6][7,4]>, 
  <Green's R-class: [2,7,1][5,4]>, <Green's R-class: [2,3][5,4](7)>, 
  <Green's R-class: [2,4][3,1,7]>, <Green's R-class: [2,1][7,4](5)>, 
  <Green's R-class: [1,3,5][2,4]>, <Green's R-class: [1,6][2,5,3]>, 
  <Green's R-class: [1,6][2,4](5)>, <Green's R-class: [2,6][7,3](5)>, 
  <Green's R-class: [2,3][5,6](1)>, <Green's R-class: [2,6][5,4][7,1]>, 
  <Green's R-class: [3,4][5,6]>, <Green's R-class: [2,6,4]>, 
  <Green's R-class: [2,4][5,7](1)>, <Green's R-class: [2,5,6][7,3]>, 
  <Green's R-class: [2,4][7,5,6]>, <Green's R-class: [1,5][2,6](3)>, 
  <Green's R-class: [2,3][5,1][7,6]>, <Green's R-class: [2,6][3,1,4]>, 
  <Green's R-class: [2,4][5,1](7)>, <Green's R-class: [1,3][2,6](5)>, 
  <Green's R-class: [2,6][7,5,3]> ]
gap> Union(List(last, Elements));
[ <empty partial perm>, <identity partial perm on [ 1 ]>, [1,3], [1,4], 
  [1,5], [1,6], [1,7], [2,1], <identity partial perm on [ 2 ]>, [2,3], [2,4], 
  [2,5], [2,6], [2,7], <identity partial perm on [ 12 ]>, [2,3](1), 
  [2,4](1), [2,5](1), [2,6](1), [2,7](1), [2,1,3], [1,3](2), [1,3][2,4], 
  [1,3][2,5], [1,3][2,6], [1,3][2,7], [2,1,4], [1,4](2), [1,4][2,3], 
  [1,4][2,5], [1,4][2,6], [1,4][2,7], [2,1,5], [1,5](2), [1,5][2,3], 
  [1,5][2,4], [1,5][2,6], [1,5][2,7], [2,1,6], [1,6](2), [1,6][2,3], 
  [1,6][2,4], [1,6][2,5], [1,6][2,7], [2,1,7], [1,7](2), [1,7][2,3], 
  [1,7][2,4], [1,7][2,5], [3,1], <identity partial perm on [ 3 ]>, [3,4], 
  [3,5], [3,6], [3,7], [2,1](3), [2,1][3,4], [2,1][3,5], [2,1][3,6], 
  [2,1][3,7], [3,1](2), <identity partial perm on [ 23 ]>, [3,4](2), 
  [3,5](2), [3,6](2), [3,7](2), [2,3,1], [2,3,4], [2,3,5], [2,3,6], [2,3,7], 
  [2,4][3,1], [2,4](3), [2,4][3,5], [2,4][3,6], [2,4][3,7], [2,5][3,1], 
  [2,5](3), [2,5][3,4], [2,5][3,6], [2,5][3,7], [2,6][3,1], [2,6](3), 
  [2,6][3,4], [2,6][3,5], [2,7][3,1], [2,7](3), [2,7][3,4], [2,7][3,5], 
  [2,7][3,6], <identity partial perm on [ 13 ]>, [3,4](1), [3,5](1), 
  [3,6](1), [3,7](1), <identity partial perm on [ 123 ]>, [3,4](1)(2), 
  [3,5](1)(2), [3,6](1)(2), [2,3,4](1), [2,3,6](1), [2,3,7](1), 
  [2,4][3,5](1), [2,4][3,6](1), [2,4][3,7](1), [2,5](1)(3), [2,5][3,6](1), 
  [2,5][3,7](1), [2,6](1)(3), [2,6][3,4](1), [2,7][3,4](1), [2,7][3,5](1), 
  [2,7][3,6](1), (1,3), [1,3,4], [1,3,5], [1,3,6], [1,3,7], [2,1,3,4], 
  [2,1,3,5], (1,3)(2), [1,3,4](2), [1,3,5](2), [1,3,6](2), [1,3,7](2), 
  [1,3,5][2,4], [1,3,6][2,4], [2,5](1,3), [1,3,6][2,5], [1,3,7][2,5], 
  [2,6](1,3), [1,3,5][2,6], [3,1,4], [1,4](3), [1,4][3,5], [1,4][3,6], 
  [1,4][3,7], [2,1,4](3), [2,1,4][3,5], [3,1,4](2), [1,4](2)(3), 
  [1,4][3,5](2), [1,4][3,6](2), [2,3,1,4], [1,4][2,3,5], [1,4][2,3,6], 
  [1,4][2,3,7], [2,6][3,1,4], [2,7][3,1,4], [3,1,5], [1,5](3), [1,5][3,4], 
  [1,5][3,6], [1,5][3,7], [2,1,5](3), [2,1,5][3,4], [2,1,5][3,6], [3,1,5](2), 
  [1,5](2)(3), [1,5][3,4](2), [1,5][3,7](2), [1,5][2,3,4], [1,5][2,3,7], 
  [2,4][3,1,5], [1,5][2,4](3), [1,5][2,4][3,6], [1,5][2,6](3), [2,7][3,1,5], 
  [1,5][2,7][3,6], [3,1,6], [1,6](3), [1,6][3,4], [1,6][3,5], [2,1,6][3,5], 
  [3,1,6](2), [1,6](2)(3), [1,6][3,4](2), [2,3,1,6], [1,6][2,3,4], 
  [2,4][3,1,6], [1,6][2,4](3), [1,6][2,4][3,5], [2,5][3,1,6], [1,6][2,5](3), 
  [2,7][3,1,6], [1,6][2,7][3,5], [3,1,7], [1,7](3), [1,7][3,4], [1,7][3,5], 
  [1,7](2)(3), [1,7][3,5](2), [2,3,1,7], [1,7][2,3,4], [1,7][2,3,5], 
  [2,4][3,1,7], [2,5][3,1,7], [1,7][2,5](3), [4,1], [4,3], 
  <identity partial perm on [ 4 ]>, [4,5], [4,6], [4,7], [4,3,1], [3,1](4), 
  [3,1][4,5], [3,1][4,6], [3,1][4,7], [4,1](3), 
  <identity partial perm on [ 34 ]>, [4,5](3), [4,6](3), [4,7](3), [3,4,1], 
  (3,4), [3,4,5], [3,4,6], [3,4,7], [3,5][4,1], [4,3,5], [3,5](4), 
  [3,5][4,6], [3,5][4,7], [3,6][4,1], [4,3,6], [3,6](4), [3,6][4,5], 
  [3,7][4,1], [4,3,7], [3,7](4), [3,7][4,5], [2,1][4,3], [2,1](4), 
  [2,1][4,5], [2,1][4,6], [2,1][4,7], [2,1][4,5](3), [2,1][3,5](4), 
  [2,1][3,6][4,5], [2,3][4,1], [2,3](4), [2,3][4,5], [2,3][4,6], [2,3][4,7], 
  [2,3,1][4,6], [2,3,4,1], [2,4,1], [2,4,3], [2,4,5], [2,4,6], [2,4,7], 
  [2,4,7][3,1], [2,4,3,6], [2,5][4,1], [2,5][4,3], [2,5](4), [2,5][4,6], 
  [2,5][4,7], [2,5][3,1][4,7], [2,5][4,3,7], [2,6][4,1], [2,6][4,3], 
  [2,6](4), [2,6][4,5], [2,6][4,5](3), [2,7][4,1], [2,7][4,3], [2,7](4), 
  [2,7][4,5], [2,7][3,1,5][4,6], [5,1], [5,3], [5,4], 
  <identity partial perm on [ 5 ]>, [5,6], [5,7], [4,1][5,3], [5,4,1], 
  [4,1](5), [4,1][5,6], [4,1][5,7], [4,3][5,1], [5,4,3], [4,3](5), 
  [4,3][5,6], [4,3][5,7], [5,1](4), [5,3](4), 
  <identity partial perm on [ 45 ]>, [5,6](4), [5,7](4), [4,5,1], [4,5,3], 
  (4,5), [4,5,6], [4,5,7], [4,6][5,1], [4,6][5,3], [5,4,6], [4,6](5), 
  [4,7][5,1], [4,7][5,3], [5,4,7], [4,7](5), [5,3,1], [3,1][5,4], [3,1](5), 
  [3,1][5,6], [3,1][5,7], [5,1](3), [5,4](3), 
  <identity partial perm on [ 35 ]>, [5,6](3), [5,7](3), [3,4][5,1], 
  [5,3,4], [3,4](5), [3,4][5,6], [3,4][5,7], [3,5,1], (3,5), [3,5,4], 
  [3,5,6], [3,5,7], [3,6][5,1], [5,3,6], [3,6][5,4], [3,6](5), [3,7][5,1], 
  [5,3,7], [3,7][5,4], [3,7](5), [2,1][5,3], [2,1][5,4], [2,1](5), 
  [2,1][5,6], [2,1][5,7], [5,1](2), [5,3](2), [5,4](2), 
  <identity partial perm on [ 25 ]>, [5,6](2), [5,7](2), [2,3][5,1], 
  [2,3][5,4], [2,3](5), [2,3][5,6], [2,3][5,7], [2,3,5,4], [2,4][5,1], 
  [2,4][5,3], [2,4](5), [2,4][5,6], [2,4][5,7], [2,4,5,1], [2,4][3,1](5), 
  [2,4][3,1][5,6], [2,5,1], [2,5,3], [2,5,4], [2,5,6], [2,5,7], [2,5,6][4,3], 
  [2,5,3,6], [2,6][5,1], [2,6][5,3], [2,6][5,4], [2,6](5), [2,6][4,1][5,3], 
  [2,6][5,4,1], [2,6][5,1](3), [2,6][3,4][5,1], [2,7][5,1], [2,7][5,3], 
  [2,7][5,4], [2,7](5), [2,7][5,6], [2,7][5,4,1], [2,7][3,4][5,1], [5,3](1), 
  [5,4](1), <identity partial perm on [ 15 ]>, [5,6](1), [5,7](1), 
  [5,3](1)(2), [5,4](1)(2), <identity partial perm on [ 125 ]>, 
  [5,6](1)(2), [3,5,4](1)(2), [2,3][5,4](1), [2,3][5,6](1), [2,3][5,7](1), 
  [2,4](1)(5), [2,4][5,6](1), [2,4][5,7](1), [2,5,3](1), [2,5,6](1), 
  [2,5,7](1), [2,6][5,3](1), [2,6][5,4](1), [2,7][5,4](1), [2,7](1)(5), 
  [2,7][5,6](1), [2,7][3,6](1)(5), [5,1,3], [1,3][5,4], [1,3](5), [1,3][5,6], 
  [1,3][5,7], [2,1,3][5,4], [2,1,3](5), [5,1,3](2), [1,3][5,4](2), 
  [1,3](2)(5), [1,3][5,6](2), [1,3][5,7](2), [5,6](1,3)(2), [1,3][2,4](5), 
  [1,3][2,4][5,6], [2,5,1,3], [1,3][2,5,6], [1,3][2,5,7], [2,6][5,1,3], 
  [1,3][2,6](5), [5,1,4], [1,4][5,3], [1,4](5), [1,4][5,6], [1,4][5,7], 
  [2,1,4][5,3], [2,1,4](5), [5,1,4](2), [1,4][5,3](2), [1,4](2)(5), 
  [1,4][5,6](2), [2,3][5,1,4], [1,4][2,3](5), [1,4][2,3][5,6], 
  [1,4][2,3][5,7], [2,3][5,1,4,7], [2,3,1,4][5,7], [2,6][5,1,4], 
  [2,7][5,1,4], (1,5), [1,5,3], [1,5,4], [1,5,6], [1,5,7], [2,1,5,3], 
  [2,1,5,4], [2,1,5,6], (1,5)(2), [1,5,3](2), [1,5,4](2), [1,5,7](2), 
  [1,5,3,7](2), [1,5,4][2,3], [1,5,7][2,3], [2,4](1,5), [1,5,3][2,4], 
  [1,5,6][2,4], [1,5,3][2,6], [2,7](1,5), [1,5,6][2,7], [5,1,6], [1,6][5,3], 
  [1,6][5,4], [1,6](5), [2,1,6](5), [5,1,6](2), [1,6][5,3](2), [1,6][5,4](2), 
  [2,3][5,1,6], [1,6][2,3][5,4], [2,4][5,1,6], [1,6][2,4][5,3], 
  [1,6][2,4](5), [1,6][2,4,5,3], [1,6][2,4](3)(5), [2,5,1,6], [1,6][2,5,3], 
  [2,7][5,1,6], [1,6][2,7](5), [5,1,7], [1,7][5,3], [1,7][5,4], [1,7](5), 
  [1,7][5,3](2), [1,7](2)(5), [2,3][5,1,7], [1,7][2,3][5,4], [1,7][2,3](5), 
  [2,4][5,1,7], [2,5,1,7], [1,7][2,5,3], [6,1], [6,3], [6,4], [6,5], 
  <identity partial perm on [ 6 ]>, [6,7], [2,1][6,3], [2,1][6,4], 
  [2,1][6,5], [2,1](6), [2,1][6,7], [2,3][6,1], [2,3][6,4], [2,3][6,5], 
  [2,3](6), [2,3][6,7], [2,4][6,1], [2,4][6,3], [2,4][6,5], [2,4](6), 
  [2,4][6,7], [2,5][6,1], [2,5][6,3], [2,5][6,4], [2,5](6), [2,5][6,7], 
  [2,6,1], [2,6,3], [2,6,4], [2,6,5], [2,7][6,1], [2,7][6,3], [2,7][6,4], 
  [2,7][6,5], [6,3](1), [6,4](1), [6,5](1), <identity partial perm on [ 16 ]
    >, [6,7](1), [2,4][6,5](1), [6,1,3], [1,3][6,4], [1,3][6,5], [1,3](6), 
  [1,3][6,7], [2,6,1,3], [6,1,4], [1,4][6,3], [1,4][6,5], [1,4](6), 
  [1,4][6,7], [2,7][6,1,4], [6,1,5], [1,5][6,3], [1,5][6,4], [1,5](6), 
  [1,5][6,7], (1,6), [1,6,3], [1,6,4], [1,6,5], [1,6,3][2,5], [6,1,7], 
  [1,7][6,3], [1,7][6,4], [1,7][6,5], [7,1], [7,3], [7,4], [7,5], [7,6], 
  <identity partial perm on [ 7 ]>, [6,1][7,3], [6,1][7,4], [6,1][7,5], 
  [7,6,1], [6,1](7), [6,3][7,1], [6,3][7,4], [6,3][7,5], [7,6,3], [6,3](7), 
  [6,4][7,1], [6,4][7,3], [6,4][7,5], [7,6,4], [6,4](7), [6,5][7,1], 
  [6,5][7,3], [6,5][7,4], [7,6,5], [6,5](7), [7,1](6), [7,3](6), [7,4](6), 
  [7,5](6), [6,7,1], [6,7,3], [6,7,4], [6,7,5], [5,1][7,3], [5,1][7,4], 
  [7,5,1], [5,1][7,6], [5,1](7), [5,3][7,1], [5,3][7,4], [7,5,3], [5,3][7,6], 
  [5,3](7), [5,4][7,1], [5,4][7,3], [7,5,4], [5,4][7,6], [5,4](7), [7,1](5), 
  [7,3](5), [7,4](5), [7,6](5), <identity partial perm on [ 57 ]>, 
  [5,6][7,1], [5,6][7,3], [5,6][7,4], [7,5,6], [5,7,1], [5,7,3], [5,7,4], 
  (5,7), [7,3,1], [3,1][7,4], [3,1][7,5], [3,1][7,6], [3,1](7), [7,1](3), 
  [7,4](3), [7,5](3), [7,6](3), <identity partial perm on [ 37 ]>, 
  [3,4][7,1], [7,3,4], [3,4][7,5], [3,4][7,6], [3,4](7), [3,5][7,1], [7,3,5], 
  [3,5][7,4], [3,5][7,6], [3,5](7), [3,6][7,1], [7,3,6], [3,6][7,4], 
  [3,6][7,5], [3,7,1], (3,7), [3,7,4], [3,7,5], [2,1][7,3], [2,1][7,4], 
  [2,1][7,5], [2,1][7,6], [2,1](7), [2,1][5,3][7,4], [2,1][7,5,3], 
  [2,1][5,4][7,3], [2,1][7,5,4], [2,1][7,3](5), [2,1][7,4](5), [2,1][7,6](5), 
  [2,1][7,5,6], [7,1](2), [7,3](2), [7,4](2), [7,5](2), [7,6](2), 
  <identity partial perm on [ 27 ]>, [5,1][7,3](2), [5,1][7,4](2), 
  [7,5,1](2), [5,1][7,6](2), [5,3][7,1](2), [5,3][7,4](2), [7,5,3](2), 
  [5,3][7,6](2), [5,3](2)(7), [5,4][7,1](2), [5,4][7,3](2), [7,5,4](2), 
  [5,4][7,6](2), [7,1](2)(5), [7,3](2)(5), [7,4](2)(5), 
  <identity partial perm on [ 257 ]>, [5,6][7,1](2), [5,6][7,3](2), 
  [5,6][7,4](2), [5,7,3](2), (2)(5,7), [2,3][7,1], [2,3][7,4], [2,3][7,5], 
  [2,3][7,6], [2,3](7), [2,3][5,1][7,4], [2,3][5,1][7,6], [2,3][5,1](7), 
  [2,3][5,4][7,1], [2,3][7,5,4], [2,3][5,4][7,6], [2,3][5,4](7), 
  [2,3][7,4](5), [2,3](5)(7), [2,3][5,6][7,1], [2,3][5,6][7,4], [2,3][5,7,1], 
  [2,3][5,7,4], [2,3](5,7), [2,3,7,1][5,4], [2,4][7,1], [2,4][7,3], 
  [2,4][7,5], [2,4][7,6], [2,4](7), [2,4][7,5,1], [2,4][5,1][7,6], 
  [2,4][5,1](7), [2,4][7,5,3], [2,4][5,3][7,6], [2,4][7,1](5), [2,4][7,3](5), 
  [2,4][7,6](5), [2,4][5,6][7,1], [2,4][5,6][7,3], [2,4][7,5,6], 
  [2,4][5,7,1], [2,4][3,5][7,1], [2,4][7,3,5,6], [2,5][7,1], [2,5][7,3], 
  [2,5][7,4], [2,5][7,6], [2,5](7), [2,5][7,6,3], [2,5,1][7,3], [2,5,1][7,6], 
  [2,5,1](7), [2,5,3][7,1], [2,5,3][7,6], [2,5,3](7), [2,5,6][7,1], 
  [2,5,6][7,3], [2,5,7,1], [2,5,7,3], [2,5][7,6](3), [2,6][7,1], [2,6][7,3], 
  [2,6][7,4], [2,6][7,5], [2,6][5,1][7,3], [2,6][5,1][7,4], [2,6][5,3][7,1], 
  [2,6][7,5,3], [2,6][5,4][7,1], [2,6][7,3](5), [2,6][7,3,1], [2,6][3,1][7,4],
  [2,7,1], [2,7,3], [2,7,4], [2,7,5], [2,7,6], [2,7,4][6,1], [2,7,4][5,1], 
  [2,7,5,1], [2,7,6][5,1], [2,7,1][5,4], [2,7,1](5), [2,7,6](5), 
  [2,7,1][5,6], [2,7,5,6], [2,7,4][3,1], [7,3](1), [7,4](1), [7,5](1), 
  [7,6](1), <identity partial perm on [ 17 ]>, [7,3](1)(6), [6,7,4](1), 
  [5,3][7,6](1)(2), [2,3][5,4](1)(7), [2,3,4][6,7,5](1), [2,4][7,5](1), 
  [2,4][7,6](1), [2,5][7,4](1), [2,6][7,5](1), [7,1,3], [1,3][7,4], 
  [1,3][7,5], [1,3][7,6], [1,3](7), [1,3][7,6,5], [2,1,3][7,6], 
  [7,5,1,3,4,6](2), [1,3][2,4][7,5,6], [2,4][7,1,3,6,5], [2,6][7,1,3], 
  [7,1,4], [1,4][7,3], [1,4][7,5], [1,4][7,6], [1,4](7), [3,7,1,4], 
  [2,1,4](7), [5,3,6][7,1,4](2), [2,6][7,1,4], [2,6,1,4][7,3], [2,7,1,4], 
  [7,1,5], [1,5][7,3], [1,5][7,4], [1,5][7,6], [1,5](7), [6,4][7,1,5], 
  [7,4](1,5)(2), [1,5][2,3][7,4], [1,5][2,4][7,6], [1,5][2,7,3], [7,1,6], 
  [1,6][7,3], [1,6][7,4], [1,6][7,5], [1,6,3][7,4], [7,1,6,5], [1,6][7,3,5], 
  [1,6][5,4][7,3](2), [1,6][2,3][7,5], [1,6][2,5][7,3], [2,7,5,1,6], (1,7), 
  [1,7,3], [1,7,4], [1,7,5], [1,7,5][6,3], [1,7,3](2)(5), [1,7,4][2,3] ]
gap> ForAll(last, x -> x in s);
true
gap> Set(last2) = AsSSortedList(s);
true

# MiscTest14
gap> gens := [Transformation([1323]),
>  Transformation([1412]),
>  Transformation([2411]),
>  Transformation([3422])];;
gap> s := Semigroup(gens);;
gap> Size(s);
114
gap> NrRClasses(s);
11
gap> NrDClasses(s);
5
gap> NrLClasses(s);
19
gap> NrIdempotents(s);
28
gap> IsRegularSemigroup(s);
false
gap> f := Transformation([4243]);;
gap> d := First(DClasses(s), x -> f in x);
<Green's D-class: Transformation( [ 1412 ] )>
gap> Transformation([1412]) in last;
true
gap> h := HClass(d, f);
<Green's H-class: Transformation( [ 4243 ] )>
gap> Transformation([4243]) in last;
true
gap> Size(h);
6
gap> IsGroupHClass(h);
true
gap> SchutzenbergerGroup(h);
Group([ (2,4), (2,3,4) ])
gap> ForAll(Elements(h), x -> x in h);
true
gap> ForAll(Elements(h), x -> x in d);
true
gap> IsGreensClassNC(h);
false
gap> gens := [PartialPermNC([124], [456]),
> PartialPermNC([125], [213]),
> PartialPermNC([1246], [2435]),
> PartialPermNC([12345], [43651])];;
gap> s := Semigroup(gens);;
gap> Size(s);
201
gap> f := PartialPerm([1 .. 5], [43651]);;
gap> d := DClassNC(s, f);
<Green's D-class: [2,3,6](1,4,5)>
gap> h := HClassNC(d, f);
<Green's H-class: [2,3,6](1,4,5)>
gap> Size(h);
1
gap> Size(d);
1
gap> AsSSortedList(h) = AsSSortedList(d);
true

# MiscTest15
gap> gens :=
> [PartialPermNC([1234567891011121314151718,
>   19202123242526272830323334353637404244,
>   46475153545859606163656667697172767984,
>   86889495100], [464733327097293034113789,
>   7752732966688699387856848252843499540,
>   24169476635823100382778217147236139990,
>   17419810359153458242]),
>  PartialPermNC([1234567891011121415161819,
>   21222426272829303132333435383940414243,
>   44464849515254565859616465676870737476,
>   78798082889097], [633857129915932548392,
>   96991838156523721491675242343271486,
>   353079825139256177622264147275088019,
>   946910406728889366367056]),
>  PartialPermNC([1234567891011121314151617,
>   18212223242526272930313435363738394042,
>   43444648495152535558606364666768697173,
>   75808687889091949597], [898585642106125,
>   98553992622134574414536459841287788330,
>   32687328623484779931576977711331009167,
>   181699607417954946641699431295635872]),
>  PartialPermNC([1234567891012131415172021,
>   22232426282930323435373940424344454647,
>   48495153545556585960616364656667687274,
>   757980828788919299100], [896734155729462,
>   7620522235759878404628655901612652666,
>   362561833841932398785179297433051394,
>   4480549981317681110072149913264608,
>   23])];;
gap> s := Semigroup(gens);;
gap> f := PartialPerm([263], [2889]);;
gap> d := DClassNC(s, f);
<Green's D-class: [2,28][63,89]>
gap> Size(d);
4752
gap> RhoOrb(d);
<closed orbit, 2874 points with Schreier tree with log with grading>
gap> 2874 * 2;
5748
gap> LambdaOrb(d);
<closed orbit, 1 points with Schreier tree with log with grading>
gap> NrLClasses(d);
1
gap> NrRClasses(d);
4752
gap> f := PartialPerm([429], [2889]);;
gap> f in d;
true
gap> h := HClass(d, f);
<Green's H-class: [4,28][29,89]>
gap> hh := HClassNC(d, f);
<Green's H-class: [4,28][29,89]>
gap> hh = h;
true
gap> Size(h);
1

# MiscTest16
gap> gens := [Transformation([1323]),
>  Transformation([1412]),
>  Transformation([3422]),
>  Transformation([4121])];;
gap> s := Monoid(gens);;
gap> List(DClasses(s), RClassReps);
[ [ IdentityTransformation ], [ Transformation( [ 1323 ] ) ], 
  [ Transformation( [ 1412 ] ), Transformation( [ 1244 ] ) ], 
  [ Transformation( [ 4121 ] ), Transformation( [ 4212 ] ) ], 
  [ Transformation( [ 3232 ] ), Transformation( [ 3222 ] ), 
      Transformation( [ 3323 ] ) ], [ Transformation( [ 1424 ] ) ]
    , [ Transformation( [ 4422 ] ), Transformation( [ 4244 ] ), 
      Transformation( [ 4442 ] ) ], [ Transformation( [ 1111 ] ) ]
    , [ Transformation( [ 4242 ] ), Transformation( [ 4222 ] ), 
      Transformation( [ 4424 ] ) ] ]
gap> reps := Concatenation(last);
[ IdentityTransformation, Transformation( [ 1323 ] ), 
  Transformation( [ 1412 ] ), Transformation( [ 1244 ] ), 
  Transformation( [ 4121 ] ), Transformation( [ 4212 ] ), 
  Transformation( [ 3232 ] ), Transformation( [ 3222 ] ), 
  Transformation( [ 3323 ] ), Transformation( [ 1424 ] ), 
  Transformation( [ 4422 ] ), Transformation( [ 4244 ] ), 
  Transformation( [ 4442 ] ), Transformation( [ 1111 ] ), 
  Transformation( [ 4242 ] ), Transformation( [ 4222 ] ), 
  Transformation( [ 4424 ] ) ]
gap> Length(last);
17
gap> IsDuplicateFree(last2);
true
gap> Size(s);
69
gap> NrDClasses(s);
9
gap> NrLClasses(s);
21
gap> List(reps, x -> DClass(s, x));
[ <Green's D-class: IdentityTransformation>, 
  <Green's D-class: Transformation( [ 1323 ] )>, 
  <Green's D-class: Transformation( [ 1412 ] )>, 
  <Green's D-class: Transformation( [ 1244 ] )>, 
  <Green's D-class: Transformation( [ 4121 ] )>, 
  <Green's D-class: Transformation( [ 4212 ] )>, 
  <Green's D-class: Transformation( [ 3232 ] )>, 
  <Green's D-class: Transformation( [ 3222 ] )>, 
  <Green's D-class: Transformation( [ 3323 ] )>, 
  <Green's D-class: Transformation( [ 1424 ] )>, 
  <Green's D-class: Transformation( [ 4422 ] )>, 
  <Green's D-class: Transformation( [ 4244 ] )>, 
  <Green's D-class: Transformation( [ 4442 ] )>, 
  <Green's D-class: Transformation( [ 1111 ] )>, 
  <Green's D-class: Transformation( [ 4242 ] )>, 
  <Green's D-class: Transformation( [ 4222 ] )>, 
  <Green's D-class: Transformation( [ 4424 ] )> ]
gap> d := DClass(s, Transformation([1244]));
<Green's D-class: Transformation( [ 1244 ] )>
gap> Transformation([1412]) in last;
true
gap> f := Transformation([1244]);
Transformation( [ 1244 ] )
gap> o := LambdaOrb(s);
<closed orbit, 15 points with Schreier tree with log>
gap> HasRhoOrb(s) and IsClosedOrbit(RhoOrb(s));
true
gap> o := RhoOrb(s);
<closed orbit, 12 points with Schreier tree with log>
gap> List(reps, x -> DClass(s, x));
[ <Green's D-class: IdentityTransformation>, 
  <Green's D-class: Transformation( [ 1323 ] )>, 
  <Green's D-class: Transformation( [ 1412 ] )>, 
  <Green's D-class: Transformation( [ 1244 ] )>, 
  <Green's D-class: Transformation( [ 4121 ] )>, 
  <Green's D-class: Transformation( [ 4212 ] )>, 
  <Green's D-class: Transformation( [ 3232 ] )>, 
  <Green's D-class: Transformation( [ 3222 ] )>, 
  <Green's D-class: Transformation( [ 3323 ] )>, 
  <Green's D-class: Transformation( [ 1424 ] )>, 
  <Green's D-class: Transformation( [ 4422 ] )>, 
  <Green's D-class: Transformation( [ 4244 ] )>, 
  <Green's D-class: Transformation( [ 4442 ] )>, 
  <Green's D-class: Transformation( [ 1111 ] )>, 
  <Green's D-class: Transformation( [ 4242 ] )>, 
  <Green's D-class: Transformation( [ 4222 ] )>, 
  <Green's D-class: Transformation( [ 4424 ] )> ]
gap> Union(List(last, x -> LClass(x, Representative(x))));
[ Transformation( [ 1111 ] ), Transformation( [ 121 ] ), 
  Transformation( [ 1232 ] ), IdentityTransformation, 
  Transformation( [ 1242 ] ), Transformation( [ 1244 ] ), 
  Transformation( [ 1323 ] ), Transformation( [ 1412 ] ), 
  Transformation( [ 1422 ] ), Transformation( [ 1424 ] ), 
  Transformation( [ 222 ] ), Transformation( [ 2232 ] ), 
  Transformation( [ 2242 ] ), Transformation( [ 2244 ] ), 
  Transformation( [ 2323 ] ), Transformation( [ 2333 ] ), 
  Transformation( [ 2422 ] ), Transformation( [ 2424 ] ), 
  Transformation( [ 2444 ] ), Transformation( [ 3222 ] ), 
  Transformation( [ 3232 ] ), Transformation( [ 3323 ] ), 
  Transformation( [ 4121 ] ), Transformation( [ 4212 ] ), 
  Transformation( [ 4222 ] ), Transformation( [ 4242 ] ), 
  Transformation( [ 4244 ] ), Transformation( [ 4422 ] ), 
  Transformation( [ 4424 ] ), Transformation( [ 4442 ] ) ]
gap> Length(last);
30
gap> D := List(reps, x -> DClass(s, x));
[ <Green's D-class: IdentityTransformation>, 
  <Green's D-class: Transformation( [ 1323 ] )>, 
  <Green's D-class: Transformation( [ 1412 ] )>, 
  <Green's D-class: Transformation( [ 1244 ] )>, 
  <Green's D-class: Transformation( [ 4121 ] )>, 
  <Green's D-class: Transformation( [ 4212 ] )>, 
  <Green's D-class: Transformation( [ 3232 ] )>, 
  <Green's D-class: Transformation( [ 3222 ] )>, 
  <Green's D-class: Transformation( [ 3323 ] )>, 
  <Green's D-class: Transformation( [ 1424 ] )>, 
  <Green's D-class: Transformation( [ 4422 ] )>, 
  <Green's D-class: Transformation( [ 4244 ] )>, 
  <Green's D-class: Transformation( [ 4442 ] )>, 
  <Green's D-class: Transformation( [ 1111 ] )>, 
  <Green's D-class: Transformation( [ 4242 ] )>, 
  <Green's D-class: Transformation( [ 4222 ] )>, 
  <Green's D-class: Transformation( [ 4424 ] )> ]
gap> Length(Set(D));
9
gap> List(D, x -> LClass(x, Representative(x)));
[ <Green's L-class: IdentityTransformation>, 
  <Green's L-class: Transformation( [ 1323 ] )>, 
  <Green's L-class: Transformation( [ 1412 ] )>, 
  <Green's L-class: Transformation( [ 1244 ] )>, 
  <Green's L-class: Transformation( [ 4121 ] )>, 
  <Green's L-class: Transformation( [ 4212 ] )>, 
  <Green's L-class: Transformation( [ 3232 ] )>, 
  <Green's L-class: Transformation( [ 3222 ] )>, 
  <Green's L-class: Transformation( [ 3323 ] )>, 
  <Green's L-class: Transformation( [ 1424 ] )>, 
  <Green's L-class: Transformation( [ 4422 ] )>, 
  <Green's L-class: Transformation( [ 4244 ] )>, 
  <Green's L-class: Transformation( [ 4442 ] )>, 
  <Green's L-class: Transformation( [ 1111 ] )>, 
  <Green's L-class: Transformation( [ 4242 ] )>, 
  <Green's L-class: Transformation( [ 4222 ] )>, 
  <Green's L-class: Transformation( [ 4424 ] )> ]
gap> Union(last);
[ Transformation( [ 1111 ] ), Transformation( [ 121 ] ), 
  Transformation( [ 1232 ] ), IdentityTransformation, 
  Transformation( [ 1242 ] ), Transformation( [ 1244 ] ), 
  Transformation( [ 1323 ] ), Transformation( [ 1412 ] ), 
  Transformation( [ 1422 ] ), Transformation( [ 1424 ] ), 
  Transformation( [ 222 ] ), Transformation( [ 2232 ] ), 
  Transformation( [ 2242 ] ), Transformation( [ 2244 ] ), 
  Transformation( [ 2323 ] ), Transformation( [ 2333 ] ), 
  Transformation( [ 2422 ] ), Transformation( [ 2424 ] ), 
  Transformation( [ 2444 ] ), Transformation( [ 3222 ] ), 
  Transformation( [ 3232 ] ), Transformation( [ 3323 ] ), 
  Transformation( [ 4121 ] ), Transformation( [ 4212 ] ), 
  Transformation( [ 4222 ] ), Transformation( [ 4242 ] ), 
  Transformation( [ 4244 ] ), Transformation( [ 4422 ] ), 
  Transformation( [ 4424 ] ), Transformation( [ 4442 ] ) ]
gap> Set(last2) = Set(LClasses(s));
false
gap> L := Set(last3);
[ <Green's L-class: Transformation( [ 1111 ] )>, 
  <Green's L-class: Transformation( [ 1412 ] )>, 
  <Green's L-class: Transformation( [ 1323 ] )>, 
  <Green's L-class: IdentityTransformation>, 
  <Green's L-class: Transformation( [ 1424 ] )>, 
  <Green's L-class: Transformation( [ 4422 ] )>, 
  <Green's L-class: Transformation( [ 3232 ] )>, 
  <Green's L-class: Transformation( [ 4242 ] )>, 
  <Green's L-class: Transformation( [ 4121 ] )> ]

# MiscTest17
gap> gens :=
> [PartialPermNC([124567891011121314161718,
>   20222324252628293132333536373841424445,
>   50515254556062646566687173757778798384,
>   94959697], [3056331743342878912444847181,
>   5790206970682265386322212955940737698,
>   488051927499352609411759672487372950,
>   394588671499]),
>  PartialPermNC([1234567891011121315161719,
>   20212324252628303235363741424347484950,
>   51525354555657585960646567686971727476,
>   8182838486879293], [5648714678217731812,
>   354380997965876363098266217527107455,
>   473795395284725053772459669497065189,
>   2111851519287940347152988168]),
>  PartialPermNC([1234567891011131415161718,
>   19202223242526272831323334353637394142,
>   44465052535456575859616263646568707172,
>   77818488899193959799100],
> [531043415714682054625498656914898733,
>   6460137092806935889849679947161278997,
>   4628403100171939825261677764567233129,
>   12957285726381824]),
>  PartialPermNC([1234567891112131416202123,
>   24252627282931323334353638404142434447,
>   48495053545556585962646566686970727476,
>   78838486909192939499100],
> [377856347306821951349336267881833569,
>   502661279356394851952731288925868414,
>   7029588843371092652276387434494826760,
>   22359801140985128])];;
gap> s := Semigroup(gens);
<partial perm semigroup of rank 97 with 4 generators>
gap> f :=
> PartialPermNC([5711121424252627293132343541,
>   424447484950536269708692],
> [2352396211479434705073892861481748377,
>   9248261398846033]);;
gap> d := DClass(s, f);
<Green's D-class: [5,23][7,52][12,62,13][24,47,83][25,94][27,70,84]
 [29,50,48,77][31,73][32,89][35,86,60][41,14,11,39][42,81][44,74][49,92,33]
 [53,26,34,2][69,98]>
gap> Size(d);
1
gap> RhoOrb(d);
<closed orbit, 1 points with Schreier tree with log with grading>
gap> LambdaOrb(d);
<closed orbit, 35494 points with Schreier tree with log>
gap> f := PartialPerm([57568392], [3052162129]);;
gap> d := DClassNC(s, f);
<Green's D-class: [5,30][7,52][56,16][83,21][92,29]>
gap> Size(d);
1
gap> iter := IteratorOfDClasses(s);
<iterator>
gap> repeat d := NextIterator(iter); until Size(d) > 1;
gap> d;
<Green's D-class: [74,16][84,34]>
gap> Size(d);
6793298
gap> f := PartialPerm([188], [7848]);;
gap> f in d;
true
gap> r := RClass(d, f);
<Green's R-class: [1,78][88,48]>
gap> ForAll(r, x -> x in d);
true
gap> Size(r);
3686
gap> NrLClasses(d) * last;
6793298
gap> SchutzenbergerGroup(r);
Group([ (16,34) ])
gap> SchutzenbergerGroup(d);
Group([ (16,34) ])
gap> IsRegularDClass(d);
true
gap> IsRegularGreensClass(r);
true
gap> ForAll(r, x -> x in r);
true
gap> repeat d := NextIterator(iter); until Size(d) > 1;
gap> d;
<Green's D-class: [41,34][50,16]>
gap> Size(d);
3686
gap> f := PartialPerm([4150], [1732]);;
gap> r := RClassNC(d, f);
<Green's R-class: [41,17][50,32]>
gap> Size(r);
3686
gap> ForAll(r, x -> x in d);
true
gap> ForAll(d, x -> x in r);
true
gap> rr := RClass(s, f);
<Green's R-class: [41,17][50,32]>
gap> AsSSortedList(rr) = AsSSortedList(r);
true
gap> d;
<Green's D-class: [41,34][50,16]>
gap> GroupHClass(d);
fail

# MiscTest18
gap> gens := [Transformation([2672699115]),
>   Transformation([3142521617]),
>   Transformation([381994105106]),
>   Transformation([47691013662]),
>   Transformation([59109638465]),
>   Transformation([62278821024]),
>   Transformation([6284758358]),
>   Transformation([7143277665]),
>   Transformation([71010179104210]),
>   Transformation([107108875919])];;
gap> s := Semigroup(gens);
<transformation semigroup of degree 10 with 10 generators>
gap> f := Transformation([66666106666]);;
gap> d := DClassNC(s, f);
<Green's D-class: Transformation( [ 66666106666 ] )>
gap> Transformation([66666106666]) in last;
true
gap> Size(d);
31680
gap> IsRegularDClass(d);
true
gap> GroupHClass(d);
<Green's H-class: Transformation( [ 1010101010610101010 ] )>
gap> Transformation([1010101010610101010]) in last;
true

# MiscTest19
gap> gens := [PartialPermNC([134610], [341610]),
> PartialPermNC([123456], [1039158]),
> PartialPermNC([1234610], [182349]),
> PartialPermNC([12348910], [58972610])];;
gap> s := Semigroup(gens);
<partial perm semigroup of rank 9 with 4 generators>
gap> Size(s);
789
gap> NrDClasses(s);
251
gap> d := DClasses(s)[251];
<Green's D-class: [4,7](2)>
gap> Size(d);
1
gap> First(DClasses(s), IsRegularDClass);
<Green's D-class: (1,3,4)(6)(10)>
gap> d := last;
<Green's D-class: (1,3,4)(6)(10)>
gap> Size(d);
3
gap> h := GroupHClass(d);
<Green's H-class: <identity partial perm on [ 134610 ]>>
gap> PartialPerm([134610], [134610]) in last;
true
gap> Size(h);
3
gap> AsSSortedList(h) = AsSSortedList(d);
true
gap> Elements(h);
[ <identity partial perm on [ 134610 ]>, (1,3,4)(6)(10), 
  (1,4,3)(6)(10) ]
gap> Number(DClasses(s), IsRegularDClass);
6
gap> List(DClasses(s), Idempotents);
[ [ <identity partial perm on [ 134610 ]> ], [  ], [  ], [  ], [  ], 
  [  ], [  ], [  ], [  ], [  ], [  ], [  ], [  ], [  ], [  ], [  ], [  ], 
  [  ], [  ], [  ], 
  [ <identity partial perm on [ 8 ]>, <identity partial perm on [ 2 ]>, 
      <identity partial perm on [ 3 ]>, <identity partial perm on [ 4 ]>, 
      <identity partial perm on [ 6 ]>, <identity partial perm on [ 9 ]>, 
      <identity partial perm on [ 10 ]>, <identity partial perm on [ 1 ]> ], 
  [  ], [  ], [  ], [  ], [  ], [ <identity partial perm on [ 5 ]> ], [  ], 
  [  ], [  ], [  ], [  ], [  ], [  ], [  ], [  ], [  ], [  ], [  ], [  ], 
  [  ], [  ], [  ], [  ], [  ], [  ], [  ], [  ], [  ], [  ], [  ], [  ], 
  [  ], [  ], [  ], [ <identity partial perm on [ 2810 ]> ], 
  [ <empty partial perm> ], [  ], [  ], [  ], [  ], [  ], [  ], [  ], [  ], 
  [  ], [  ], [  ], [  ], [  ], [  ], [  ], [  ], [  ], [  ], [  ], [  ], 
  [  ], [  ], [  ], [  ], [  ], [  ], [  ], [  ], [  ], [  ], [  ], [  ], 
  [  ], [  ], [  ], [  ], [  ], [  ], [  ], [  ], [  ], [  ], [  ], [  ], 
  [  ], [  ], [  ], [  ], [  ], [  ], [  ], [  ], [  ], [  ], [  ], 
  [ <identity partial perm on [ 34 ]>, <identity partial perm on [ 13 ]>, 
      <identity partial perm on [ 14 ]> ], [  ], [  ], [  ], [  ], [  ], 
  [  ], [  ], [  ], [  ], [  ], [  ], [  ], [  ], [  ], [  ], [  ], [  ], 
  [  ], [  ], [  ], [  ], [  ], [  ], [  ], [  ], [  ], [  ], [  ], [  ], 
  [  ], [  ], [  ], [  ], [  ], [  ], [  ], [  ], [  ], [  ], [  ], [  ], 
  [  ], [  ], [  ], [  ], [  ], [  ], [  ], [  ], [  ], [  ], [  ], [  ], 
  [  ], [  ], [  ], [  ], [  ], [  ], [  ], [  ], [  ], [  ], [  ], [  ], 
  [  ], [  ], [  ], [  ], [  ], [  ], [  ], [  ], [  ], [  ], [  ], [  ], 
  [  ], [  ], [  ], [  ], [  ], [  ], [  ], [  ], [  ], [  ], [  ], [  ], 
  [  ], [  ], [  ], [  ], [  ], [  ], [  ], [  ], [  ], [  ], [  ], [  ], 
  [  ], [  ], [  ], [  ], [  ], [  ], [  ], [  ], [  ], [  ], [  ], [  ], 
  [  ], [  ], [  ], [  ], [  ], [  ], [  ], [  ], [  ], [  ], [  ], [  ], 
  [  ], [  ], [  ], [  ], [  ], [  ], [  ], [  ], [  ], [  ], [  ], [  ], 
  [  ] ]
gap> Concatenation(last);
[ <identity partial perm on [ 134610 ]>, 
  <identity partial perm on [ 8 ]>, <identity partial perm on [ 2 ]>, 
  <identity partial perm on [ 3 ]>, <identity partial perm on [ 4 ]>, 
  <identity partial perm on [ 6 ]>, <identity partial perm on [ 9 ]>, 
  <identity partial perm on [ 10 ]>, <identity partial perm on [ 1 ]>, 
  <identity partial perm on [ 5 ]>, <identity partial perm on [ 2810 ]>, 
  <empty partial perm>, <identity partial perm on [ 34 ]>, 
  <identity partial perm on [ 13 ]>, <identity partial perm on [ 14 ]> ]
gap> ForAll(last, x -> x in s);
true
gap> Set(last2) = Idempotents(s);
false
gap> Set(last3) = Set(Idempotents(s));
true

# MiscTest20
gap> gens := [Transformation([14111172625510]),
> Transformation([244210511111167])];;
gap> s := Monoid(gens);;
gap> List(DClasses(s), Idempotents);
[ [ IdentityTransformation ], 
  [ Transformation( [ 124456761010 ] ) ], 
  [ Transformation( [ 422456777 ] ), 
      Transformation( [ 224456761010 ] ), 
      Transformation( [ 624456761010 ] ), 
      Transformation( [ 724456761010 ] ), 
      Transformation( [ 524456761010 ] ), 
      Transformation( [ 1024456761010 ] ), 
      Transformation( [ 112445676101011 ] ), 
      Transformation( [ 424456761010 ] ) ] ]
gap> Concatenation(last);
[ IdentityTransformation, Transformation( [ 124456761010 ] )
    , Transformation( [ 422456777 ] ), 
  Transformation( [ 224456761010 ] ), 
  Transformation( [ 624456761010 ] ), 
  Transformation( [ 724456761010 ] ), 
  Transformation( [ 524456761010 ] ), 
  Transformation( [ 1024456761010 ] ), 
  Transformation( [ 112445676101011 ] ), 
  Transformation( [ 424456761010 ] ) ]
gap> e := last;
[ IdentityTransformation, Transformation( [ 124456761010 ] )
    , Transformation( [ 422456777 ] ), 
  Transformation( [ 224456761010 ] ), 
  Transformation( [ 624456761010 ] ), 
  Transformation( [ 724456761010 ] ), 
  Transformation( [ 524456761010 ] ), 
  Transformation( [ 1024456761010 ] ), 
  Transformation( [ 112445676101011 ] ), 
  Transformation( [ 424456761010 ] ) ]
gap> IsDuplicateFree(e);
true
gap> ForAll(e, x -> x in s);
true
gap> Set(Idempotents(s)) = Set(e);
true

# MiscTest21
gap> gens :=
> [PartialPermNC([123456], [7108642]),
>  PartialPermNC([123459], [6831042]),
>  PartialPermNC([123567], [875629]),
>  PartialPermNC([123568], [934786])];;
gap> s := Semigroup(gens);;
gap> Size(s);
489
gap> First(DClasses(s), IsRegularDClass);
<Green's D-class: <empty partial perm>>
gap> NrRegularDClasses(s);
5
gap> PositionsProperty(DClasses(s), IsRegularDClass);
2526323563 ]
gap> d := DClasses(s)[26];
<Green's D-class: [3,8]>
gap> NrLClasses(d);
8
gap> NrRClasses(d);
8
gap> Size(d);
64
gap> Idempotents(d);
[ <identity partial perm on [ 3 ]>, <identity partial perm on [ 2 ]>, 
  <identity partial perm on [ 6 ]>, <identity partial perm on [ 4 ]>, 
  <identity partial perm on [ 5 ]>, <identity partial perm on [ 8 ]>, 
  <identity partial perm on [ 9 ]>, <identity partial perm on [ 7 ]> ]
gap> ForAll(last, x -> x in d);
true
gap> dd := DClassNC(s, PartialPermNC([8], [9]));
<Green's D-class: [8,9]>
gap> dd = d;
true
gap> Size(dd);
64
gap> Idempotents(dd);
[ <identity partial perm on [ 8 ]>, <identity partial perm on [ 3 ]>, 
  <identity partial perm on [ 2 ]>, <identity partial perm on [ 6 ]>, 
  <identity partial perm on [ 4 ]>, <identity partial perm on [ 5 ]>, 
  <identity partial perm on [ 9 ]>, <identity partial perm on [ 7 ]> ]
gap> Set(LClassReps(dd)) = Set(LClassReps(d));
false
gap> LClassReps(dd);
[ [8,9], [8,2], <identity partial perm on [ 8 ]>, [8,6], [8,7], [8,3], [8,5], 
  [8,4] ]
gap> LClassReps(d);
[ [3,8], [3,6], [3,2], <identity partial perm on [ 3 ]>, [3,5], [3,7], [3,9], 
  [3,4] ]
gap> Set(List(LClassReps(d), x -> LClass(d, x))) =
> Set(List(LClassReps(dd), x -> LClass(d, x)));
true
gap> Set(List(LClassReps(d), x -> LClass(d, x))) = Set(List(LClassReps(dd),
> x -> LClass(dd, x)));
true
gap> ForAll(LClassReps(dd), x -> x in d);
true
gap> ForAll(LClassReps(d), x -> x in dd);
true

# MiscTest22
gap> gens :=
> [PartialPermNC([12345678910],
> [23456789101]),
>  PartialPermNC([12345678910],
> [21345678910]),
>  PartialPermNC([124710], [85967])];;
gap> s := Semigroup(gens);;
gap> Size(s);
12398231
gap> NrRClasses(s);
639
gap> f := PartialPerm([39], [54]);;
gap> d := DClass(s, f);
<Green's D-class: [3,5][9,4]>
gap> Position(LambdaOrb(d), ImageSetOfPartialPerm(d!.rep));
7
gap> OrbSCC(RhoOrb(d))[RhoOrbSCCIndex(d)];
613860923962949313318464961361341602118
  1524402731461851582092703394072712403056395
  135371435239304370434132183238303369 ]
gap> OrbSCC(LambdaOrb(d))[LambdaOrbSCCIndex(d)];
713202736486567905373954562861104934
  139170115143172208667192116119147177173209
  24427824512013714817821411414289113 ]
gap> NrIdempotents(d);
45
gap> Number(Idempotents(s), x -> x in d);
45
gap> s := Semigroup(gens);
<partial perm semigroup of rank 10 with 3 generators>
gap> d := DClass(s, f);
<Green's D-class: [3,5][9,4]>
gap> s := Semigroup(gens);
<partial perm semigroup of rank 10 with 3 generators>
gap> d := DClassNC(s, f);
<Green's D-class: [3,5][9,4]>
gap> NrIdempotents(d);
45
gap> Number(Idempotents(s), x -> x in d);
45
gap> s := Semigroup(gens);
<partial perm semigroup of rank 10 with 3 generators>
gap> l := LClass(s, f);
<Green's L-class: [3,5][9,4]>
gap> d := DClassOfLClass(l);
<Green's D-class: [3,5][9,4]>
gap> NrIdempotents(d);
45
gap> s := Semigroup(gens);
<partial perm semigroup of rank 10 with 3 generators>
gap> l := LClass(s, f);
<Green's L-class: [3,5][9,4]>
gap> s := Semigroup(gens);
<partial perm semigroup of rank 10 with 3 generators>
gap> l := LClassNC(s, f);
<Green's L-class: [3,5][9,4]>
gap> d := DClassOfLClass(l);
<Green's D-class: [3,5][9,4]>
gap> NrIdempotents(d);
45
gap> s := Semigroup(gens);
<partial perm semigroup of rank 10 with 3 generators>
gap> r := RClass(s, f);
<Green's R-class: [3,5][9,4]>
gap> d := DClassOfRClass(r);
<Green's D-class: [3,7][9,6]>
gap> NrIdempotents(d);
45
gap> s := Semigroup(gens);
<partial perm semigroup of rank 10 with 3 generators>
gap> r := RClassNC(s, f);
<Green's R-class: [3,5][9,4]>
gap> d := DClassOfRClass(r);
<Green's D-class: [3,5][9,4]>
gap> NrIdempotents(d);
45
gap> r := RClassNC(s, f);
<Green's R-class: [3,5][9,4]>
gap> d := DClassOfRClass(r);
<Green's D-class: [3,5][9,4]>
gap> NrIdempotents(d);
45
gap> IsGreensClassNC(d);
true
gap> IsGreensClassNC(r);
true
gap> NrRegularDClasses(s);
7
gap> NrDClasses(s);
7
gap> IsRegularSemigroup(s);
true

# MiscTest23
gap> gens := [Transformation([14111172625510]),
> Transformation([244210511111167])];;
gap> s := Monoid(gens);;
gap> NrRegularDClasses(s);
3
gap> NrDClasses(s);
3
gap> IsRegularSemigroup(s);
true
gap> d := DClasses(s)[2];
<Green's D-class: Transformation( [ 14111172625510 ] )>
gap> Transformation([14111172625510]) in last;
true
gap> NrHClasses(d);
1
gap> h := GroupHClass(d);
<Green's H-class: Transformation( [ 124456761010 ] )>
gap> Transformation([124456761010]) in last;
true
gap> AsSSortedList(h) = AsSSortedList(d);
true
gap> Size(d);
7
gap> Size(h);
7

# MiscTest24
gap> gens :=
> [PartialPermNC([12356712], [111034628]),
>  PartialPermNC([12456891011],
> [28110114769])];;
gap> s := Semigroup(gens);
<partial perm semigroup of rank 12 with 2 generators>
gap> Size(s);
251
gap> d := DClass(s, PartialPerm([512], [69]));;
gap> NrHClasses(d);
1
gap> List(DClasses(s), NrHClasses);
11111111111111811111111111
  91111111111111125111111114
  1914111111011411101114111 ]
gap> Sum(last);
223
gap> NrHClasses(s);
223

# MiscTest25
gap> gens :=
> [PartialPermNC([123491011], [41712396]),
> PartialPermNC([1345781112], [411279816])];;
gap> s := Semigroup(gens);;
gap> f := PartialPerm([4711], [296]);;
gap> d := DClassNC(s, f);
<Green's D-class: [4,2][7,9][11,6]>
gap> NrHClasses(s);
125
gap> d := DClass(s, f);
<Green's D-class: [4,2][7,9][11,6]>
gap> NrHClasses(s);
125
gap> NrHClasses(d);
1
gap> d := DClassNC(s, f);
<Green's D-class: [4,2][7,9][11,6]>
gap> NrHClasses(d);
1
gap> d := DClass(LClass(s, f));
<Green's D-class: [4,2][7,9][11,6]>
gap> NrHClasses(d);
1
gap> d := DClass(RClass(s, f));
<Green's D-class: [4,2][7,9][11,6]>
gap> NrHClasses(d);
1
gap> NrRegularDClasses(s);
4
gap> NrDClasses(s);
65
gap> RClassReps(d);
[ [4,2][7,9][11,6] ]
gap> iter := IteratorOfDClasses(s);
<iterator>
gap> repeat
>   d := NextIterator(iter);
> until IsDoneIterator(iter) or Size(d) > 1000;
gap> d;
<Green's D-class: [1,6][5,4]>
gap> Size(d);
1
gap> List(DClasses(s), Size);
1111111111113113911131111
  1313333193131311111331313
  933111111113111 ]
gap> Position(last, 9);
17
gap> d := DClasses(s)[17];
<Green's D-class: [1,4][3,7]>
gap> Size(d);
9
gap> IsRegularDClass(d);
true
gap> RClassReps(d);
[ [1,4][3,7], [2,4][9,7], <identity partial perm on [ 47 ]> ]
gap> d := DClassNC(s, Representative(d));
<Green's D-class: [1,4][3,7]>
gap> RClassReps(d);
[ [1,4][3,7], [2,4][9,7], <identity partial perm on [ 47 ]> ]
gap> s := Semigroup(Generators(s));
<partial perm semigroup of rank 11 with 2 generators>
gap> d := DClass(HClass(s, Representative(d)));
<Green's D-class: [1,4][3,7]>
gap> RClassReps(d);
[ [1,4][3,7], [2,4][9,7], <identity partial perm on [ 47 ]> ]
gap> Size(d);
9
gap> Number(s, x -> x in d);
9
gap> ForAll(d, x -> x in d);
true
gap> HClassReps(d);
[ [1,4][3,7], [1,2][3,9], <identity partial perm on [ 13 ]>, [2,4][9,7], 
  <identity partial perm on [ 29 ]>, [2,1][9,3], 
  <identity partial perm on [ 47 ]>, [4,2][7,9], [4,1][7,3] ]
gap> Set(last) = Elements(d);
true

# MiscTest26
gap> gens := [Transformation([21453789106]),
> Transformation([12435678910]),
> Transformation([12345610987]),
> Transformation([9143693439])];;
gap> s := Monoid(gens);;
gap> f := Transformation([21354109876]);;
gap> d := DClass(HClass(s, f));
<Green's D-class: Transformation( [ 21354109876 ] )>
gap> Transformation([21354109876]) in last;
true
gap> Size(d);
120
gap> HClassReps(d);
[ Transformation( [ 21354109876 ] ) ]
gap> h := GroupHClass(d);
<Green's H-class: IdentityTransformation>
gap> ForAll(h, x -> x in d) and ForAll(d, x -> x in h);
true
gap> Size(s);
491558
gap> f := Transformation([6636466664]);;
gap> d := DClass(HClass(s, f));
<Green's D-class: Transformation( [ 6636466664 ] )>
gap> Transformation([9496496969]) in last;
true
gap> Size(d);
121500
gap> NrHClasses(d);
20250
gap> Length(HClassReps(d));
20250
gap> ForAll(HClassReps(d), x -> x in d);
true
gap> d := DClass(RClass(s, f));
<Green's D-class: Transformation( [ 9969499994 ] )>
gap> Transformation([9496496969]) in last;
true
gap> Size(d);
121500
gap> ForAll(d, x -> x in d);
true
gap> NrIdempotents(d);
5550
gap> ForAll(Idempotents(d), x -> x in d);
true

# MiscTest27: R-class
gap> gens := [
> Transformation([22355678141616171814161617,
>                 18]),
> Transformation([1334567891011121314151617,
>                 18]),
> Transformation([1244567891011121315151617,
>                 18]),
> Transformation([1234667891011121314151717,
>                 18]),
> Transformation([1234577891011121314151618,
>                 18]),
> Transformation([1234568891011121314151617,
>                 2]),
> Transformation([129101112131910111213141516,
>                 1718])];;
gap> s := Semigroup(gens);;
gap> f := Transformation([124466789101112131515,
>                         171718]);;
gap> r := RClassNC(s, f);
<Green's R-class: Transformation( [ 12446678910111213,
  15151717 ] )>
gap> Size(r);
1
gap> SchutzenbergerGroup(r);
Group(())
gap> f := Transformation([121010111213191011121315,
>                         15161718]);;
gap> r := RClass(s, f);
<Green's R-class: Transformation( [ 121010111213191011,
   12131515 ] )>
gap> Size(r);
1
gap> SchutzenbergerGroup(r);
Group(())

# MiscTest28
gap> gens := [
> Transformation([2415447381]),
> Transformation([9128159995]),
> Transformation([931510346102]),
> Transformation([107371988410])];;
gap> s := Semigroup(gens);;
gap> f := Transformation([9101031099999]);;
gap> r := RClass(s, f);
<Green's R-class: Transformation( [ 9101031099999 ] )>
gap> Transformation([9881899999]) in last;
true
gap> Size(r);
546
gap> SchutzenbergerGroup(r);
Group([ (1,9,8), (1,8) ])
gap> ForAll(r, x -> x in r);
true
gap> f := Transformation([8888887788]);;
gap> r := RClass(s, f);
<Green's R-class: Transformation( [ 8888887788 ] )>
gap> Transformation([1111119911]) in last;
true
gap> Size(r);
86
gap> iter := IteratorOfRClasses(s);
<iterator>
gap> repeat r := NextIterator(iter); until Size(r) > 1000;
gap> r;
<Green's R-class: Transformation( [ 9182189998 ] )>
gap> Transformation([9182189998]) in last;
true
gap> Size(r);
1992
gap> SchutzenbergerGroup(r);
Group([ (2,8), (1,8), (1,2,8,9) ])
gap> enum := Enumerator(r);
<enumerator of <Green's R-class: Transformation( [ 918218999,
   8 ] )>>
gap> ForAll(enum, x -> x in r);
true
gap> ForAll(enum, x -> enum[Position(enum, x)] = x);
true
gap> ForAll([1 .. Length(enum)], x -> Position(enum, enum[x]) = x);
true
gap> NrHClasses(r);
83
gap> GreensHClasses(r);
[ <Green's H-class: Transformation( [ 9182189998 ] )>, 
  <Green's H-class: Transformation( [ 8243248884 ] )>, 
  <Green's H-class: Transformation( [ 1543541114 ] )>, 
  <Green's H-class: Transformation( [ 5412415551 ] )>, 
  <Green's H-class: Transformation( [ 10593591010109 ] )>, 
  <Green's H-class: Transformation( [ 9125129992 ] )>, 
  <Green's H-class: Transformation( [ 410711074447 ] )>, 
  <Green's H-class: Transformation( [ 5172175557 ] )>, 
  <Green's H-class: Transformation( [ 10943941010104 ] )>, 
  <Green's H-class: Transformation( [ 5982985558 ] )>, 
  <Green's H-class: Transformation( [ 1487481118 ] )>, 
  <Green's H-class: Transformation( [ 7523527772 ] )>, 
  <Green's H-class: Transformation( [ 10143141010104 ] )>, 
  <Green's H-class: Transformation( [ 8173178887 ] )>, 
  <Green's H-class: Transformation( [ 3271273337 ] )>, 
  <Green's H-class: Transformation( [ 1472471117 ] )>, 
  <Green's H-class: Transformation( [ 5472475557 ] )>, 
  <Green's H-class: Transformation( [ 10543541010104 ] )>, 
  <Green's H-class: Transformation( [ 17310731113 ] )>, 
  <Green's H-class: Transformation( [ 9412419991 ] )>, 
  <Green's H-class: Transformation( [ 5842845554 ] )>, 
  <Green's H-class: Transformation( [ 10653651010105 ] )>, 
  <Green's H-class: Transformation( [ 2310131022210 ] )>, 
  <Green's H-class: Transformation( [ 3129123332 ] )>, 
  <Green's H-class: Transformation( [ 10193191010109 ] )>, 
  <Green's H-class: Transformation( [ 2910191022210 ] )>, 
  <Green's H-class: Transformation( [ 2418412221 ] )>, 
  <Green's H-class: Transformation( [ 5342345554 ] )>, 
  <Green's H-class: Transformation( [ 10153151010105 ] )>, 
  <Green's H-class: Transformation( [ 3596593339 ] )>, 
  <Green's H-class: Transformation( [ 3149143334 ] )>, 
  <Green's H-class: Transformation( [ 1510951011110 ] )>, 
  <Green's H-class: Transformation( [ 310741073337 ] )>, 
  <Green's H-class: Transformation( [ 310871083338 ] )>, 
  <Green's H-class: Transformation( [ 1264261116 ] )>, 
  <Green's H-class: Transformation( [ 9158159995 ] )>, 
  <Green's H-class: Transformation( [ 41810184448 ] )>, 
  <Green's H-class: Transformation( [ 5312315551 ] )>, 
  <Green's H-class: Transformation( [ 5962965556 ] )>, 
  <Green's H-class: Transformation( [ 1497491119 ] )>, 
  <Green's H-class: Transformation( [ 84710478887 ] )>, 
  <Green's H-class: Transformation( [ 3571573337 ] )>, 
  <Green's H-class: Transformation( [ 410911094449 ] )>, 
  <Green's H-class: Transformation( [ 5182185558 ] )>, 
  <Green's H-class: Transformation( [ 10693691010109 ] )>, 
  <Green's H-class: Transformation( [ 110871081118 ] )>, 
  <Green's H-class: Transformation( [ 9264269996 ] )>, 
  <Green's H-class: Transformation( [ 910251029992 ] )>, 
  <Green's H-class: Transformation( [ 10318311010101 ] )>, 
  <Green's H-class: Transformation( [ 2196192229 ] )>, 
  <Green's H-class: Transformation( [ 710491047774 ] )>, 
  <Green's H-class: Transformation( [ 7158157775 ] )>, 
  <Green's H-class: Transformation( [ 7243247774 ] )>, 
  <Green's H-class: Transformation( [ 1457451115 ] )>, 
  <Green's H-class: Transformation( [ 9510451099910 ] )>, 
  <Green's H-class: Transformation( [ 5184185558 ] )>, 
  <Green's H-class: Transformation( [ 910651069996 ] )>, 
  <Green's H-class: Transformation( [ 410961094449 ] )>, 
  <Green's H-class: Transformation( [ 10253251010105 ] )>, 
  <Green's H-class: Transformation( [ 510421045554 ] )>, 
  <Green's H-class: Transformation( [ 2587582228 ] )>, 
  <Green's H-class: Transformation( [ 310641063336 ] )>, 
  <Green's H-class: Transformation( [ 310971093339 ] )>, 
  <Green's H-class: Transformation( [ 1210421011110 ] )>, 
  <Green's H-class: Transformation( [ 3529523332 ] )>, 
  <Green's H-class: Transformation( [ 3174173337 ] )>, 
  <Green's H-class: Transformation( [ 9145149994 ] )>, 
  <Green's H-class: Transformation( [ 310841083338 ] )>, 
  <Green's H-class: Transformation( [ 2156152225 ] )>, 
  <Green's H-class: Transformation( [ 710191017771 ] )>, 
  <Green's H-class: Transformation( [ 7128127772 ] )>, 
  <Green's H-class: Transformation( [ 4396394449 ] )>, 
  <Green's H-class: Transformation( [ 7349347774 ] )>, 
  <Green's H-class: Transformation( [ 1510451011110 ] )>, 
  <Green's H-class: Transformation( [ 3487483338 ] )>, 
  <Green's H-class: Transformation( [ 1564561116 ] )>, 
  <Green's H-class: Transformation( [ 9210421099910 ] )>, 
  <Green's H-class: Transformation( [ 310291023332 ] )>, 
  <Green's H-class: Transformation( [ 2510151022210 ] )>, 
  <Green's H-class: Transformation( [ 9543549994 ] )>, 
  <Green's H-class: Transformation( [ 4196194449 ] )>, 
  <Green's H-class: Transformation( [ 9564569996 ] )>, 
  <Green's H-class: Transformation( [ 1536531113 ] )> ]
gap> List(last, x -> Representative(x) in s);
[ true, true, true, true, true, true, true, true, true, true, true, true, 
  true, true, true, true, true, true, true, true, true, true, true, true, 
  true, true, true, true, true, true, true, true, true, true, true, true, 
  true, true, true, true, true, true, true, true, true, true, true, true, 
  true, true, true, true, true, true, true, true, true, true, true, true, 
  true, true, true, true, true, true, true, true, true, true, true, true, 
  true, true, true, true, true, true, true, true, true, true, true ]
gap> ForAll(last2, x -> Representative(x) in r);
true
gap> Semigroup(gens);;
gap> r := GreensRClassOfElement(s, f);
<Green's R-class: Transformation( [ 8888887788 ] )>
gap> Transformation([1111119911]) in last;
true
gap> f := Transformation([9959595555]);;
gap> r := GreensRClassOfElement(s, f);
<Green's R-class: Transformation( [ 9959595555 ] )>
gap> Transformation([9919191111]) in last;
true
gap> Size(r);
86
gap> NrHClasses(r);
43
gap> s := Semigroup(gens);;
gap> r := GreensRClassOfElement(s, f);
<Green's R-class: Transformation( [ 9959595555 ] )>
gap> Transformation([9919191111]) in last;
true
gap> GreensHClasses(r);
[ <Green's H-class: Transformation( [ 9919191111 ] )>, 
  <Green's H-class: Transformation( [ 8828282222 ] )>, 
  <Green's H-class: Transformation( [ 4434343333 ] )>, 
  <Green's H-class: Transformation( [ 1151515555 ] )>, 
  <Green's H-class: Transformation( [ 9910910910101010 ] )>,
  <Green's H-class: Transformation( [ 10104104104444 ] )>, 
  <Green's H-class: Transformation( [ 8858585555 ] )>, 
  <Green's H-class: Transformation( [ 8818181111 ] )>, 
  <Green's H-class: Transformation( [ 8810810810101010 ] )>,
  <Green's H-class: Transformation( [ 1131313333 ] )>, 
  <Green's H-class: Transformation( [ 3310310310101010 ] )>,
  <Green's H-class: Transformation( [ 2252525555 ] )>, 
  <Green's H-class: Transformation( [ 7717171111 ] )>, 
  <Green's H-class: Transformation( [ 9949494444 ] )>, 
  <Green's H-class: Transformation( [ 9989898888 ] )>, 
  <Green's H-class: Transformation( [ 8848484444 ] )>, 
  <Green's H-class: Transformation( [ 7787878888 ] )>, 
  <Green's H-class: Transformation( [ 7737373333 ] )>, 
  <Green's H-class: Transformation( [ 9929292222 ] )>, 
  <Green's H-class: Transformation( [ 7747474444 ] )>, 
  <Green's H-class: Transformation( [ 4454545555 ] )>, 
  <Green's H-class: Transformation( [ 5510510510101010 ] )>,
  <Green's H-class: Transformation( [ 2210210210101010 ] )>,
  <Green's H-class: Transformation( [ 7710710710101010 ] )>,
  <Green's H-class: Transformation( [ 9959595555 ] )>, 
  <Green's H-class: Transformation( [ 1141414444 ] )>, 
  <Green's H-class: Transformation( [ 4424242222 ] )>, 
  <Green's H-class: Transformation( [ 5535353333 ] )>, 
  <Green's H-class: Transformation( [ 1121212222 ] )>, 
  <Green's H-class: Transformation( [ 9939393333 ] )>, 
  <Green's H-class: Transformation( [ 1110110110101010 ] )>,
  <Green's H-class: Transformation( [ 2232323333 ] )>, 
  <Green's H-class: Transformation( [ 7757575555 ] )>, 
  <Green's H-class: Transformation( [ 8838383333 ] )>, 
  <Green's H-class: Transformation( [ 1161616666 ] )>, 
  <Green's H-class: Transformation( [ 4464646666 ] )>, 
  <Green's H-class: Transformation( [ 9979797777 ] )>, 
  <Green's H-class: Transformation( [ 6656565555 ] )>, 
  <Green's H-class: Transformation( [ 6610610610101010 ] )>,
  <Green's H-class: Transformation( [ 7727272222 ] )>, 
  <Green's H-class: Transformation( [ 2262626666 ] )>, 
  <Green's H-class: Transformation( [ 9969696666 ] )>, 
  <Green's H-class: Transformation( [ 3363636666 ] )> ]
gap> Length(last);
43
gap> ForAll(last2, x -> Representative(x) in r);
true
gap> ForAll(last3, x -> Representative(x) in s);
true
gap> h := Random(GreensHClasses(r));;
gap> f := Representative(h);;
gap> hh := HClass(r, f);;
gap> hh = h;
true
gap> h = hh;
true
gap> Elements(h) = Elements(hh);
true
gap> f := Transformation([101910215323]);;
gap> r := GreensRClassOfElement(s, f);
<Green's R-class: Transformation( [ 101910215323 ] )>
gap> Transformation([101910215323]) in last;
true
gap> Size(r);
1
gap> f := Transformation([101031010101010610]);;
gap> r := GreensRClassOfElement(s, f);
<Green's R-class: Transformation( [ 101031010101010610 ] )>
gap> Transformation([8818888898]) in last;
true
gap> Size(r);
546
gap> f := Transformation([6646666636]);;
gap> f in r;
true
gap> h := HClass(r, f);
<Green's H-class: Transformation( [ 6646666636 ] )>
gap> Transformation([6646666636]) in last;
true
gap> f in h;
true
gap> ForAll(h, x -> x in r);
true
gap> Size(h);
6
gap> Elements(h);
[ Transformation( [ 3343333363 ] ), 
  Transformation( [ 3363333343 ] ), 
  Transformation( [ 4434444464 ] ), 
  Transformation( [ 4464444434 ] ), 
  Transformation( [ 6636666646 ] ), 
  Transformation( [ 6646666636 ] ) ]

# MiscTest29
gap> gens :=
> [PartialPermNC([1235910], [5107891]),
>  PartialPermNC([1234569], [9314256]),
>  PartialPermNC([1234579], [7628453]),
>  PartialPermNC([12345678910],
> [87431095612])];;
gap> s := Semigroup(gens);;
gap> Size(s);
1422787
gap> f := PartialPermNC([147910], [510987]);;
gap> r := GreensRClassOfElementNC(s, f);
<Green's R-class: [1,5][4,10,7,9,8]>
gap> Size(r);
4
gap> f in r;
true
gap> f := PartialPermNC([1789], [10965]);;
gap> r := GreensRClassOfElementNC(s, f);
<Green's R-class: [1,10][7,9,5][8,6]>
gap> Size(r);
4
gap> iter := IteratorOfRClasses(s);
<iterator>
gap> repeat r := NextIterator(iter); until Size(r) > 1000;
gap> r;
<Green's R-class: [1,4][9,3,5][10,7]>
gap> Size(r);
3792
gap> r := RClassNC(s, Representative(r));
<Green's R-class: [1,4][9,3,5][10,7]>
gap> h := HClassNC(r, Random(r));;
gap> Size(h);
24
gap> ForAll(h, x -> x in r);
true
gap> IsRegularGreensClass(r);
true
gap> IsRegularSemigroup(s);
false
gap> NrIdempotents(r);
1
gap> Idempotents(r);
[ <identity partial perm on [ 13910 ]> ]
gap> ForAll(last, x -> x in r);
true

# MiscTest30
gap> gens := [Transformation([137911213115911811,
>  1311211111125261]),
>  Transformation([15151111141161711191111,
>       112311619111]),
> Transformation([1481101811110181011201,
>       221811111]),
> Transformation([1661116111116161161,
>       12411116])];;
gap> s := Semigroup(gens);;
gap> First(DClasses(s), IsRegularDClass);
<Green's D-class: Transformation( [ 11111111111111,
   111111111111 ] )>
gap> NrDClasses(s);
31
gap> PositionsProperty(DClasses(s), IsRegularDClass);
67 ]
gap> d := DClasses(s)[7];
<Green's D-class: Transformation( [ 16116111116116,
   111111111111 ] )>
gap> r := RClassNC(s, Representative(d));
<Green's R-class: Transformation( [ 16116111116116,
   111111111111 ] )>
gap> Size(r);
20
gap> ForAll(Idempotents(r), x -> x in s);
true
gap> ForAll(Idempotents(r), x -> x in r);
true
gap> ForAll(Idempotents(r), x -> x in d);
true
gap> ForAll(r, x -> x in d);
true
gap> Number(GreensRClasses(s), IsRegularGreensClass);
21
gap> NrRegularDClasses(s);
2

# MiscTest31
gap> gens := [Transformation([12354678]),
>   Transformation([44315638]),
>   Transformation([36173483]),
>   Transformation([12345378]),
>   Transformation([12341678]),
>   Transformation([88345761])];;
gap> s := Monoid(gens);
<transformation monoid of degree 8 with 6 generators>
gap> f := Transformation([44385331]);;
gap> Size(s);
998
gap> r := RClass(s, f);
<Green's R-class: Transformation( [ 44385331 ] )>
gap> Transformation([44385331]) in last;
true
gap> IsRegularGreensClass(r);
true
gap> Idempotents(r);
[ Transformation( [ 1134533 ] ) ]
gap> IsRegularSemigroup(s);
false
gap> ForAll(r, x -> x in s);
true
gap> iter := Iterator(r);
<iterator>
gap> for i in iter do od;
gap> Size(r);
24
gap> IsDoneIterator(iter);
true
gap> iter := Iterator(r);
<iterator>
gap> for i in [1 .. 23] do NextIterator(iter); od;
gap> IsDoneIterator(iter);
false
gap> NextIterator(iter);
Transformation( [ 5531433 ] )
gap> IsDoneIterator(iter);
true
gap> Transformation([44381335]) in r;
true
gap> r;
<Green's R-class: Transformation( [ 44385331 ] )>
gap> Transformation([44385331]) in last;
true
gap> NrIdempotents(r);
1

# MiscTest32
gap> gens := [PartialPermNC([12347], [83574]),
>  PartialPermNC([12567], [41628]),
>  PartialPermNC([123456], [371526]),
>  PartialPermNC([123456], [725638]),
>  PartialPermNC([123567], [456127]),
>  PartialPermNC([123567], [517284])];;
gap> s := Semigroup(gens);;
gap> Size(s);
9954
gap> f := PartialPerm([236], [148]);;
gap> r := RClass(s, f);
<Green's R-class: [2,1][3,4][6,8]>
gap> NrIdempotents(r);
0
gap> Sum(List(RClasses(s), NrIdempotents));
53
gap> NrIdempotents(s);
53
gap> gens := [Transformation([124365]),
> Transformation([123456]),
>    Transformation([643253]),
> Transformation([534221]),
>    Transformation([246453]),
> Transformation([424365]),
>    Transformation([244365]),
> Transformation([564432]),
>    Transformation([223456]),
> Transformation([342221]),
>    Transformation([124233]),
> Transformation([123432]),
>    Transformation([642323]),
> Transformation([642211]),
>    Transformation([642344]),
> Transformation([533242])];;
gap> s := Semigroup(gens);;
gap> Size(s);
1888
gap> f := Transformation([246656]);;
gap> r := RClass(s, f);
<Green's R-class: Transformation( [ 246656 ] )>
gap> Transformation([246656]) in last;
true
gap> h := HClassNC(s, f);
<Green's H-class: Transformation( [ 246656 ] )>
gap> Transformation([246656]) in last;
true
gap> hh := HClass(r, f);
<Green's H-class: Transformation( [ 246656 ] )>
gap> Transformation([246656]) in last;
true
gap> hh = h;
true
gap> ForAll(h, x -> x in r);
true
gap> ForAll(hh, x -> x in r);
true
gap> RClassOfHClass(h) = r;
true
gap> RClassOfHClass(hh) = r;
true
gap> r = RClassOfHClass(hh);
true
gap> Size(r);
2
gap> HClassReps(r);
[ Transformation( [ 246656 ] ), 
  Transformation( [ 235565 ] ) ]
gap> ForAll(last, x -> x in r);
true
gap> ForAll(last2, x -> x in s);
true

# MiscTest33
gap> gens :=
> [PartialPermNC([123], [234]),
>  PartialPermNC([123], [361]),
>  PartialPermNC([123], [621]),
>  PartialPermNC([124], [426]),
>  PartialPermNC([135], [263]),
>  PartialPermNC([145], [163]),
>  PartialPermNC([1235], [2351]),
>  PartialPermNC([1235], [3246]),
>  PartialPermNC([1246], [4316]),
>  PartialPermNC([1356], [1462]),
>  PartialPermNC([12345], [54621]),
>  PartialPermNC([12345], [62351]),
>  PartialPermNC([12345], [63512]),
>  PartialPermNC([12346], [41523]),
>  PartialPermNC([12346], [51632]),
>  PartialPermNC([12356], [54263])];;
gap> s := Semigroup(gens);;
gap> Size(s);
6741
gap> f := PartialPermNC([1356], [6251]);;
gap> r := RClassNC(s, f);
<Green's R-class: [3,2](1,6)(5)>
gap> HClassReps(r);
[ [3,2](1,6)(5) ]
gap> ForAll(last, x -> x in r);
true
gap> r := RClass(s, f);
<Green's R-class: [3,2](1,6)(5)>
gap> HClassReps(r);
[ [3,2](1,6)(5) ]
gap> h := HClass(s, last[1]);
<Green's H-class: [3,2](1,6)(5)>
gap> r := RClassOfHClass(h);
<Green's R-class: [3,2](1,6)(5)>
gap> HClassReps(r);
[ [3,2](1,6)(5) ]
gap> iter := IteratorOfRClasses(s);
<iterator>
gap> iter := IteratorOfRClasses(s);
<iterator>
gap> repeat r := NextIterator(iter); until Size(r) > 1;
gap> r;
<Green's R-class: [1,2,3,4]>
gap> Size(r);
114
gap> HClassReps(r);
[ [1,2,3,4], [1,2,4][3,6], [2,3,6](1), [1,5](2)(3), [2,5](1,3), [3,2,1,5], 
  <identity partial perm on [ 123 ]>, [1,3,2,6], [3,6](1)(2), 
  [1,4][2,3,6], [1,3,5][2,4], [2,3,4](1), [2,1,5][3,6], [1,6][2,5](3), 
  [1,2,6][3,5], [1,4][3,2,5], [3,4](1,2), [2,5][3,4](1), [2,6][3,1,4] ]
gap> Size(DClass(r));
2166
gap> d := DClass(r);
<Green's D-class: [1,2,3,4]>
gap> ForAll(r, x -> x in d);
true
gap> Number(d, x -> x in r);
114
gap> Size(r);
114
gap> ForAll(HClassReps(r), x -> x in d);
true
gap> ForAll(HClassReps(r), x -> x in HClassReps(d));
true

# MiscTest34
gap> gens := [Transformation([643251]),
>   Transformation([123456]),
>   Transformation([533241]),
>   Transformation([133452]),
>   Transformation([452331]),
>   Transformation([643523]),
>   Transformation([523436]),
>   Transformation([132545]),
>   Transformation([432215]),
>   Transformation([133524]),
>   Transformation([633215]),
>   Transformation([634522]),
>   Transformation([643225]),
>   Transformation([132354]),
>   Transformation([123452]),
>   Transformation([243465]),
>   Transformation([243361]),
>   Transformation([643231]),
>   Transformation([643221])];;
gap> s := Semigroup(gens);
<transformation monoid of degree 6 with 18 generators>
gap> Size(s);
7008
gap> NrRClasses(s);
310
gap> IsRegularSemigroup(s);
false
gap> f := Transformation([323435]);;
gap> r := RClassNC(s, f);
<Green's R-class: Transformation( [ 323435 ] )>
gap> Transformation([323435]) in last;
true
gap> d := DClassOfRClass(r);
<Green's D-class: Transformation( [ 323435 ] )>
gap> Transformation([323435]) in last;
true
gap> Size(d);
792
gap> IsRegularDClass(d);
false
gap> NrIdempotents(d);
0
gap> Idempotents(d);
[  ]
gap> HClassReps(d);;
gap> Length(last);
198
gap> Number(HClassReps(d), x -> x in r);
6
gap> NrHClasses(r);
6

# MiscTest35
gap> gens := [PartialPermNC([124], [253]),
>  PartialPermNC([124], [561]),
>  PartialPermNC([125], [532]),
>  PartialPermNC([1234], [5124]),
>  PartialPermNC([1234], [5126]),
>  PartialPermNC([1234], [5641]),
>  PartialPermNC([1235], [1526]),
>  PartialPermNC([1235], [2341]),
>  PartialPermNC([1235], [2541]),
>  PartialPermNC([1235], [5123]),
>  PartialPermNC([1236], [1465]),
>  PartialPermNC([1256], [6425]),
>  PartialPermNC([1346], [2316]),
>  PartialPermNC([12345], [36524]),
>  PartialPermNC([12345], [65321]),
>  PartialPermNC([12346], [13462]),
>  PartialPermNC([12356], [13645]),
>  PartialPermNC([12456], [54216]),
>  PartialPermNC([123456], [256431])];;
gap> s := Semigroup(gens);;
gap> Size(s);
12612
gap> f := PartialPermNC([146], [236]);;
gap> r := RClass(s, f);
<Green's R-class: [1,2][4,3](6)>
gap> Size(r);
120
gap> NrHClasses(r);
20
gap> Number(HClassReps(s), x -> x in r);
20

# MiscTest36: H-class tests
gap> gens := [Transformation([87654321]),
>   Transformation([12345678]),
>   Transformation([76543212]),
>   Transformation([32123456]),
>   Transformation([23454567]),
>   Transformation([12345456]),
>   Transformation([56545432]),
>   Transformation([56787654])];;
gap> s := Semigroup(gens);;
gap> f := Transformation([56545454]);;
gap> h := HClass(s, f);
<Green's H-class: Transformation( [ 56545454 ] )>
gap> Transformation([56545454]) in last;
true
gap> ForAll(h, x -> x in h);
true
gap> h := HClassNC(s, f);
<Green's H-class: Transformation( [ 56545454 ] )>
gap> Transformation([56545454]) in last;
true
gap> Enumerator(h);
<enumerator of <Green's H-class: Transformation( [ 56545454 ] )>
 >
gap> h := HClassNC(s, f);
<Green's H-class: Transformation( [ 56545454 ] )>
gap> Transformation([56545454]) in last;
true
gap> SchutzenbergerGroup(h);
Group([ (4,6) ])

# MiscTest37
gap> s := FullTransformationSemigroup(7);
<full transformation monoid of degree 7>
gap> Factorial(7);
5040
gap> f := One(s);
IdentityTransformation
gap> h := HClassNC(s, f);
<Green's H-class: IdentityTransformation>
gap> enum := Enumerator(h);
<enumerator of <Green's H-class: IdentityTransformation>>
gap> ForAll(enum, x -> x in h);
true
gap> ForAll(enum, x -> x in s);
true
gap> ForAll(enum, x -> enum[Position(enum, x)] = x);
true
gap> ForAll([1 .. Length(enum)], x -> Position(enum, enum[x]) = x);
true
gap> Idempotents(h);
[ IdentityTransformation ]
gap> f := Transformation([3245611]);;
gap> h := HClassNC(s, f);
<Green's H-class: Transformation( [ 3245611 ] )>
gap> Transformation([3245611]) in last;
true
gap> Idempotents(h);
[ Transformation( [ 1234566 ] ) ]
gap> IsGroupHClass(h);
true
gap> h := HClass(s, Transformation([5133553]));;
gap> IsGroupHClass(h);
false
gap> IsRegularGreensClass(h);
false

# MiscTest38
gap> gens :=
> [PartialPermNC([123], [152]),
>  PartialPermNC([124], [136]),
>  PartialPermNC([124], [316]),
>  PartialPermNC([126], [641]),
>  PartialPermNC([135], [523]),
>  PartialPermNC([1234], [5324]),
>  PartialPermNC([1234], [6153]),
>  PartialPermNC([1235], [1463]),
>  PartialPermNC([1235], [2341]),
>  PartialPermNC([1235], [6512]),
>  PartialPermNC([1236], [3546]),
>  PartialPermNC([1245], [4236]),
>  PartialPermNC([1246], [6435]),
>  PartialPermNC([1246], [6452]),
>  PartialPermNC([1345], [6143]),
>  PartialPermNC([12345], [34126]),
>  PartialPermNC([12346], [12534]),
>  PartialPermNC([12346], [36451]),
>  PartialPermNC([12356], [43516]),
>  PartialPermNC([12456], [23156])];;
gap> s := Semigroup(gens);;
gap> Size(s);
7960
gap> f := PartialPermNC([1256], [5364]);;
gap> h := HClass(s, f);
<Green's H-class: [1,5,6,4][2,3]>
gap> d := DClass(s, f);
<Green's D-class: [1,5,6,4][2,3]>
gap> h := HClass(s, f);
<Green's H-class: [1,5,6,4][2,3]>
gap> IsGroupHClass(h);
false
gap> Size(h);
1
gap> h;
<Green's H-class: [1,5,6,4][2,3]>
gap> Size(h);
1
gap> enum := Enumerator(h);
<enumerator of <Green's H-class: [1,5,6,4][2,3]>>
gap> ForAll([1 .. Length(enum)], x -> Position(enum, enum[x]) = x);
true
gap> ForAll(enum, x -> enum[Position(enum, x)] = x);
true
gap> d := DClass(s, Representative(h));
<Green's D-class: [1,5,6,4][2,3]>
gap> f := Representative(h);
[1,5,6,4][2,3]
gap> h := HClass(d, f);
<Green's H-class: [1,5,6,4][2,3]>
gap> h = HClass(s, f);
true
gap> Idempotents(h);
[  ]
gap> repeat h := NextIterator(iter); until Size(h) > 1;
gap> h;
<Green's R-class: [1,3](2)(4)>
gap> Size(h);
114
gap> f := Representative(h);
[1,3](2)(4)
gap> r := RClassNC(d, f);
<Green's R-class: [1,3](2)(4)>
gap> h := HClass(r, f);
Error, the 2nd argument (a mult. elt.) does not belong to the 1st argument (a \
Green's class)
gap> h = HClass(s, f);
false
gap> Elements(h) = Elements(HClass(s, f));
false
gap> l := LClass(s, f);
<Green's L-class: [1,3](2)(4)>
gap> h := HClass(l, f);
<Green's H-class: [1,3](2)(4)>
gap> Elements(h) = Elements(HClass(s, f));
true
gap> h := HClass(l, f);
<Green's H-class: [1,3](2)(4)>

# MiscTest41
gap> gens := [Transformation([12543876]),
>   Transformation([16347258]),
>   Transformation([21678345]),
>   Transformation([32361612]),
>   Transformation([52363474])];;
gap> s := Semigroup(gens);;
gap> Size(s);
5304

# MiscTest44
gap> gens := [Transformation([465213]),
>   Transformation([632541]),
>   Transformation([124356]),
>   Transformation([356123]),
>   Transformation([536662]),
>   Transformation([232646]),
>   Transformation([212224]),
>   Transformation([441212])];;
gap> s := Semigroup(gens);;
gap> f := Transformation([441212]);;
gap> h := HClassNC(s, f);
<Green's H-class: Transformation( [ 441212 ] )>
gap> Transformation([441212]) in last;
true
gap> IsRegularGreensClass(h);
false
gap> IsGroupHClass(h);
false
gap> h := GroupHClass(DClass(h));
<Green's H-class: Transformation( [ 223636 ] )>
gap> Transformation([223636]) in last;
true
gap> Size(h);
6
gap> r := RClassOfHClass(h);
<Green's R-class: Transformation( [ 223636 ] )>
gap> Transformation([112424]) in last;
true
gap> ForAll(h, x -> x in r);
true
gap> Number(r, x -> x in h);
6
gap> l;
<Green's L-class: [1,3](2)(4)>
gap> RhoOrbStabChain(l);
true
gap> g := SchutzenbergerGroup(l);
Sym( [ 2 .. 4 ] )
gap> IsSymmetricGroup(g);
true
gap> IsNaturalSymmetricGroup(g);
true

# MiscTest45
gap> a1 := Transformation([22355678141616171814,
>                          16161718]);;
gap> a2 := Transformation([133456789101112131415,
>                          161718]);;
gap> a3 := Transformation([124456789101112131515,
>                          161718]);;
gap> a4 := Transformation([123466789101112131415,
>                          171718]);;
gap> a5 := Transformation([123457789101112131415,
>                          161818]);;
gap> a6 := Transformation([123456889101112131415,
>                          16172]);;
gap> P := Transformation([12910111213191011121314,
>                         15161718]);;
gap> K18g := [a1, a2, a3, a4, a5, a6, P];;
gap> s := Semigroup(K18g);;
gap> f := Transformation([124466789101112131515,
>                         171718]);;
gap> r := RClassNC(s, f);
<Green's R-class: Transformation( [ 12446678910111213,
  15151717 ] )>
gap> Size(r);
1
gap> SchutzenbergerGroup(r);
Group(())
gap> f := Transformation([121010111213191011121315,
15161718]);;
gap> r := RClass(s, f);
<Green's R-class: Transformation( [ 121010111213191011,
   12131515 ] )>
gap> Size(r);
1
gap> SchutzenbergerGroup(r);
Group(())

# MiscTest46
gap> gens := [Transformation([2415447381]),
>   Transformation([9128159995]),
>   Transformation([931510346102]),
>   Transformation([107371988410])];;
gap> s := Semigroup(gens);;
gap> f := Transformation([9101031099999]);;
gap> r := RClass(s, f);
<Green's R-class: Transformation( [ 9101031099999 ] )>
gap> Transformation([9881899999]) in last;
true
gap> Size(r);
546
gap> SchutzenbergerGroup(r);
Group([ (1,9,8), (1,8) ])
gap> ForAll(r, x -> x in r);
true
gap> f := Transformation([8888887788]);;
gap> r := RClass(s, f);
<Green's R-class: Transformation( [ 8888887788 ] )>
gap> Transformation([1111119911]) in last;
true
gap> Size(r);
86
gap> iter := IteratorOfRClasses(s);
<iterator>
gap> repeat r := NextIterator(iter); until Size(r) > 1000;
gap> r;
<Green's R-class: Transformation( [ 9182189998 ] )>
gap> Transformation([9182189998]) in last;
true
gap> Size(r);
1992
gap> SchutzenbergerGroup(r);
Group([ (2,8), (1,8), (1,2,8,9) ])
gap> enum := Enumerator(r);
<enumerator of <Green's R-class: Transformation( [ 918218999,
   8 ] )>>
gap> ForAll(enum, x -> x in r);
true
gap> ForAll(enum, x -> enum[Position(enum, x)] = x);
true
gap> ForAll([1 .. Length(enum)], x -> Position(enum, enum[x]) = x);
true
gap> NrHClasses(r);
83
gap> GreensHClasses(r);
[ <Green's H-class: Transformation( [ 9182189998 ] )>, 
  <Green's H-class: Transformation( [ 8243248884 ] )>, 
  <Green's H-class: Transformation( [ 1543541114 ] )>, 
  <Green's H-class: Transformation( [ 5412415551 ] )>, 
  <Green's H-class: Transformation( [ 10593591010109 ] )>, 
  <Green's H-class: Transformation( [ 9125129992 ] )>, 
  <Green's H-class: Transformation( [ 410711074447 ] )>, 
  <Green's H-class: Transformation( [ 5172175557 ] )>, 
  <Green's H-class: Transformation( [ 10943941010104 ] )>, 
  <Green's H-class: Transformation( [ 5982985558 ] )>, 
  <Green's H-class: Transformation( [ 1487481118 ] )>, 
  <Green's H-class: Transformation( [ 7523527772 ] )>, 
  <Green's H-class: Transformation( [ 10143141010104 ] )>, 
  <Green's H-class: Transformation( [ 8173178887 ] )>, 
  <Green's H-class: Transformation( [ 3271273337 ] )>, 
  <Green's H-class: Transformation( [ 1472471117 ] )>, 
  <Green's H-class: Transformation( [ 5472475557 ] )>, 
  <Green's H-class: Transformation( [ 10543541010104 ] )>, 
  <Green's H-class: Transformation( [ 17310731113 ] )>, 
  <Green's H-class: Transformation( [ 9412419991 ] )>, 
  <Green's H-class: Transformation( [ 5842845554 ] )>, 
  <Green's H-class: Transformation( [ 10653651010105 ] )>, 
  <Green's H-class: Transformation( [ 2310131022210 ] )>, 
  <Green's H-class: Transformation( [ 3129123332 ] )>, 
  <Green's H-class: Transformation( [ 10193191010109 ] )>, 
  <Green's H-class: Transformation( [ 2910191022210 ] )>, 
  <Green's H-class: Transformation( [ 2418412221 ] )>, 
  <Green's H-class: Transformation( [ 5342345554 ] )>, 
  <Green's H-class: Transformation( [ 10153151010105 ] )>, 
  <Green's H-class: Transformation( [ 3596593339 ] )>, 
  <Green's H-class: Transformation( [ 3149143334 ] )>, 
  <Green's H-class: Transformation( [ 1510951011110 ] )>, 
  <Green's H-class: Transformation( [ 310741073337 ] )>, 
  <Green's H-class: Transformation( [ 310871083338 ] )>, 
  <Green's H-class: Transformation( [ 1264261116 ] )>, 
  <Green's H-class: Transformation( [ 9158159995 ] )>, 
  <Green's H-class: Transformation( [ 41810184448 ] )>, 
  <Green's H-class: Transformation( [ 5312315551 ] )>, 
  <Green's H-class: Transformation( [ 5962965556 ] )>, 
  <Green's H-class: Transformation( [ 1497491119 ] )>, 
  <Green's H-class: Transformation( [ 84710478887 ] )>, 
  <Green's H-class: Transformation( [ 3571573337 ] )>, 
  <Green's H-class: Transformation( [ 410911094449 ] )>, 
  <Green's H-class: Transformation( [ 5182185558 ] )>, 
  <Green's H-class: Transformation( [ 10693691010109 ] )>, 
  <Green's H-class: Transformation( [ 110871081118 ] )>, 
  <Green's H-class: Transformation( [ 9264269996 ] )>, 
  <Green's H-class: Transformation( [ 910251029992 ] )>, 
  <Green's H-class: Transformation( [ 10318311010101 ] )>, 
  <Green's H-class: Transformation( [ 2196192229 ] )>, 
  <Green's H-class: Transformation( [ 710491047774 ] )>, 
  <Green's H-class: Transformation( [ 7158157775 ] )>, 
  <Green's H-class: Transformation( [ 7243247774 ] )>, 
  <Green's H-class: Transformation( [ 1457451115 ] )>, 
  <Green's H-class: Transformation( [ 9510451099910 ] )>, 
  <Green's H-class: Transformation( [ 5184185558 ] )>, 
  <Green's H-class: Transformation( [ 910651069996 ] )>, 
  <Green's H-class: Transformation( [ 410961094449 ] )>, 
  <Green's H-class: Transformation( [ 10253251010105 ] )>, 
  <Green's H-class: Transformation( [ 510421045554 ] )>, 
  <Green's H-class: Transformation( [ 2587582228 ] )>, 
  <Green's H-class: Transformation( [ 310641063336 ] )>, 
  <Green's H-class: Transformation( [ 310971093339 ] )>, 
  <Green's H-class: Transformation( [ 1210421011110 ] )>, 
  <Green's H-class: Transformation( [ 3529523332 ] )>, 
  <Green's H-class: Transformation( [ 3174173337 ] )>, 
  <Green's H-class: Transformation( [ 9145149994 ] )>, 
  <Green's H-class: Transformation( [ 310841083338 ] )>, 
  <Green's H-class: Transformation( [ 2156152225 ] )>, 
  <Green's H-class: Transformation( [ 710191017771 ] )>, 
  <Green's H-class: Transformation( [ 7128127772 ] )>, 
  <Green's H-class: Transformation( [ 4396394449 ] )>, 
  <Green's H-class: Transformation( [ 7349347774 ] )>, 
  <Green's H-class: Transformation( [ 1510451011110 ] )>, 
  <Green's H-class: Transformation( [ 3487483338 ] )>, 
  <Green's H-class: Transformation( [ 1564561116 ] )>, 
  <Green's H-class: Transformation( [ 9210421099910 ] )>, 
  <Green's H-class: Transformation( [ 310291023332 ] )>, 
  <Green's H-class: Transformation( [ 2510151022210 ] )>, 
  <Green's H-class: Transformation( [ 9543549994 ] )>, 
  <Green's H-class: Transformation( [ 4196194449 ] )>, 
  <Green's H-class: Transformation( [ 9564569996 ] )>, 
  <Green's H-class: Transformation( [ 1536531113 ] )> ]
gap> List(last, x -> Representative(x) in s);
[ true, true, true, true, true, true, true, true, true, true, true, true, 
  true, true, true, true, true, true, true, true, true, true, true, true, 
  true, true, true, true, true, true, true, true, true, true, true, true, 
  true, true, true, true, true, true, true, true, true, true, true, true, 
  true, true, true, true, true, true, true, true, true, true, true, true, 
  true, true, true, true, true, true, true, true, true, true, true, true, 
  true, true, true, true, true, true, true, true, true, true, true ]
gap> ForAll(last2, x -> Representative(x) in r);
true
gap> Semigroup(gens);;
gap> r := GreensRClassOfElement(s, f);
<Green's R-class: Transformation( [ 8888887788 ] )>
gap> Transformation([1111119911]) in last;
true
gap> f := Transformation([9959595555]);;
gap> r := GreensRClassOfElement(s, f);
<Green's R-class: Transformation( [ 9959595555 ] )>
gap> Transformation([9919191111]) in last;
true
gap> Size(r);
86
gap> NrHClasses(r);
43
gap> s := Semigroup(gens);;
gap> r := GreensRClassOfElement(s, f);
<Green's R-class: Transformation( [ 9959595555 ] )>
gap> Transformation([9919191111]) in last;
true
gap> GreensHClasses(r);
[ <Green's H-class: Transformation( [ 9919191111 ] )>, 
  <Green's H-class: Transformation( [ 8828282222 ] )>, 
  <Green's H-class: Transformation( [ 4434343333 ] )>, 
  <Green's H-class: Transformation( [ 1151515555 ] )>, 
  <Green's H-class: Transformation( [ 9910910910101010 ] )>,
  <Green's H-class: Transformation( [ 10104104104444 ] )>, 
  <Green's H-class: Transformation( [ 8858585555 ] )>, 
  <Green's H-class: Transformation( [ 8818181111 ] )>, 
  <Green's H-class: Transformation( [ 8810810810101010 ] )>,
  <Green's H-class: Transformation( [ 1131313333 ] )>, 
  <Green's H-class: Transformation( [ 3310310310101010 ] )>,
  <Green's H-class: Transformation( [ 2252525555 ] )>, 
  <Green's H-class: Transformation( [ 7717171111 ] )>, 
  <Green's H-class: Transformation( [ 9949494444 ] )>, 
  <Green's H-class: Transformation( [ 9989898888 ] )>, 
  <Green's H-class: Transformation( [ 8848484444 ] )>, 
  <Green's H-class: Transformation( [ 7787878888 ] )>, 
  <Green's H-class: Transformation( [ 7737373333 ] )>, 
  <Green's H-class: Transformation( [ 9929292222 ] )>, 
  <Green's H-class: Transformation( [ 7747474444 ] )>, 
  <Green's H-class: Transformation( [ 4454545555 ] )>, 
  <Green's H-class: Transformation( [ 5510510510101010 ] )>,
  <Green's H-class: Transformation( [ 2210210210101010 ] )>,
  <Green's H-class: Transformation( [ 7710710710101010 ] )>,
  <Green's H-class: Transformation( [ 9959595555 ] )>, 
  <Green's H-class: Transformation( [ 1141414444 ] )>, 
  <Green's H-class: Transformation( [ 4424242222 ] )>, 
  <Green's H-class: Transformation( [ 5535353333 ] )>, 
  <Green's H-class: Transformation( [ 1121212222 ] )>, 
  <Green's H-class: Transformation( [ 9939393333 ] )>, 
  <Green's H-class: Transformation( [ 1110110110101010 ] )>,
  <Green's H-class: Transformation( [ 2232323333 ] )>, 
  <Green's H-class: Transformation( [ 7757575555 ] )>, 
  <Green's H-class: Transformation( [ 8838383333 ] )>, 
  <Green's H-class: Transformation( [ 1161616666 ] )>, 
  <Green's H-class: Transformation( [ 4464646666 ] )>, 
  <Green's H-class: Transformation( [ 9979797777 ] )>, 
  <Green's H-class: Transformation( [ 6656565555 ] )>, 
  <Green's H-class: Transformation( [ 6610610610101010 ] )>,
  <Green's H-class: Transformation( [ 7727272222 ] )>, 
  <Green's H-class: Transformation( [ 2262626666 ] )>, 
  <Green's H-class: Transformation( [ 9969696666 ] )>, 
  <Green's H-class: Transformation( [ 3363636666 ] )> ]
gap> Length(last);
43
gap> ForAll(last2, x -> Representative(x) in r);
true
gap> ForAll(last3, x -> Representative(x) in s);
true
gap> h := HClass(s, Transformation([4494949999]));;
gap> f := Representative(h);
Transformation( [ 4494949999 ] )
gap> hh := HClass(r, f);
<Green's H-class: Transformation( [ 4494949999 ] )>
gap> Transformation([4494949999]) in last;
true
gap> hh = h;
true
gap> h = hh;
true
gap> Elements(h) = Elements(hh);
true
gap> f := Transformation([101910215323]);;
gap> r := GreensRClassOfElement(s, f);
<Green's R-class: Transformation( [ 101910215323 ] )>
gap> Transformation([101910215323]) in last;
true
gap> Size(r);
1
gap> f := Transformation([101031010101010610]);;
gap> r := GreensRClassOfElement(s, f);
<Green's R-class: Transformation( [ 101031010101010610 ] )>
gap> Transformation([8818888898]) in last;
true
gap> Size(r);
546
gap> f := Transformation([6646666636]);;
gap> f in r;
true
gap> h := HClass(r, f);
<Green's H-class: Transformation( [ 6646666636 ] )>
gap> Transformation([6646666636]) in last;
true
gap> f in h;
true
gap> ForAll(h, x -> x in r);
true
gap> Size(h);
6
gap> Elements(h);
[ Transformation( [ 3343333363 ] ), 
  Transformation( [ 3363333343 ] ), 
  Transformation( [ 4434444464 ] ), 
  Transformation( [ 4464444434 ] ), 
  Transformation( [ 6636666646 ] ), 
  Transformation( [ 6646666636 ] ) ]

# MiscTest47
gap> gens :=
> [PartialPermNC([1235910], [5107891]),
>  PartialPermNC([1234569], [9314256]),
>  PartialPermNC([1234579], [7628453]),
>  PartialPermNC([12345678910],
> [87431095612])];;
gap> s := Semigroup(gens);;
gap> Size(s);
1422787
gap> f := PartialPerm([147910], [510987]);;
gap> r := GreensRClassOfElementNC(s, f);
<Green's R-class: [1,5][4,10,7,9,8]>
gap> Size(r);
4
gap> f in r;
true
gap> f := PartialPerm([1789], [10965]);;
gap> r := GreensRClassOfElementNC(s, f);
<Green's R-class: [1,10][7,9,5][8,6]>
gap> Size(r);
4
gap> iter := IteratorOfRClasses(s);
<iterator>
gap> repeat r := NextIterator(iter); until Size(r) > 1000;
gap> r;
<Green's R-class: [1,4][9,3,5][10,7]>
gap> Size(r);
3792
gap> r := RClassNC(s, Representative(r));
<Green's R-class: [1,4][9,3,5][10,7]>
gap> h := HClassNC(r, PartialPermNC([13910], [10981]));;
gap> Size(h);
24
gap> ForAll(h, x -> x in r);
true
gap> IsRegularGreensClass(r);
true
gap> IsRegularSemigroup(s);
false
gap> NrIdempotents(r);
1
gap> Idempotents(r);
[ <identity partial perm on [ 13910 ]> ]
gap> ForAll(last, x -> x in r);
true

# MiscTest48
gap> gens := [Transformation([137911213115911811,
>  1311211111125261]),
>  Transformation([15151111141161711191111,
>       112311619111]),
> Transformation([1481101811110181011201,
>       221811111]),
> Transformation([1661116111116161161,
>       12411116])];;
gap> s := Semigroup(gens);;
gap> First(DClasses(s), IsRegularDClass);
<Green's D-class: Transformation( [ 11111111111111,
   111111111111 ] )>
gap> NrDClasses(s);
31
gap> PositionsProperty(DClasses(s), IsRegularDClass);
67 ]
gap> d := DClasses(s)[7];
<Green's D-class: Transformation( [ 16116111116116,
   111111111111 ] )>
gap> r := RClassNC(s, Representative(d));
<Green's R-class: Transformation( [ 16116111116116,
   111111111111 ] )>
gap> Size(r);
20
gap> ForAll(Idempotents(r), x -> x in s);
true
gap> ForAll(Idempotents(r), x -> x in r);
true
gap> ForAll(Idempotents(r), x -> x in d);
true
gap> ForAll(r, x -> x in d);
true
gap> Number(GreensRClasses(s), IsRegularGreensClass);
21
gap> NrRegularDClasses(s);
2

# MiscTest49
gap> gens := [Transformation([12354678]),
>   Transformation([44315638]),
>   Transformation([36173483]),
>   Transformation([12345378]),
>   Transformation([12341678]),
>   Transformation([88345761])];;
gap> s := Monoid(gens);
<transformation monoid of degree 8 with 6 generators>
gap> f := Transformation([44385331]);;
gap> Size(s);
998
gap> r := RClass(s, f);
<Green's R-class: Transformation( [ 44385331 ] )>
gap> Transformation([44385331]) in last;
true
gap> IsRegularGreensClass(r);
true
gap> Idempotents(r);
[ Transformation( [ 1134533 ] ) ]
gap> IsRegularSemigroup(s);
false
gap> ForAll(r, x -> x in s);
true
gap> iter := Iterator(r);
<iterator>
gap> for i in iter do od;
gap> Size(r);
24
gap> IsDoneIterator(iter);
true
gap> iter := Iterator(r);
<iterator>
gap> for i in [1 .. 23] do NextIterator(iter); od;
gap> IsDoneIterator(iter);
false
gap> NextIterator(iter);
Transformation( [ 5531433 ] )
gap> IsDoneIterator(iter);
true
gap> Transformation([44381335]) in r;
true
gap> r;
<Green's R-class: Transformation( [ 44385331 ] )>
gap> Transformation([44385331]) in last;
true
gap> NrIdempotents(r);
1

# MiscTest50
gap> gens :=
> [PartialPermNC([12347], [83574]),
>  PartialPermNC([12567], [41628]),
>  PartialPermNC([123456], [371526]),
>  PartialPermNC([123456], [725638]),
>  PartialPermNC([123567], [456127]),
>  PartialPermNC([123567], [517284])];;
gap> s := Semigroup(gens);;
gap> Size(s);
9954
gap> f := PartialPerm([236], [148]);;
gap> r := RClass(s, f);
<Green's R-class: [2,1][3,4][6,8]>
gap> NrIdempotents(r);
0
gap> List(RClasses(s), NrIdempotents);;
gap> Sum(last);
53
gap> NrIdempotents(s);
53
gap> r := RClassOfHClass(h);
<Green's R-class: [1,4][9,3,5][10,7]>
gap> HClassReps(r);
[ [1,4][9,3,5][10,7], [1,8][3,2][9,5][10,4], [1,6][9,10,3,7], 
  [1,9,2][3,5][10,4], [1,6][9,4][10,2](3), [9,4][10,3,1,5], [3,9,4][10,1,2], 
  [1,4][10,6](3)(9), [3,6][9,5][10,4](1), [1,8](3,9,10), [3,1,6][9,2][10,4], 
  [1,9,5][10,4](3), [1,8][9,2][10,4](3), [1,6][9,7][10,3,4], [9,10,3,4](1), 
  [1,9,7][10,3,8], [10,9,1,3,4], [3,4][10,6](1)(9), [1,9,6][3,4][10,5], 
  [1,6][3,4][9,5][10,2], [1,5][9,2][10,3,4], [9,3,4][10,1,2], 
  [1,3,8][9,7][10,4], [1,4][9,5][10,3,6], [3,5][9,2][10,1,4], [1,4][10,9,3,2],
  [1,8][9,2][10,3,6], [1,6][3,9,7][10,4], [10,3,1,9,5], [1,3,7][9,4][10,2], 
  [1,6][3,2][9,5][10,8], [1,9,10,6][3,7], [3,5][10,9,2](1), [1,9,3,2][10,6], 
  [9,1,6][10,5](3), [1,9,8][3,4](10), [9,6][10,2](1)(3), [1,8][3,4][10,7](9), 
  [3,7][10,9,4](1), [1,7][9,5][10,8](3), [1,5][3,4][9,10,6], [1,10,9,2](3), 
  [3,7](1)(9,10), [3,5][9,2][10,1,8], [1,6][3,10,8][9,7], [1,9,5][3,2][10,6], 
  [1,6][9,2][10,5](3), [9,3,1,5][10,2], [1,7][3,5][9,10,8], 
  [1,5][3,10,6][9,2], [1,10,9,7][3,2], [3,7][9,5][10,1,2], 
  [1,6][3,5][9,4][10,7], [1,9,3,10,5], [3,1,9,7][10,8], [3,8][9,5][10,6](1), 
  [1,8][3,6](9,10), [3,9,2][10,1,6], [1,5][10,9,3,6], [3,5][9,1,2][10,6], 
  [1,3,2][10,5](9), [1,10,8][3,7](9), [3,7][9,1,4](10), [1,3,5][9,8][10,2], 
  [1,4][3,10,7][9,6], [3,9,4](1,10), [9,3,1,2][10,8], [1,7][3,8][9,4][10,6], 
  [3,2][9,4](1)(10), [1,8][9,3,7][10,2], [10,3,9,1,2], [1,10,7][3,9,5], 
  [3,1,2][9,10,5], [3,5][9,1,10,8], [1,2][3,10,6][9,8], [1,7][3,2][10,9,6], 
  [3,7][10,1,5](9), [1,7][3,8][9,2](10), [1,5][3,6][9,7][10,2], 
  [10,1,3,6](9), [3,5][10,9,6](1), [3,10,1,8](9), [3,2][9,1,6][10,8], 
  [1,9,8][3,7][10,6], [3,9,1,4][10,8], [9,8][10,6](1,3), [1,4][3,8][10,9,6], 
  [1,7][9,6][10,3,2], [1,5][3,7][10,4](9), [1,4][9,3,5][10,8], 
  [1,3,10,6][9,4], [9,1,10,3,5], [3,1,5][9,7][10,8], [1,10,6][3,8][9,5], 
  [1,2][3,6](9,10), [3,9,2][10,1,7], [1,5][9,6][10,7](3), [1,10,5][3,4](9), 
  [9,1,2](3)(10), [1,7][3,4][9,8][10,2], [3,7][9,5](1,10), [1,2][3,5][9,10,8],
  [1,7][3,10,6][9,2], [1,5][3,2][10,9,7], [1,2][3,10,4][9,8], 
  [3,1,7][9,8][10,4], [1,5][9,6][10,3,8], [1,10,4][3,6](9), 
  [1,2][3,7][9,4][10,6], [1,7][10,9,3,5], [3,10,1,5][9,4], [1,10,8][9,3,2], 
  [1,8][3,4][9,10,7], [1,7][3,9,4](10), [3,4][9,7][10,1,2], [9,3,5][10,1,8], 
  [1,6][3,10,8][9,4], [3,10,1,8][9,7], [3,8][9,10,4](1), [9,1,4][10,6](3), 
  [3,1,4][10,5](9), [1,4][3,9,6][10,2], [10,9,1,3,7], [1,2][9,7][10,3,5], 
  [1,7][3,10,4][9,5], [1,5][9,10,3,2], [1,10,4][3,7][9,2], [3,8][9,1,4][10,5],
  [1,3,6][9,8](10), [9,1,3,8](10), [1,4][3,6][9,8][10,2], [1,3,9,6][10,7], 
  [1,3,4][10,8](9), [9,4][10,1,3,7], [1,2][3,5][9,8][10,7], 
  [1,7][3,10,5][9,6], [1,5][3,2](9)(10), [3,7][9,1,10,2], [1,8][9,7](3)(10), 
  [1,10,9,4](3), [1,7][9,10,4](3), [1,3,7](9,10), 
  <identity partial perm on [ 13910 ]>, [3,4][9,1,8][10,2], 
  [1,6][9,8][10,7](3), [10,9,1,8](3), [3,4][9,8][10,1,6], [1,9,6][10,8](3), 
  [9,8][10,1,4](3), [1,3,4][9,6][10,8], [9,3,1,7][10,8], 
  [1,5][3,8][9,4][10,6], [1,10,9,3,6], [1,8][9,3,4](10), [1,7][10,4](3,9), 
  [9,7](1)(3,10), [1,3,10,5][9,4], [1,4][9,3,2](10) ]
gap> iter := IteratorOfRClasses(s);
<iterator>
gap> repeat r := NextIterator(iter); until Size(r) > 1;
gap> r;
<Green's R-class: (1,5,2)>
gap> Size(r);
120
gap> HClassReps(r);
[ (1,5,2), [2,6][5,4](1), [1,3][2,6](5), [5,2,6](1), [5,2,4](1), 
  [1,7][5,2,6], [1,7](2)(5), [2,5,1,7], [1,4](2)(5), [1,6][5,3](2), 
  [1,2,5,6], [1,7][2,3][5,6], [1,7][5,3](2), [1,4][2,3](5), [1,6][2,5,7], 
  [5,7](1,2), [2,5,4](1), [1,3](2)(5), [2,5,1,6], [1,6][5,2,4] ]
gap> ForAll(last, x -> x in r);
true
gap> r;
<Green's R-class: (1,5,2)>
gap> Size(DClass(r));
2400
gap> d := DClass(r);
<Green's D-class: (1,5,2)>
gap> ForAll(r, x -> x in d);
true
gap> Number(d, x -> x in r);
120
gap> Size(r);
120
gap> ForAll(HClassReps(r), x -> x in d);
true
gap> ForAll(HClassReps(r), x -> x in HClassReps(d));
true

# MiscTest51
gap> gens := [Transformation([643251]),
>   Transformation([123456]),
>   Transformation([533241]),
>   Transformation([133452]),
>   Transformation([452331]),
>   Transformation([643523]),
>   Transformation([523436]),
>   Transformation([132545]),
>   Transformation([432215]),
>   Transformation([133524]),
>   Transformation([633215]),
>   Transformation([634522]),
>   Transformation([643225]),
>   Transformation([132354]),
>   Transformation([123452]),
>   Transformation([243465]),
>   Transformation([243361]),
>   Transformation([643231]),
>   Transformation([643221])];;
gap> s := Semigroup(gens);;
gap> Size(s);
7008
gap> NrRClasses(s);
310
gap> IsRegularSemigroup(s);
false
gap> f := Transformation([323435]);;
gap> r := RClassNC(s, f);
<Green's R-class: Transformation( [ 323435 ] )>
gap> Transformation([323435]) in last;
true
gap> d := DClassOfRClass(r);
<Green's D-class: Transformation( [ 323435 ] )>
gap> Transformation([323435]) in last;
true
gap> Size(d);
792
gap> IsRegularDClass(d);
false
gap> NrIdempotents(d);
0
gap> Idempotents(d);
[  ]
gap> HClassReps(d);
[ Transformation( [ 323435 ] ), 
  Transformation( [ 323534 ] ), 
  Transformation( [ 424543 ] ), 
  Transformation( [ 232425 ] ), 
  Transformation( [ 232524 ] ), 
  Transformation( [ 242325 ] ), 
  Transformation( [ 543233 ] ), 
  Transformation( [ 453233 ] ), 
  Transformation( [ 354244 ] ), 
  Transformation( [ 542322 ] ), 
  Transformation( [ 452322 ] ), 
  Transformation( [ 532422 ] ), 
  Transformation( [ 333425 ] ), 
  Transformation( [ 333524 ] ), 
  Transformation( [ 444523 ] ), 
  Transformation( [ 222435 ] ), 
  Transformation( [ 222534 ] ), 
  Transformation( [ 222345 ] ), 
  Transformation( [ 543323 ] ), 
  Transformation( [ 453323 ] ), 
  Transformation( [ 354424 ] ), 
  Transformation( [ 542232 ] ), 
  Transformation( [ 452232 ] ), 
  Transformation( [ 532242 ] ), 
  Transformation( [ 534323 ] ), 
  Transformation( [ 435323 ] ), 
  Transformation( [ 345424 ] ), 
  Transformation( [ 524232 ] ), 
  Transformation( [ 425232 ] ), 
  Transformation( [ 523242 ] ), 
  Transformation( [ 243453 ] ), 
  Transformation( [ 253543 ] ), 
  Transformation( [ 254534 ] ), 
  Transformation( [ 342452 ] ), 
  Transformation( [ 352542 ] ), 
  Transformation( [ 432352 ] ), 
  Transformation( [ 323445 ] ), 
  Transformation( [ 323554 ] ), 
  Transformation( [ 424553 ] ), 
  Transformation( [ 232445 ] ), 
  Transformation( [ 232554 ] ), 
  Transformation( [ 242335 ] ), 
  Transformation( [ 543223 ] ), 
  Transformation( [ 453223 ] ), 
  Transformation( [ 354224 ] ), 
  Transformation( [ 542332 ] ), 
  Transformation( [ 452332 ] ), 
  Transformation( [ 532442 ] ), 
  Transformation( [ 534322 ] ), 
  Transformation( [ 435322 ] ), 
  Transformation( [ 345422 ] ), 
  Transformation( [ 524233 ] ), 
  Transformation( [ 425233 ] ), 
  Transformation( [ 523244 ] ), 
  Transformation( [ 234325 ] ), 
  Transformation( [ 235324 ] ), 
  Transformation( [ 245423 ] ), 
  Transformation( [ 324235 ] ), 
  Transformation( [ 325234 ] ), 
  Transformation( [ 423245 ] ), 
  Transformation( [ 334325 ] ), 
  Transformation( [ 335324 ] ), 
  Transformation( [ 445423 ] ), 
  Transformation( [ 224235 ] ), 
  Transformation( [ 225234 ] ), 
  Transformation( [ 223245 ] ), 
  Transformation( [ 543243 ] ), 
  Transformation( [ 453253 ] ), 
  Transformation( [ 354254 ] ), 
  Transformation( [ 542342 ] ), 
  Transformation( [ 452352 ] ), 
  Transformation( [ 532432 ] ), 
  Transformation( [ 534233 ] ), 
  Transformation( [ 435233 ] ), 
  Transformation( [ 345244 ] ), 
  Transformation( [ 524322 ] ), 
  Transformation( [ 425322 ] ), 
  Transformation( [ 523422 ] ), 
  Transformation( [ 324335 ] ), 
  Transformation( [ 325334 ] ), 
  Transformation( [ 425443 ] ), 
  Transformation( [ 234225 ] ), 
  Transformation( [ 235224 ] ), 
  Transformation( [ 243225 ] ), 
  Transformation( [ 234453 ] ), 
  Transformation( [ 235543 ] ), 
  Transformation( [ 245534 ] ), 
  Transformation( [ 324452 ] ), 
  Transformation( [ 325542 ] ), 
  Transformation( [ 423352 ] ), 
  Transformation( [ 534232 ] ), 
  Transformation( [ 435232 ] ), 
  Transformation( [ 345242 ] ), 
  Transformation( [ 524323 ] ), 
  Transformation( [ 425323 ] ), 
  Transformation( [ 523424 ] ), 
  Transformation( [ 224335 ] ), 
  Transformation( [ 225334 ] ), 
  Transformation( [ 225443 ] ), 
  Transformation( [ 334225 ] ), 
  Transformation( [ 335224 ] ), 
  Transformation( [ 443225 ] ), 
  Transformation( [ 543232 ] ), 
  Transformation( [ 453232 ] ), 
  Transformation( [ 354242 ] ), 
  Transformation( [ 542323 ] ), 
  Transformation( [ 452323 ] ), 
  Transformation( [ 532424 ] ), 
  Transformation( [ 543234 ] ), 
  Transformation( [ 453235 ] ), 
  Transformation( [ 354245 ] ), 
  Transformation( [ 542324 ] ), 
  Transformation( [ 452325 ] ), 
  Transformation( [ 532423 ] ), 
  Transformation( [ 423435 ] ), 
  Transformation( [ 523534 ] ), 
  Transformation( [ 524543 ] ), 
  Transformation( [ 432425 ] ), 
  Transformation( [ 532524 ] ), 
  Transformation( [ 342325 ] ), 
  Transformation( [ 543224 ] ), 
  Transformation( [ 453225 ] ), 
  Transformation( [ 354225 ] ), 
  Transformation( [ 542334 ] ), 
  Transformation( [ 452335 ] ), 
  Transformation( [ 532443 ] ), 
  Transformation( [ 233425 ] ), 
  Transformation( [ 233524 ] ), 
  Transformation( [ 244523 ] ), 
  Transformation( [ 322435 ] ), 
  Transformation( [ 322534 ] ), 
  Transformation( [ 422345 ] ), 
  Transformation( [ 343452 ] ), 
  Transformation( [ 353542 ] ), 
  Transformation( [ 454532 ] ), 
  Transformation( [ 242453 ] ), 
  Transformation( [ 252543 ] ), 
  Transformation( [ 232354 ] ), 
  Transformation( [ 534422 ] ), 
  Transformation( [ 435522 ] ), 
  Transformation( [ 345522 ] ), 
  Transformation( [ 524433 ] ), 
  Transformation( [ 425533 ] ), 
  Transformation( [ 523344 ] ), 
  Transformation( [ 244352 ] ), 
  Transformation( [ 255342 ] ), 
  Transformation( [ 255432 ] ), 
  Transformation( [ 344253 ] ), 
  Transformation( [ 355243 ] ), 
  Transformation( [ 433254 ] ), 
  Transformation( [ 234452 ] ), 
  Transformation( [ 235542 ] ), 
  Transformation( [ 245532 ] ), 
  Transformation( [ 324453 ] ), 
  Transformation( [ 325543 ] ), 
  Transformation( [ 423354 ] ), 
  Transformation( [ 534222 ] ), 
  Transformation( [ 435222 ] ), 
  Transformation( [ 345222 ] ), 
  Transformation( [ 524333 ] ), 
  Transformation( [ 425333 ] ), 
  Transformation( [ 523444 ] ), 
  Transformation( [ 224345 ] ), 
  Transformation( [ 225354 ] ), 
  Transformation( [ 225453 ] ), 
  Transformation( [ 334245 ] ), 
  Transformation( [ 335254 ] ), 
  Transformation( [ 443235 ] ), 
  Transformation( [ 224325 ] ), 
  Transformation( [ 225324 ] ), 
  Transformation( [ 225423 ] ), 
  Transformation( [ 334235 ] ), 
  Transformation( [ 335234 ] ), 
  Transformation( [ 443245 ] ), 
  Transformation( [ 243452 ] ), 
  Transformation( [ 253542 ] ), 
  Transformation( [ 254532 ] ), 
  Transformation( [ 342453 ] ), 
  Transformation( [ 352543 ] ), 
  Transformation( [ 432354 ] ), 
  Transformation( [ 344352 ] ), 
  Transformation( [ 355342 ] ), 
  Transformation( [ 455432 ] ), 
  Transformation( [ 244253 ] ), 
  Transformation( [ 255243 ] ), 
  Transformation( [ 233254 ] ), 
  Transformation( [ 423425 ] ), 
  Transformation( [ 523524 ] ), 
  Transformation( [ 524523 ] ), 
  Transformation( [ 432435 ] ), 
  Transformation( [ 532534 ] ), 
  Transformation( [ 342345 ] ), 
  Transformation( [ 323425 ] ), 
  Transformation( [ 323524 ] ), 
  Transformation( [ 424523 ] ), 
  Transformation( [ 232435 ] ), 
  Transformation( [ 232534 ] ), 
  Transformation( [ 242345 ] ) ]
gap> Number(HClassReps(d), x -> x in r);
6
gap> NrHClasses(r);
6

# MiscTest52
gap> gens :=
> [PartialPermNC([124], [253]),
>  PartialPermNC([124], [561]),
>  PartialPermNC([125], [532]),
>  PartialPermNC([1234], [5124]),
>  PartialPermNC([1234], [5126]),
>  PartialPermNC([1234], [5641]),
>  PartialPermNC([1235], [1526]),
>  PartialPermNC([1235], [2341]),
>  PartialPermNC([1235], [2541]),
>  PartialPermNC([1235], [5123]),
>  PartialPermNC([1236], [1465]),
>  PartialPermNC([1256], [6425]),
>  PartialPermNC([1346], [2316]),
>  PartialPermNC([12345], [36524]),
>  PartialPermNC([12345], [65321]),
>  PartialPermNC([12346], [13462]),
>  PartialPermNC([12356], [13645]),
>  PartialPermNC([12456], [54216]),
>  PartialPermNC([123456], [256431])];;
gap> s := Semigroup(gens);;
gap> Size(s);
12612
gap> f := PartialPerm([146], [236]);;
gap> r := RClass(s, f);
<Green's R-class: [1,2][4,3](6)>
gap> Size(r);
120
gap> NrHClasses(r);
20
gap> Number(HClassReps(s), x -> x in r);
20

#
gap> SEMIGROUPS.StopTest();
gap> STOP_TEST("Semigroups package: extreme/misc.tst");

[Verzeichnis aufwärts0.284unsichere VerbindungÜbersetzung europäischer Sprachen durch Browser2026-06-17]