Алгебра : Теоремы и алгоритмы. Яцкин Н.И. - 196 стр.

196                      Теория перестановок                            Гл. 3

   Обратный переход от типа ’disjcyc’ к типу ’permlist’ возможен,
если уточнить степень перестановки (по разложению на циклы она
не видна). Команда

  > convert ( psi, ’permlist’, 10 ) ;

должна вернуть нас к исходной перестановке:

                          [3, 7, 9, 4, 10, 1, 2, 5, 6, 8]
  Еще один пример:

  > convert ( epsilon, ’disjcyc’ ); convert ( [ ], ’permlist’ , 10 );

                                        []

                          [1, 2, 3, 4, 5, 6, 7, 8, 9, 10]
   Видим, что тождественная перестановка в формате ’disjcyc’ пред-
ставляется пустым списком.
  22.2. Умножение перестановок в пакете group. К сожале-
нию, общая несогласованность в обозначениях композиции (см. за-
мечание 15.3) коснулась и системы Maple.
  Порядок перемножения перестановок в Maple противоположен по-
рядку, принятому в настоящем пособии. Это не слишком страшно.
Если вы хотите перемножить перестановки φ и ψ (т. е. вычислить
µ = φψ в нашем "левом" смысле), то вам придется набрать:

  > mu := mulperms ( psi, phi ) ;

  (Таким образом, первой указывается та перестановка, которая на
самом деле действует первой.)
  Важно другое: обе данные перестановки должны быть — предва-
рительно! — переведены в формат ’disjcyc’.
  Ниже мы изначально задаем сомножители в этом формате.

  > alpha := [ [ 4, 5, 8 ], [ 10, 3 ], [ 2, 6, 12 ] ] ;
   beta := [ [ 1, 11 ], [ 3, 8, 9, 2, 5 ] ] ;

                       α := [[4, 5, 8], [10, 3], [2, 6, 12]]
                          β := [[1, 11], [3, 8, 9, 2, 5]]