A new (basic) implementation of the Todd-Coxeter algorithm for Coxeter groups in C++ that beats GAP. - View it on GitHub
Star
0
Rank
11399557