ExternalActivityComplexes/weirdExample at main · aalmousa/ExternalActivityComplexes · GitHub

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
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
L = matrix{
    {1,0,0,0,0,0,0},
    {0,1,0,1,0,0,1},
    {0,0,1,1,0,1,1},
    {0,0,0,0,1,1,1}
    }
I = kempfCollapsingBeta(L,L)
+------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------+
|y z  + y z  - y z                                                                                                                                                                                                                                                                                                                                                       |
| 4 4    5 5    7 7                                                                                                                                                                                                                                                                                                                                                      |
+------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------+
|y z  + y z  - y z                                                                                                                                                                                                                                                                                                                                                       |
| 3 3    5 5    6 6                                                                                                                                                                                                                                                                                                                                                      |
+------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------+
|y z  + y z  - y z                                                                                                                                                                                                                                                                                                                                                       |
| 2 2    6 6    7 7                                                                                                                                                                                                                                                                                                                                                      |
+------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------+
|x z z  - x z z  - x z z                                                                                                                                                                                                                                                                                                                                                 |
| 7 2 6    6 2 7    2 6 7                                                                                                                                                                                                                                                                                                                                                |
+------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------+
|x z z  - x z z  - x z z                                                                                                                                                                                                                                                                                                                                                 |
| 7 4 5    5 4 7    4 5 7                                                                                                                                                                                                                                                                                                                                                |
+------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------+
|x z z  - x z z  - x z z                                                                                                                                                                                                                                                                                                                                                 |
| 6 3 5    5 3 6    3 5 6                                                                                                                                                                                                                                                                                                                                                |
+------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------+
|x z z  - x z z  - x z z                                                                                                                                                                                                                                                                                                                                                 |
| 4 2 3    3 2 4    2 3 4                                                                                                                                                                                                                                                                                                                                                |
+------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------+
|x z z z  - x z z z  - x z z z  + x z z z                                                                                                                                                                                                                                                                                                                                |
| 7 3 4 6    6 3 4 7    4 3 6 7    3 4 6 7                                                                                                                                                                                                                                                                                                                               |
+------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------+
|x z z z  - x z z z  - x z z z  + x z z z                                                                                                                                                                                                                                                                                                                                |
| 6 2 4 5    5 2 4 6    4 2 5 6    2 4 5 6                                                                                                                                                                                                                                                                                                                               |
+------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------+
|                                                            2                                                                                                                                                                                                                                                                                                           |
|x y z z  - x y z z  + x y z z  - x y z z  + x y z z  - x y z  - x y z z                                                                                                                                                                                                                                                                                                 |
| 6 5 4 5    2 2 4 6    3 3 4 6    5 5 4 6    7 7 4 6    4 6 6    6 7 4 7                                                                                                                                                                                                                                                                                                |
+------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------+
|x z z z  - x z z z  - x z z z  - x z z z                                                                                                                                                                                                                                                                                                                                |
| 7 2 3 5    5 2 3 7    3 2 5 7    2 3 5 7                                                                                                                                                                                                                                                                                                                               |
+------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------+
|                                                                       2                                                                                                                                                                                                                                                                                                |
|x y z z  - x y z z  - x y z z  + x y z z  - x y z z  + x y z z  - x y z                                                                                                                                                                                                                                                                                                 |
| 7 5 3 5    7 6 3 6    2 2 3 7    4 4 3 7    5 5 3 7    6 6 3 7    3 7 7                                                                                                                                                                                                                                                                                                |
+------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------+
|                                                 2                                                                                                                                                                                                                                                                                                                      |
|x y z z  - x y z z  - x y z z  + x y z z  - x y z  + x y z z  - x y z z                                                                                                                                                                                                                                                                                                 |
| 3 3 2 5    4 4 2 5    6 6 2 5    7 7 2 5    2 5 5    5 6 2 6    5 7 2 7                                                                                                                                                                                                                                                                                                |
+------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------+
|                      2                         2                                                          2                       2   2      2 2                        2 2                                        2   2                                                                   2 2                                            2            2            2  |
|x x y y y z  - x x y y z  - x x y y y z  + x x y y z  - x x y y y z  + 2x x y y y z  - x x y y y z  - x x y y z  - x x y y y z  + x y y z  - x y y z  + 2x x y y y z  - x y y z  + 2x x y y y z  + 2x x y y y z  - x y y z  + x x y y y z  + 2x x y y y z  - x x y y y z  - x x y y y z  + x y y z  - x x y y y z  - x x y y y z  - x x y y z  - x x y y z  + x x y y z |
| 2 4 2 4 5 5    2 5 2 5 5    4 6 4 5 6 5    5 6 5 6 5    2 7 2 5 7 5     3 7 3 5 7 5    4 7 4 5 7 5    5 7 5 7 5    6 7 5 6 7 5    7 5 7 5    4 4 6 6     4 5 4 5 6 6    5 5 6 6     4 7 4 6 7 6     5 7 5 6 7 6    7 6 7 6    3 4 3 4 7 7     2 5 2 5 7 7    3 5 3 5 7 7    4 5 4 5 7 7    5 5 7 7    4 6 4 6 7 7    5 6 5 6 7 7    3 7 3 7 7    5 7 5 7 7    6 7 6 7 7|
+------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------+
|                      2                                                        2        2   2                         2                                                                                    2 2              2            2                                        2        2 2                        2 2                                        2 2    |
|x x y y y z  - x x y y z  - x x y y y z  - x x y y y z  + 2x x y y y z  - x x y y z  + x y y z  - x x y y y z  + x x y y z  - x x y y y z  + x x y y y z  + 2x x y y y z  - x x y y y z  - x x y y y z  + x y y z  - x x y y z  - x x y y z  - x x y y y z  - x x y y y z  + x x y y z  - x y y z  + 2x x y y y z  - x y y z  + 2x x y y y z  + 2x x y y y z  - x y y z |
| 2 3 2 3 5 5    2 5 2 5 5    2 6 2 5 6 5    3 6 3 5 6 5     4 6 4 5 6 5    5 6 5 6 5    6 5 6 5    3 7 3 5 7 5    5 7 5 7 5    6 7 5 6 7 5    3 4 3 4 6 6     2 5 2 5 6 6    3 5 3 5 6 6    4 5 4 5 6 6    5 5 6 6    4 6 4 6 6    5 6 5 6 6    3 7 3 6 7 6    5 7 5 6 7 6    6 7 6 7 6    3 3 7 7     3 5 3 5 7 7    5 5 7 7     3 6 3 6 7 7     5 6 5 6 7 7    6 6 7 7|
+------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------+
| 2 2                        2   2                                      2   2                                          2            2                                                                       2        2   2                                                                                                 2 2              2            2            2  |
|x y y z  - 2x x y y y z  + x y y z  - 2x x y y y z  - 2x x y y y z  + x y y z  - x x y y y z  + x x y y y z  + x x y y z  - x x y y z  + x x y y y z  - 2x x y y y z  + x x y y y z  + x x y y y z  + x x y y z  - x y y z  - x x y y y z  + x x y y y z  + x x y y y z  + x x y y y z  - 2x x y y y z  + x x y y y z  - x y y z  + x x y y z  - x x y y z  + x x y y z |
| 2 2 5 5     2 6 2 5 6 5    6 5 6 5     2 7 2 5 7 5     6 7 5 6 7 5    7 5 7 5    2 4 2 4 6 6    2 5 2 5 6 6    4 6 4 6 6    5 6 5 6 6    2 7 2 6 7 6     3 7 3 6 7 6    4 7 4 6 7 6    5 7 5 6 7 6    6 7 6 7 6    7 6 7 6    2 3 2 3 7 7    2 5 2 5 7 7    2 6 2 6 7 7    3 6 3 6 7 7     4 6 4 6 7 7    5 6 5 6 7 7    6 6 7 7    3 7 3 7 7    5 7 5 7 7    6 7 6 7 7|
+------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------+
|                2   2                                      2   2                                  2   2                                                     2   2                   2   2                                                                                                                 2   2                                                         |
|x x x y y y  + x x y y  - x x x y y y  - x x x y y y  + x x y y  - x x x y y y  - x x x y y y  + x x y y  - x x x y y y  + x x x y y y  - x x x y y y  + x x y y  - x x x y y y  + x x y y  - x x x y y y  - x x x y y y  - x x x y y y  + x x x y y y  + x x x y y y  - x x x y y y  - x x x y y y  + x x y y                                                          |
| 2 3 4 2 3 4    2 5 2 5    2 3 5 2 3 5    2 4 5 2 4 5    2 5 2 5    2 4 6 2 4 6    3 4 6 3 4 6    4 6 4 6    2 5 6 2 5 6    3 5 6 3 5 6    4 5 6 4 5 6    4 6 4 6    2 3 7 2 3 7    3 7 3 7    3 4 7 3 4 7    2 5 7 2 5 7    3 5 7 3 5 7    4 5 7 4 5 7    2 6 7 2 6 7    3 6 7 3 6 7    4 6 7 4 6 7    3 7 3 7                                                         |
+------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------+