allemang.d/toddcox-visualize
1
0
Fork 0
mirror of https://github.com/allemangD/toddcox-visualize.git synced 2025-11-10 03:52:48 -05:00
Code Issues Packages Projects Releases Wiki Activity

add nontrivial tests to solver test

Browse Source
This commit is contained in:
David Allemang
2022-09-15 10:55:10 -04:00
parent 97d19a4600
commit e513572389
2 changed files with 107 additions and 42 deletions
Download Patch File Download Diff File Expand all files Collapse all files

1
tc/test/CMakeLists.txt
View File

@@ -25,7 +25,6 @@ add_simple_test(test_solve G)
add_simple_test(test_solve H) add_simple_test(test_solve H)
add_simple_test(test_solve I) add_simple_test(test_solve I)
add_simple_test(test_solve T) add_simple_test(test_solve T)
add_simple_test(test_solve X)
set(MIN_DEBUG_CPS 200000) set(MIN_DEBUG_CPS 200000)
set(MIN_RELEASE_CPS 1000000) set(MIN_RELEASE_CPS 1000000)

148
tc/test/test_solve.cpp
View File

@@ -5,6 +5,11 @@
#include <tc/groups.hpp> #include <tc/groups.hpp>
#include <tc/core.hpp> #include <tc/core.hpp>
#define UNWRAP(...) {__VA_ARGS__}
#define CASE(GROUP, SUBGROUP, EXPECT) {#GROUP " / " #SUBGROUP, UNWRAP SUBGROUP, SUBGROUP, EXPECT}
//#define CASE(GROUP, SUBGROUP, EXPECT) {#GROUP " / " #SUBGROUP, tc::group::GROUP, SUBGROUP, EXPECT}
int main(int argc, char *argv[]) { int main(int argc, char *argv[]) {
std::string key = argv[1]; std::string key = argv[1];
@@ -18,78 +23,130 @@ int main(int argc, char *argv[]) {
// See the group orders here https://en.wikipedia.org/wiki/Coxeter_group#Properties // See the group orders here https://en.wikipedia.org/wiki/Coxeter_group#Properties
if (key == "A") { if (key == "A") {
groups = { groups = {
{"A(1)", tc::group::A(1), {}, 2}, {"A(1)", tc::group::A(1), {}, 2},
{"A(2)", tc::group::A(2), {}, 6}, {"A(2)", tc::group::A(2), {}, 6},
{"A(3)", tc::group::A(3), {}, 24}, {"A(3)", tc::group::A(3), {}, 24},
{"A(4)", tc::group::A(4), {}, 120}, {"A(3)", tc::group::A(3), {0}, 12},
{"A(3)", tc::group::A(3), {0, 1}, 4},
{"A(3)", tc::group::A(3), {0, 2}, 6},
{"A(3)", tc::group::A(3), {2}, 12},
{"A(4)", tc::group::A(4), {}, 120},
{"A(4)", tc::group::A(4), {0}, 60},
{"A(4)", tc::group::A(4), {0, 1}, 20},
{"A(4)", tc::group::A(4), {2}, 60},
{"A(4)", tc::group::A(4), {0, 2}, 30},
}; };
} }
if (key == "B") { if (key == "B") {
groups = { groups = {
{"B(2)", tc::group::B(2), {}, 8}, {"B(2)", tc::group::B(2), {}, 8},
{"B(3)", tc::group::B(3), {}, 48}, {"B(3)", tc::group::B(3), {}, 48},
{"B(4)", tc::group::B(4), {}, 384}, {"B(3)", tc::group::B(3), {0}, 24},
{"B(5)", tc::group::B(5), {}, 3840}, {"B(3)", tc::group::B(3), {0, 2}, 12},
{"B(6)", tc::group::B(6), {}, 46080}, {"B(4)", tc::group::B(4), {}, 384},
{"B(4)", tc::group::B(4), {0}, 192},
{"B(4)", tc::group::B(4), {0, 2}, 96},
{"B(5)", tc::group::B(5), {}, 3840},
{"B(5)", tc::group::B(5), {0}, 1920},
{"B(5)", tc::group::B(5), {0, 2}, 960},
{"B(5)", tc::group::B(5), {0, 2, 3}, 320},
{"B(6)", tc::group::B(6), {}, 46080},
{"B(6)", tc::group::B(6), {0}, 23040},
{"B(6)", tc::group::B(6), {0, 2}, 11520},
{"B(6)", tc::group::B(6), {0, 2, 3}, 3840},
{"B(6)", tc::group::B(6), {0, 2, 3, 5}, 1920},
}; };
} }
if (key == "D") { if (key == "D") {
groups = { groups = {
{"D(2)", tc::group::D(2), {}, 4}, {"D(2)", tc::group::D(2), {}, 4},
{"D(3)", tc::group::D(3), {}, 24}, {"D(3)", tc::group::D(3), {}, 24},
{"D(4)", tc::group::D(4), {}, 192}, {"D(4)", tc::group::D(4), {}, 192},
{"D(5)", tc::group::D(5), {}, 1920}, {"D(4)", tc::group::D(4), {0, 1}, 32},
{"D(6)", tc::group::D(6), {}, 23040}, {"D(4)", tc::group::D(4), {0, 1, 3}, 8},
{"D(5)", tc::group::D(5), {}, 1920},
{"D(5)", tc::group::D(5), {0, 1}, 320},
{"D(5)", tc::group::D(5), {0, 1, 3}, 160},
{"D(5)", tc::group::D(5), {0, 1, 3, 4}, 40},
{"D(6)", tc::group::D(6), {}, 23040},
{"D(6)", tc::group::D(6), {0, 1}, 3840},
{"D(6)", tc::group::D(6), {0, 1, 3}, 1920},
{"D(6)", tc::group::D(6), {0, 1, 3, 5}, 480},
}; };
} }
if (key == "E") { if (key == "E") {
groups = { groups = {
{"E(3)", tc::group::E(3), {}, 12}, {"E(3)", tc::group::E(3), {}, 12},
{"E(4)", tc::group::E(4), {}, 120}, {"E(4)", tc::group::E(4), {}, 120},
{"E(5)", tc::group::E(5), {}, 1920}, {"E(4)", tc::group::E(4), {2}, 60},
{"E(6)", tc::group::E(6), {}, 51840}, {"E(4)", tc::group::E(4), {2, 1}, 20},
{"E(4)", tc::group::E(4), {2, 1, 3}, 5},
{"E(5)", tc::group::E(5), {}, 1920},
{"E(5)", tc::group::E(5), {2}, 960},
{"E(5)", tc::group::E(5), {2, 1}, 320},
{"E(5)", tc::group::E(5), {2, 1, 3}, 80},
{"E(6)", tc::group::E(6), {}, 51840},
{"E(6)", tc::group::E(6), {2}, 25920},
{"E(6)", tc::group::E(6), {2, 1}, 8640},
{"E(6)", tc::group::E(6), {2, 1, 3}, 2160},
}; };
} }
if (key == "F") { if (key == "F") {
groups = { groups = {
{"F4()", tc::group::F4(), {}, 1152}, {"F4()", tc::group::F4(), {}, 1152},
{"F4()", tc::group::F4(), {0}, 576},
{"F4()", tc::group::F4(), {0, 2}, 288},
{"F4()", tc::group::F4(), {1, 3}, 288},
{"F4()", tc::group::F4(), {1, 2, 3}, 24},
}; };
} }
if (key == "G") { if (key == "G") {
groups = { groups = {
{"G2()", tc::group::G2(), {}, 12}, {"G2()", tc::group::G2(), {}, 12},
{"G2()", tc::group::G2(), {0}, 6},
{"G2()", tc::group::G2(), {1}, 6},
}; };
} }
if (key == "H") { if (key == "H") {
groups = { groups = {
{"H(2)", tc::group::H(2), {}, 10}, {"H(2)", tc::group::H(2), {}, 10},
{"H(3)", tc::group::H(3), {}, 120}, {"H(2)", tc::group::H(2), {0}, 5},
{"H(4)", tc::group::H(4), {}, 14400}, {"H(2)", tc::group::H(2), {1}, 5},
{"H(3)", tc::group::H(3), {}, 120},
{"H(3)", tc::group::H(3), {0}, 60},
{"H(3)", tc::group::H(3), {0, 1}, 12},
{"H(3)", tc::group::H(3), {0, 2}, 30},
{"H(3)", tc::group::H(3), {1, 2}, 20},
{"H(4)", tc::group::H(4), {}, 14400},
{"H(4)", tc::group::H(4), {0}, 7200},
{"H(4)", tc::group::H(4), {1}, 7200},
{"H(4)", tc::group::H(4), {1, 3}, 3600},
}; };
} }
if (key == "I") { if (key == "I") {
groups = { groups = {
{"I2(2)", tc::group::I2(2), {}, 4}, {"I2(2)", tc::group::I2(2), {}, 4},
{"I2(3)", tc::group::I2(3), {}, 6}, {"I2(3)", tc::group::I2(3), {}, 6},
{"I2(4)", tc::group::I2(4), {}, 8}, {"I2(3)", tc::group::I2(3), {0}, 3},
{"I2(5)", tc::group::I2(5), {}, 10}, {"I2(3)", tc::group::I2(3), {1}, 3},
{"I2(4)", tc::group::I2(4), {}, 8},
{"I2(4)", tc::group::I2(4), {0}, 4},
{"I2(4)", tc::group::I2(4), {1}, 4},
{"I2(5)", tc::group::I2(5), {}, 10},
{"I2(5)", tc::group::I2(5), {0}, 5},
{"I2(5)", tc::group::I2(5), {1}, 5},
}; };
} }
if (key == "T") { if (key == "T") {
groups = { groups = {
{"T(3)", tc::group::T(3), {}, 36}, {"T(3)", tc::group::T(3), {}, 36},
{"T(4)", tc::group::T(4), {}, 64}, {"T(4)", tc::group::T(4), {}, 64},
{"T(400)", tc::group::T(400), {}, 640000}, {"T(400)", tc::group::T(400), {}, 640000},
{"T(400, 300)", tc::group::T(400, 300), {}, 480000}, {"T(400)", tc::group::T(400), {0}, 320000},
}; {"T(400)", tc::group::T(400), {0, 2}, 160000},
} {"T(400, 300)", tc::group::T(400, 300), {}, 480000},
if (key == "X") { {"T(400, 300)", tc::group::T(400, 300), {0}, 240000},
groups = { {"T(400, 300)", tc::group::T(400, 300), {0, 2}, 120000},
{"H3 x I2", tc::schlafli({5, 3, 3, 2}), {}, 28800},
{"H3 x I2", tc::schlafli({5, 3, 3, 2}), {0}, 14400},
{"H2 / {0, 1}", tc::schlafli({5, 3}), {0, 1}, 12},
{"H2 / {0, 2}", tc::schlafli({5, 3}), {0, 2}, 30},
{"H2 / {1, 2}", tc::schlafli({5, 3}), {1, 2}, 20},
}; };
} }
@@ -98,7 +155,16 @@ int main(int argc, char *argv[]) {
for (const auto &[name, group, sub_gens, expected]: groups) { for (const auto &[name, group, sub_gens, expected]: groups) {
auto cos = tc::solve(group, sub_gens); auto cos = tc::solve(group, sub_gens);
auto actual = cos.size(); auto actual = cos.size();
std::cout << name << " : " << actual; std::cout << name;
if (!sub_gens.empty()) {
std::cout << " / {";
std::cout << (int) sub_gens[0];
for (int i = 1; i < sub_gens.size(); ++i) {
std::cout << ", " << (int) sub_gens[i];
}
std::cout << "}";
}
std::cout << " : " << actual;
if (expected != actual) { if (expected != actual) {
std::cout << " (Expected " << expected << ")"; std::cout << " (Expected " << expected << ")";
status = EXIT_FAILURE; status = EXIT_FAILURE;