Todd–Coxeter algorithm