> < ^ From:

< ^ Subject:

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]