A new (basic) implementation of the Todd-Coxeter algorithm for Coxeter groups in C++ that beats GAP.
Updated 2023-02-13 15:02:01 -05:00