Dear all, Has anybody written some GAP code which decides whether a group presentation satisfies one of the common small cancellation conditions? (for example, the C'(\lambda) condition) Best, Timm