66.3 Setting the ordering

SetOrderingRWS(rws, ordering [,list])
ReorderGeneratorsRWS(rws, p)

SetOrderingRWS changes the ordering on the words of the rewriting system rws to ordering, which must be one of the strings ``shortlex", ``recursive", ``wtlex" and ``wreathprod". The default is ``shortlex", and this is the ordering of rewriting systems returned by FpGroupToRWS. The orderings ``wtlex" and ``wreathprod" require the third parameter, list, which must be a list of non-negative integers in one-one correspondence with the generators of rws, in the order that they are displayed in the generatorOrder field. They have the effect of attaching weights or levels to the generators, in the cases ``wtlex" and ``wreathprod", respectively.

Each of these orderings depends on the order of the generators, The current ordering of generators is displayed under the generatorOrder field when rws is printed. This ordering can be changed by the function ReorderGeneratorsRWS. The second parameter p to this function should be a permutation that moves at most ng points, where ng is the number of generators. This permutation is applied to the current list of generators.

In the ``shortlex" ordering, shorter words come before longer ones, and, for words of equal length, the lexicographically smaller word comes first, using the ordering of generators specified by the generatorOrder field. The ``wtlex" ordering is similar, but instead of using the length of the word as the first criterion, the total weight of the word is used; this is defined as the sum of the weights of the generators in the word. So ``shortlex" is the special case of ``wtlex" in which all generators have the same nonzero weight.

The ``recursive" ordering is the special case of ``wreathprod" in which the levels of the ng generators are 1, 2, ldots, ng, in the order defined by the generatorOrder field. We shall not attempt to give a complete definition of these orderings here, but refer the reader instead to pages 46--50 of Sims94. The ``recursive" ordering is the one appropriate for a power-conjugate presentation of a polycyclic group, but where the generators are ordered in the reverse order from the usual convention for polycyclic groups. The confluent presentation will then be the same as the power-conjugate presentation. For example, for the Heisenberg group < x,y,z hspace{1mm} | hspace{1mm} [x,z]=[y,z]=1, [y,x]=z > , a good ordering is ``recursive" with the order of generators [z^{-1},z,y^{-1},y,x^{-1},x]. This example is included in Examples below.

Previous Up Top Next
Index

GAP 3.4.4
April 1997