I would like to check whether some presentations satisfy small cancellation (type) conditions (specifically C(4) and C(4)-T(4) for minimal sequences (Lyndon & Schupp, combinatorial group theory, p271)). Are there any GAP provisions for doing this or can anybody suggest a good way of going about this? cheers Iain Moffatt