Todd–Coxeter algorithm

From dankwiki