Open olexandr-konovalov opened 4 years ago
For example, one of the tests could be rerunning the example for a group of order 125, and checking that it matches the one from LocalNR package.
For example, one of the tests could be rerunning the example for a group of order 125, and checking that it matches the one from LocalNR package.