Skip to content

Commit

Permalink
fix manual example
Browse files Browse the repository at this point in the history
  • Loading branch information
MT-resource-bot committed Dec 2, 2020
1 parent d9dcf48 commit f77aa82
Showing 1 changed file with 2 additions and 2 deletions.
4 changes: 2 additions & 2 deletions doc/translat.xml
Original file line number Diff line number Diff line change
Expand Up @@ -428,14 +428,14 @@ ent,
whether the two translations are linked, special to a normalised RMS.
<Example><![CDATA[
gap> 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);;
Expand Down

0 comments on commit f77aa82

Please sign in to comment.