1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
|
#include "../test.h"
uint8_t inverse_trans(uint8_t);
cube_t transform_corners(cube_t, uint8_t);
uint64_t coord_cocsep(cube_t);
size_t gendata_cocsep(unsigned char *, uint64_t *, cube_t *);
void run(void) {
uint8_t t;
unsigned char buf[2000000];
uint32_t *cocsepdata, tt;
uint64_t i, selfsim[COCSEP_CLASSES];
uint64_t j, k, l;
cube_t rep[COCSEP_CLASSES], c, d;
gendata_cocsep(buf, selfsim, rep);
cocsepdata = (uint32_t *)((char *)buf + INFOSIZE);
for (i = 0; i < COCSEP_CLASSES; i++) {
c = rep[i];
for (t = 0; t < 48; t++) {
d = transform_corners(c, t);
j = coord_cocsep(d);
tt = TTREP(cocsepdata[j]);
d = transform_corners(d, tt);
k = coord_cocsep(d);
l = coord_cocsep(c);
if (k != l)
printf("cocsep %" PRIu64 " (%" PRIu64 "): "
"%" PRIu64 " ttrep %" PRIu32
" -> %" PRId64 "\n", i, l, j, tt, k);
}
}
}
|
