forked from mirror/toddcox-faster
42 lines
898 B
C++
42 lines
898 B
C++
#include <ctime>
|
|
#include <iostream>
|
|
#include <iomanip>
|
|
|
|
#include <tc/solver.hpp>
|
|
#include <tc/groups.hpp>
|
|
|
|
template<class G>
|
|
void test(const G &group) {
|
|
tc::Symbol gens(1);
|
|
gens << 0;
|
|
|
|
auto s = std::clock();
|
|
auto cosets = tc::solve(group, gens);
|
|
auto e = std::clock();
|
|
|
|
double diff = (double) (e - s) / CLOCKS_PER_SEC;
|
|
int order = cosets.order();
|
|
|
|
std::cout
|
|
<< std::setw(7) << group.name << ", "
|
|
<< std::setw(7) << order << ", "
|
|
<< std::fixed << std::setprecision(6) << diff << "s"
|
|
<< std::endl;
|
|
}
|
|
|
|
int main() {
|
|
test(tc::group::H(2));
|
|
test(tc::group::H(3));
|
|
test(tc::group::H(4));
|
|
test(tc::group::T(100));
|
|
test(tc::group::T(500));
|
|
test(tc::group::T(1000));
|
|
test(tc::group::E(6));
|
|
test(tc::group::E(7));
|
|
test(tc::group::B(6));
|
|
test(tc::group::B(7));
|
|
test(tc::group::B(8));
|
|
|
|
return 0;
|
|
}
|