me/toddcox-faster
1
0
Fork 0
forked from mirror/toddcox-faster
Code Pull Requests Activity

Fix implementation to work with subgroups other than trivial

Browse Source
This commit is contained in:
JCRaymond
2020-01-14 00:39:38 -05:00
parent 06c154057f
commit 7afa9e0b36
1 changed files with 8 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

8
src/solve.cpp
View File

@@ -73,7 +73,8 @@ namespace tc {
}
for (int g : sub_gens) {
cosets.put(g, 0);
if (g < ngens)
cosets.put(0, g, 0);
}
RelTables rel_tables(rels());
@@ -136,6 +137,11 @@ namespace tc {
coset = fact_idx / ngens;
gen = fact_idx % ngens;
if (target == coset)
for (int table_idx : gen_map[gen])
if (target_row.lst_ptrs[table_idx] == nullptr)
target_row.gnrs[table_idx] = -1;
RelTablesRow &coset_row = *(rel_tables.rows[coset]);
for (int table_idx : gen_map[gen]) {
if (target_row.lst_ptrs[table_idx] == nullptr) {