> is there a function in GAP 3.2 that takes a sequence of AG-words and
> applies the non-commutative Gauss algorithm to it? Checking the
if you need a function which converts an induced generating system of
an ag group into a canonical one, you should use 'Normalize'. But
there is no "non-commutative Gauss without commutator" for arbitrary
set of ag words. If, however, you have a homomorphic image of an
induced generating system, you could use 'HomomorphicIgs'.