diff --git a/doc/translat.xml b/doc/translat.xml index 4cc1d870e..b29063cbc 100644 --- a/doc/translat.xml +++ b/doc/translat.xml @@ -428,14 +428,14 @@ ent, whether the two translations are linked, special to a normalised RMS. G := Group([(1, 2, 3, 5)(4, 10, 7, 12)(6, 11, 9, 8), -> (1, 3)(2, 5)(4, 7)(6, 9)(8, 11)(10, 12)LIVE, +> (1, 3)(2, 5)(4, 7)(6, 9)(8, 11)(10, 12), > (1, 4, 8)(2, 6, 10)(3, 7, 11)(5, 9, 12)]);; gap> mat := [[G.1, G.2], [G.1, G.1], [G.2, G.3]];; gap> S := ReesMatrixSemigroup(G, mat);; gap> R := Range(RMSNormalization(S));; gap> G := UnderlyingSemigroup(R); Group([ (1,2,3,5)(4,10,7,12)(6,11,9,8), (1,3)(2,5)(4,7)(6,9)(8,11) - (10,12), (1,4,8)(2,6,10)(3,7,11)(5,9,12) ]) +(10,12), (1,4,8)(2,6,10)(3,7,11)(5,9,12) ]) gap> L := LeftTranslations(R);; gap> RT := RightTranslations(R);; gap> H := TranslationalHull(R);;