Skip to content

Commit

Permalink
Find SNF with smarter first_pass before doing the rest of the row ops
Browse files Browse the repository at this point in the history
  • Loading branch information
@sweeneyde
sweeneyde committed Dec 1, 2024
1 parent 436e598 commit fef1b0e
Show file tree
Hide file tree
Showing 9 changed files with 253 additions and 175 deletions.
2 changes: 1 addition & 1 deletion data_by_min_ideal/order10/min_2_2_1/README.md
View file
Original file line number Diff line number Diff line change
Expand Up @@ -248,7 +248,7 @@ Count | 𝐻₁ | 𝐻₂ | 𝐻₃ | 𝐻₄ | 𝐻₅ | 𝐻₆ | 𝐻₇ |
860 | · | · | ℤ | ℤ³ | ℤ¹⁰ | ℤ³³ | ? | ? | ? | ?
1092 | · | · | ℤ | ℤ³ | ℤ⁶ | ℤ¹⁰ | ? | ? | ? | ?
2873 | · | · | ℤ | ℤ³ | ℤ⁷ | ℤ¹⁵ | ? | ? | ? | ?
7442 | · | · | ℤ | ℤ³ | ℤ⁸ | ? | ? | ? | ? | ?
7442 | · | · | ℤ | ℤ³ | ℤ⁸ | ℤ²¹ | ? | ? | ? | ?
1844 | · | · | ℤ | ℤ³ | ℤ⁹ | ℤ²⁷ | ? | ? | ? | ?
965 | · | · | ℤ | ℤ² | · | · | · | · | · | ·
4 | · | · | ℤ | ℤ² | ℤ²×𝐶₂² | ℤ²×𝐶₂² | ? | ? | ? | ?
Expand Down
2 changes: 1 addition & 1 deletion data_by_min_ideal/order10/min_2_2_1/groupings.txt
View file

Large diffs are not rendered by default.

47 changes: 24 additions & 23 deletions data_by_min_ideal/order10/min_2_3_1/README.md
View file
Original file line number Diff line number Diff line change
Expand Up @@ -75,16 +75,16 @@ Count | 𝐻₁ | 𝐻₂ | 𝐻₃ | 𝐻₄ | 𝐻₅ | 𝐻₆ | 𝐻₇ |
1 | · | ℤ² | ℤ²×𝐶₃² | ℤ²×𝐶₃⁴ | ℤ²×𝐶₃¹⁰ | ℤ²×𝐶₃²⁰ | ℤ²×𝐶₃⁴² | ℤ²×𝐶₃⁸⁴ | ℤ²×𝐶₃¹⁷⁰ | ℤ²×𝐶₃³⁴⁰
4 | · | ℤ² | ℤ⁴×𝐶₂² | ℤ⁸×𝐶₂⁸ | ℤ¹⁶×𝐶₂³⁰ | ℤ³²×𝐶₂¹⁰⁰ | ℤ⁶⁴×𝐶₂³²² | ℤ¹²⁸×𝐶₂¹⁰⁰⁸ | ℤ²⁵⁶×𝐶₂³¹¹⁰ | ℤ⁵¹²×𝐶₂⁹⁵⁰⁰
1 | · | ℤ² | ℤ⁴ | ℤ⁴ | ℤ⁸ | ℤ¹⁶ | ℤ¹⁶ | ℤ³² | ℤ⁶⁴ | ℤ⁶⁴
5 | · | ℤ² | ℤ⁴ | ℤ⁶ | ℤ¹⁰ | ℤ¹⁸ | ℤ³⁰ | ? | ? | ?
5 | · | ℤ² | ℤ⁴ | ℤ⁶ | ℤ¹⁰ | ℤ¹⁸ | ℤ³⁰ | ℤ⁵⁰ | ? | ?
4 | · | ℤ² | ℤ⁴ | ℤ⁶ | ℤ¹⁰ | ℤ¹⁸ | ℤ³² | ℤ⁵⁶ | ℤ⁹⁸ | ℤ¹⁷²
4 | · | ℤ² | ℤ⁴ | ℤ⁶ | ℤ¹² | ℤ²² | ℤ³⁸ | ℤ⁷² | ℤ¹³⁰ | ℤ²³⁴
91 | · | ℤ² | ℤ⁴ | ℤ⁶ | ℤ⁸ | ℤ¹⁰ | ℤ¹² | ? | ? | ?
91 | · | ℤ² | ℤ⁴ | ℤ⁶ | ℤ⁸ | ℤ¹⁰ | ℤ¹² | ℤ¹⁴ | ? | ?
529 | · | ℤ² | ℤ⁴ | ℤ⁸ | ℤ¹⁶ | ℤ³² | ℤ⁶⁴ | ℤ¹²⁸ | ? | ?
115 | · | ℤ² | ℤ² | ℤ⁴ | ℤ⁶ | ℤ¹⁰ | ℤ¹⁶ | ℤ²⁶ | ℤ⁴² | ℤ⁶⁸
1834 | · | ℤ² | ℤ² | ℤ² | ℤ² | ℤ² | ℤ² | ℤ² | ℤ² | ℤ²
213 | · | ℤ² | ℤ⁶ | ℤ¹⁶ | ℤ⁴² | ? | ? | ? | ? | ?
213 | · | ℤ² | ℤ⁶ | ℤ¹⁶ | ℤ⁴² | ℤ¹¹⁰ | ? | ? | ? | ?
75 | · | ℤ² | ℤ⁶ | ℤ¹⁸ | ℤ⁵⁴ | ℤ¹⁶² | ? | ? | ? | ?
16 | · | ℤ² | ℤ⁸ | ℤ³² | ℤ¹²⁸ | ℤ⁵¹² | ? | ? | ? | ?
16 | · | ℤ² | ℤ⁸ | ℤ³² | ℤ¹²⁸ | ℤ⁵¹² | ℤ²⁰⁴⁸ | ℤ⁸¹⁹² | ? | ?
27071 | · | ℤ | · | · | · | · | · | · | · | ·
213 | · | ℤ | · | ℤ | · | · | · | · | · | ·
232 | · | ℤ | · | ℤ | · | ℤ² | · | ℤ⁴ | · | ℤ⁸
Expand All @@ -96,63 +96,64 @@ Count | 𝐻₁ | 𝐻₂ | 𝐻₃ | 𝐻₄ | 𝐻₅ | 𝐻₆ | 𝐻₇ |
2 | · | ℤ | 𝐶₂² | 𝐶₂ | 𝐶₂³ | 𝐶₂² | 𝐶₂⁴ | 𝐶₂³ | 𝐶₂⁵ | 𝐶₂⁴
8 | · | ℤ | 𝐶₂ | · | 𝐶₂² | 𝐶₂ | 𝐶₂⁴ | 𝐶₂⁴ | 𝐶₂⁹ | 𝐶₂¹²
785 | · | ℤ | 𝐶₂ | · | 𝐶₂ | · | 𝐶₂ | · | 𝐶₂ | ·
37 | · | ℤ | 𝐶₂ | 𝐶₂ | 𝐶₂³ | 𝐶₂⁵ | 𝐶₂¹¹ | ? | ? | ?
37 | · | ℤ | 𝐶₂ | 𝐶₂ | 𝐶₂³ | 𝐶₂⁵ | 𝐶₂¹¹ | 𝐶₂²¹ | ? | ?
19 | · | ℤ | 𝐶₃ | · | 𝐶₃ | · | 𝐶₃ | · | 𝐶₃ | ·
1 | · | ℤ | 𝐶₃ | 𝐶₃ | 𝐶₃³ | 𝐶₃⁵ | 𝐶₃¹¹ | ? | ? | ?
1 | · | ℤ | 𝐶₃ | 𝐶₃ | 𝐶₃³ | 𝐶₃⁵ | 𝐶₃¹¹ | 𝐶₃²¹ | ? | ?
2 | · | ℤ | 𝐶₄ | · | 𝐶₄ | · | 𝐶₄ | · | 𝐶₄ | ·
1 | · | ℤ | ℤ×𝐶₂² | ℤ²×𝐶₂² | ℤ⁴×𝐶₂⁶ | ℤ⁸×𝐶₂¹⁰ | ℤ¹⁶×𝐶₂²² | ? | ? | ?
1 | · | ℤ | ℤ×𝐶₂² | ℤ²×𝐶₂² | ℤ⁴×𝐶₂⁶ | ℤ⁸×𝐶₂¹⁰ | ℤ¹⁶×𝐶₂²² | ℤ³²×𝐶₂⁴² | ? | ?
5 | · | ℤ | ℤ×𝐶₂ | · | 𝐶₂ | · | 𝐶₂ | · | 𝐶₂ | ·
33 | · | ℤ | ℤ×𝐶₂ | 𝐶₂ | 𝐶₂ | 𝐶₂ | 𝐶₂ | 𝐶₂ | 𝐶₂ | 𝐶₂
8 | · | ℤ | ℤ×𝐶₂ | ℤ×𝐶₂² | ℤ×𝐶₂³ | ℤ×𝐶₂⁴ | ℤ×𝐶₂⁵ | ? | ? | ?
83 | · | ℤ | ℤ×𝐶₂ | ℤ×𝐶₂² | ℤ×𝐶₂⁵ | ℤ×𝐶₂¹⁰ | ℤ×𝐶₂²¹ | ? | ? | ?
12 | · | ℤ | ℤ×𝐶₂ | ℤ×𝐶₂ | ℤ×𝐶₂³ | ℤ×𝐶₂⁴ | ℤ×𝐶₂⁸ | ℤ×𝐶₂¹² | ℤ×𝐶₂²¹ | ℤ×𝐶₂³³
55 | · | ℤ | ℤ×𝐶₂ | ℤ×𝐶₂ | ℤ×𝐶₂² | ℤ×𝐶₂² | ℤ×𝐶₂³ | ℤ×𝐶₂³ | ℤ×𝐶₂⁴ | ℤ×𝐶₂⁴
10 | · | ℤ | ℤ×𝐶₂ | ℤ²×𝐶₂³ | ℤ⁴×𝐶₂¹¹ | ℤ⁸×𝐶₂³⁵ | ? | ? | ? | ?
10 | · | ℤ | ℤ×𝐶₂ | ℤ²×𝐶₂³ | ℤ⁴×𝐶₂¹¹ | ℤ⁸×𝐶₂³⁵ | ℤ¹⁶×𝐶₂¹¹¹ | ? | ? | ?
1 | · | ℤ | ℤ×𝐶₂ | ℤ²×𝐶₂ | ℤ⁴×𝐶₂ | ℤ⁶×𝐶₂³ | ℤ¹⁰×𝐶₂⁵ | ? | ? | ?
1 | · | ℤ | ℤ×𝐶₂ | ℤ² | ℤ⁴×𝐶₂ | ℤ⁶×𝐶₂³ | ℤ¹²×𝐶₂² | ? | ? | ?
2 | · | ℤ | ℤ×𝐶₃ | 𝐶₃ | 𝐶₃ | 𝐶₃ | 𝐶₃ | 𝐶₃ | 𝐶₃ | 𝐶₃
2 | · | ℤ | ℤ×𝐶₃ | ℤ×𝐶₃² | ℤ×𝐶₃⁵ | ℤ×𝐶₃¹⁰ | ℤ×𝐶₃²¹ | ? | ? | ?
6 | · | ℤ | ℤ²×𝐶₂ | 𝐶₂² | 𝐶₂ | 𝐶₂² | 𝐶₂ | 𝐶₂² | 𝐶₂ | 𝐶₂²
10 | · | ℤ | ℤ²×𝐶₂ | ℤ²×𝐶₂³ | ℤ²×𝐶₂⁷ | ℤ²×𝐶₂¹⁵ | ℤ²×𝐶₂³¹ | ? | ? | ?
6 | · | ℤ | ℤ²×𝐶₂ | ℤ⁴×𝐶₂⁴ | ℤ⁸×𝐶₂¹⁵ | ℤ¹⁶×𝐶₂⁵⁰ | ? | ? | ? | ?
6 | · | ℤ | ℤ²×𝐶₂ | ℤ⁴×𝐶₂⁴ | ℤ⁸×𝐶₂¹⁵ | ℤ¹⁶×𝐶₂⁵⁰ | ℤ³²×𝐶₂¹⁶¹ | ? | ? | ?
15 | · | ℤ | ℤ²×𝐶₂ | ℤ⁵×𝐶₂³ | ℤ¹³×𝐶₂⁸ | ℤ³⁴×𝐶₂²¹ | ? | ? | ? | ?
39 | · | ℤ | ℤ³ | · | · | · | · | · | · | ·
136 | · | ℤ | ℤ³ | ℤ³ | ℤ³ | ℤ³ | ℤ³ | ℤ³ | ℤ³ | ℤ³
155 | · | ℤ | ℤ³ | ℤ¹² | ℤ⁴⁸ | ℤ¹⁹² | ? | ? | ? | ?
205 | · | ℤ | ℤ³ | ℤ⁶ | ℤ¹² | ℤ²⁴ | ? | ? | ? | ?
78 | · | ℤ | ℤ³ | ℤ⁹ | ℤ²⁴ | ℤ⁶³ | ? | ? | ? | ?
122 | · | ℤ | ℤ³ | ℤ⁹ | ℤ²⁷ | ℤ⁸¹ | ? | ? | ? | ?
205 | · | ℤ | ℤ³ | ℤ⁶ | ℤ¹² | ℤ²⁴ | ℤ⁴⁸ | ? | ? | ?
78 | · | ℤ | ℤ³ | ℤ⁹ | ℤ²⁴ | ℤ⁶³ | ℤ¹⁶⁵ | ? | ? | ?
122 | · | ℤ | ℤ³ | ℤ⁹ | ℤ²⁷ | ℤ⁸¹ | ℤ²⁴³ | ? | ? | ?
220 | · | ℤ | ℤ² | · | · | · | · | · | · | ·
6 | · | ℤ | ℤ² | 𝐶₂² | · | 𝐶₂² | · | 𝐶₂² | · | 𝐶₂²
1 | · | ℤ | ℤ² | ℤ²×𝐶₂² | ℤ²×𝐶₂² | ℤ²×𝐶₂⁴ | ℤ²×𝐶₂⁴ | ℤ²×𝐶₂⁶ | ℤ²×𝐶₂⁶ | ℤ²×𝐶₂⁸
30 | · | ℤ | ℤ² | ℤ²×𝐶₂ | ℤ²×𝐶₂ | ℤ²×𝐶₂² | ℤ²×𝐶₂² | ℤ²×𝐶₂³ | ℤ²×𝐶₂³ | ?
2 | · | ℤ | ℤ² | ℤ⁴×𝐶₂² | ℤ⁸×𝐶₂⁸ | ℤ¹⁶×𝐶₂³⁰ | ℤ³²×𝐶₂¹⁰⁰ | ? | ? | ?
4 | · | ℤ | ℤ² | ℤ⁴ | ℤ⁶ | ℤ¹⁰ | ℤ¹⁸ | ? | ? | ?
81 | · | ℤ | ℤ² | ℤ⁴ | ℤ⁶ | ℤ⁸ | ℤ¹⁰ | ? | ? | ?
81 | · | ℤ | ℤ² | ℤ⁴ | ℤ⁶ | ℤ⁸ | ℤ¹⁰ | ℤ¹² | ℤ¹⁴ | ℤ¹⁶
4 | · | ℤ | ℤ² | ℤ⁴ | ℤ⁷ | ℤ¹² | ℤ²¹ | ? | ? | ?
4 | · | ℤ | ℤ² | ℤ⁴ | ℤ⁷ | ℤ¹³ | ℤ²⁴ | ? | ? | ?
1269 | · | ℤ | ℤ² | ℤ⁴ | ℤ⁸ | ℤ¹⁶ | ? | ? | ? | ?
361 | · | ℤ | ℤ² | ℤ³ | ℤ⁴ | ℤ⁵ | ? | ? | ? | ?
1 | · | ℤ | ℤ² | ℤ³ | ℤ⁴ | ℤ⁸ | ? | ? | ? | ?
3 | · | ℤ | ℤ² | ℤ³ | ℤ⁵ | ℤ¹⁰ | ? | ? | ? | ?
1 | · | ℤ | ℤ² | ℤ³ | ℤ⁴ | ℤ⁸ | ℤ¹² | ℤ¹⁶ | ? | ?
3 | · | ℤ | ℤ² | ℤ³ | ℤ⁵ | ℤ¹⁰ | ℤ¹⁷ | ℤ³¹ | ? | ?
293 | · | ℤ | ℤ² | ℤ³ | ℤ⁵ | ℤ⁸ | ? | ? | ? | ?
6 | · | ℤ | ℤ² | ℤ³ | ℤ⁵ | ℤ⁹ | ? | ? | ? | ?
6 | · | ℤ | ℤ² | ℤ³ | ℤ⁵ | ℤ⁹ | ℤ¹⁵ | ℤ²⁵ | ? | ?
97 | · | ℤ | ℤ² | ℤ² | ℤ⁴ | ℤ⁴ | ℤ⁸ | ℤ⁸ | ℤ¹⁶ | ?
732 | · | ℤ | ℤ² | ℤ² | ℤ² | ℤ² | ℤ² | ℤ² | ℤ² | ℤ²
61 | · | ℤ | ℤ² | ℤ | ℤ | ℤ | ℤ | ℤ | ℤ | ℤ
1479 | · | ℤ | ℤ² | ℤ⁵ | ℤ¹³ | ? | ? | ? | ? | ?
534 | · | ℤ | ℤ² | ℤ⁶ | ℤ¹⁸ | ? | ? | ? | ? | ?
1479 | · | ℤ | ℤ² | ℤ⁵ | ℤ¹³ | ℤ³⁴ | ? | ? | ? | ?
534 | · | ℤ | ℤ² | ℤ⁶ | ℤ¹⁸ | ℤ⁵⁴ | ? | ? | ? | ?
2430 | · | ℤ | ℤ | · | · | · | · | · | · | ·
38 | · | ℤ | ℤ | 𝐶₂ | · | 𝐶₂ | · | 𝐶₂ | · | 𝐶₂
3 | · | ℤ | ℤ | 𝐶₃ | · | 𝐶₃ | · | 𝐶₃ | · | 𝐶₃
33 | · | ℤ | ℤ | ℤ×𝐶₂ | ℤ×𝐶₂² | ℤ×𝐶₂⁵ | ℤ×𝐶₂¹⁰ | ℤ×𝐶₂²¹ | ? | ?
12 | · | ℤ | ℤ | ℤ×𝐶₂ | ℤ×𝐶₂ | ℤ×𝐶₂³ | ℤ×𝐶₂⁴ | ℤ×𝐶₂⁸ | ℤ×𝐶₂¹² | ℤ×𝐶₂²¹
2 | · | ℤ | ℤ | ℤ² | ℤ⁴ | ℤ⁴ | ? | ? | ? | ?
10 | · | ℤ | ℤ | ℤ² | ℤ⁴ | ℤ⁶ | ? | ? | ? | ?
2 | · | ℤ | ℤ | ℤ² | ℤ⁴ | ℤ⁴ | ℤ⁸ | ℤ¹⁶ | ℤ¹⁶ | ℤ³²
5 | · | ℤ | ℤ | ℤ² | ℤ⁴ | ℤ⁶ | ℤ¹⁰ | ℤ¹⁸ | ? | ?
5 | · | ℤ | ℤ | ℤ² | ℤ⁴ | ℤ⁶ | ℤ¹² | ℤ²² | ? | ?
2083 | · | ℤ | ℤ | ℤ² | ℤ⁴ | ℤ⁸ | ? | ? | ? | ?
233 | · | ℤ | ℤ | ℤ² | ℤ³ | ℤ⁵ | ? | ? | ? | ?
123 | · | ℤ | ℤ | ℤ² | ℤ² | ℤ⁴ | ? | ? | ? | ?
123 | · | ℤ | ℤ | ℤ² | ℤ² | ℤ⁴ | ℤ⁴ | ℤ⁸ | ℤ⁸ | ℤ¹⁶
61 | · | ℤ | ℤ | ℤ | · | · | · | · | · | ·
9 | · | ℤ | ℤ | ℤ | ℤ² | ℤ⁴ | ? | ? | ? | ?
9 | · | ℤ | ℤ | ℤ | ℤ² | ℤ⁴ | ℤ⁷ | ℤ¹² | ? | ?
236 | · | ℤ | ℤ | ℤ | ℤ² | ℤ³ | ? | ? | ? | ?
8510 | · | ℤ | ℤ | ℤ | ℤ | ℤ | ? | ? | ? | ?
8510 | · | ℤ | ℤ | ℤ | ℤ | ℤ | ℤ | ℤ | ℤ | ℤ
47 changes: 24 additions & 23 deletions data_by_min_ideal/order10/min_2_3_1/groupings.txt
View file

Large diffs are not rendered by default.

14 changes: 7 additions & 7 deletions data_by_min_ideal/order8/min_2_2_1/README.md
View file
Original file line number Diff line number Diff line change
Expand Up @@ -44,12 +44,12 @@ Count | 𝐻₁ | 𝐻₂ | 𝐻₃ | 𝐻₄ | 𝐻₅ | 𝐻₆ | 𝐻₇ |
3 | · | ℤ | ℤ²×𝐶₂ | ℤ⁴×𝐶₂⁴ | ℤ⁸×𝐶₂¹⁵ | ℤ¹⁶×𝐶₂⁵⁰ | ℤ³²×𝐶₂¹⁶¹ | ℤ⁶⁴×𝐶₂⁵⁰⁴ | ℤ¹²⁸×𝐶₂¹⁵⁵⁵ | ℤ²⁵⁶×𝐶₂⁴⁷⁵⁰
8 | · | ℤ | ℤ⁴ | ℤ¹⁶ | ℤ⁶⁴ | ℤ²⁵⁶ | ℤ¹⁰²⁴ | ℤ⁴⁰⁹⁶ | ℤ¹⁶³⁸⁴ | ℤ⁶⁵⁵³⁶
128 | · | ℤ | ℤ³ | ℤ⁸ | ℤ²¹ | ℤ⁵⁵ | ? | ? | ? | ?
39 | · | ℤ | ℤ³ | ℤ⁹ | ℤ²⁷ | ℤ⁸¹ | ? | ? | ? | ?
263 | · | ℤ | ℤ² | ℤ⁴ | ℤ⁸ | ℤ¹⁶ | ? | ? | ? | ?
56 | · | ℤ | ℤ² | ℤ³ | ℤ⁴ | ℤ⁵ | ℤ⁶ | ℤ⁷ | ℤ⁸ | ?
3 | · | ℤ | ℤ² | ℤ³ | ℤ⁵ | ℤ⁹ | ℤ¹⁵ | ℤ²⁵ | ℤ⁴³ | ?
2 | · | ℤ | ℤ² | ℤ³ | ℤ⁵ | ℤ⁹ | ℤ¹⁶ | ℤ²⁸ | ℤ⁴⁹ | ?
2 | · | ℤ | ℤ² | ℤ³ | ℤ⁶ | ℤ¹¹ | ℤ¹⁹ | ℤ³⁶ | ℤ⁶⁵ | ?
39 | · | ℤ | ℤ³ | ℤ⁹ | ℤ²⁷ | ℤ⁸¹ | ℤ²⁴³ | ℤ⁷²⁹ | ? | ?
263 | · | ℤ | ℤ² | ℤ⁴ | ℤ⁸ | ℤ¹⁶ | ℤ³² | ℤ⁶⁴ | ? | ?
56 | · | ℤ | ℤ² | ℤ³ | ℤ⁴ | ℤ⁵ | ℤ⁶ | ℤ⁷ | ℤ⁸ | ℤ⁹
3 | · | ℤ | ℤ² | ℤ³ | ℤ⁵ | ℤ⁹ | ℤ¹⁵ | ℤ²⁵ | ℤ⁴³ | ℤ⁷³
2 | · | ℤ | ℤ² | ℤ³ | ℤ⁵ | ℤ⁹ | ℤ¹⁶ | ℤ²⁸ | ℤ⁴⁹ | ℤ⁸⁶
2 | · | ℤ | ℤ² | ℤ³ | ℤ⁶ | ℤ¹¹ | ℤ¹⁹ | ℤ³⁶ | ℤ⁶⁵ | ℤ¹¹⁷
1 | · | ℤ | ℤ² | ℤ² | ℤ⁴ | ℤ⁸ | ℤ⁸ | ℤ¹⁶ | ℤ³² | ℤ³²
58 | · | ℤ | ℤ | ℤ² | ℤ³ | ℤ⁵ | ℤ⁸ | ℤ¹³ | ? | ?
58 | · | ℤ | ℤ | ℤ² | ℤ³ | ℤ⁵ | ℤ⁸ | ℤ¹³ | ℤ²¹ | ℤ³⁴
927 | · | ℤ | ℤ | ℤ | ℤ | ℤ | ℤ | ℤ | ℤ | ℤ
Loading

0 comments on commit fef1b0e

Please sign in to comment.