66.1 Creating a rewriting system

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.

Up Top Next
Index

GAP 3.4.4
April 1997