> < ^ Date: Mon, 08 Mar 1993 09:02:36 +0100
> < ^ From: Frank Celler <frank.celler@math.rwth-aachen.de >
< ^ Subject: Re: non-commutative Gauss algorithm

Dear Werner,
> 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'.

best wishes
Frank Celler

> < [top]