FpGroupToRWS(G [,case_change])
FpGroupToRWS
constructs and returns a rewriting system R from a
finitely presented group G. The generators of R are the generators
of G together with inverses for those generators which are not
obviously involutory. Normally, if a generator of G prints as a,
say, then its inverse will print, as might be expected, as a^{-1}.
However, if the optional argument case_change is set to true
,
then its printing string will be derived by changing the case of the
letters in the original generator; so, the inverse of a will print
as A. One advantage of this is that it can save space in the
temporary files used by the external programs.
R is a GAP record. However, its internal storage does not
correspond precisely to the way in which it is displayed, and so the
user is strongly advised not to attempt to modify its fields directly.
(To convince yourself of this, try examining some of the fields
individually.) In particular, the ordering on words to be used by the
Knuth-Bendix procedure should be changed, if desired, by using the
functions SetOrderingRWS
and ReorderGeneratorsRWS
described in
Setting the ordering below. However, the control fields that are
described in Control parameters below are designed to be set
directly.
GAP 3.4.4