support_closure.tex
Paper I: Typed Operator Systems, Seed Rank, and Exact Packet Coordinates
support_closure.tex
This is the original TeX manuscript source. Use the paper’s PDF for typeset equations.
1 \begin{tikzpicture}[x=1cm,y=1cm,>=Latex,
2 every node/.style={font=\sffamily\small},line cap=round,line join=round]
3 \filldraw[fill=black!78,draw=white,line width=.8pt] (0.0000,0.0000) rectangle ++(0.7000,-0.7000);
4 \node[text=white,font=\scriptsize] at (0.3500,-0.3500) {$1$};
5 \filldraw[fill=black!5,draw=white,line width=.8pt] (0.7000,0.0000) rectangle ++(0.7000,-0.7000);
6 \node[text=black!45,font=\scriptsize] at (1.0500,-0.3500) {$0$};
7 \filldraw[fill=black!5,draw=white,line width=.8pt] (1.4000,0.0000) rectangle ++(0.7000,-0.7000);
8 \node[text=black!45,font=\scriptsize] at (1.7500,-0.3500) {$0$};
9 \filldraw[fill=black!78,draw=white,line width=.8pt] (0.0000,-0.7000) rectangle ++(0.7000,-0.7000);
10 \node[text=white,font=\scriptsize] at (0.3500,-1.0500) {$1$};
11 \filldraw[fill=black!78,draw=white,line width=.8pt] (0.7000,-0.7000) rectangle ++(0.7000,-0.7000);
12 \node[text=white,font=\scriptsize] at (1.0500,-1.0500) {$1$};
13 \filldraw[fill=black!5,draw=white,line width=.8pt] (1.4000,-0.7000) rectangle ++(0.7000,-0.7000);
14 \node[text=black!45,font=\scriptsize] at (1.7500,-1.0500) {$0$};
15 \filldraw[fill=black!5,draw=white,line width=.8pt] (0.0000,-1.4000) rectangle ++(0.7000,-0.7000);
16 \node[text=black!45,font=\scriptsize] at (0.3500,-1.7500) {$0$};
17 \filldraw[fill=black!78,draw=white,line width=.8pt] (0.7000,-1.4000) rectangle ++(0.7000,-0.7000);
18 \node[text=white,font=\scriptsize] at (1.0500,-1.7500) {$1$};
19 \filldraw[fill=black!78,draw=white,line width=.8pt] (1.4000,-1.4000) rectangle ++(0.7000,-0.7000);
20 \node[text=white,font=\scriptsize] at (1.7500,-1.7500) {$1$};
21 \draw[black!60,line width=.5pt] (0,0) rectangle ++(2.0999999999999996,-2.0999999999999996);
22 \node[font=\sffamily\bfseries\small] at (1.0500,0.4800) {Allowed support};
23 \filldraw[fill=black!5,draw=white,line width=.8pt] (3.7000,0.0000) rectangle ++(0.7000,-0.7000);
24 \node[text=black!45,font=\scriptsize] at (4.0500,-0.3500) {$0$};
25 \filldraw[fill=black!5,draw=white,line width=.8pt] (4.4000,0.0000) rectangle ++(0.7000,-0.7000);
26 \node[text=black!45,font=\scriptsize] at (4.7500,-0.3500) {$0$};
27 \filldraw[fill=black!5,draw=white,line width=.8pt] (5.1000,0.0000) rectangle ++(0.7000,-0.7000);
28 \node[text=black!45,font=\scriptsize] at (5.4500,-0.3500) {$0$};
29 \filldraw[fill=black!5,draw=white,line width=.8pt] (3.7000,-0.7000) rectangle ++(0.7000,-0.7000);
30 \node[text=black!45,font=\scriptsize] at (4.0500,-1.0500) {$0$};
31 \filldraw[fill=black!5,draw=white,line width=.8pt] (4.4000,-0.7000) rectangle ++(0.7000,-0.7000);
32 \node[text=black!45,font=\scriptsize] at (4.7500,-1.0500) {$0$};
33 \filldraw[fill=black!5,draw=white,line width=.8pt] (5.1000,-0.7000) rectangle ++(0.7000,-0.7000);
34 \node[text=black!45,font=\scriptsize] at (5.4500,-1.0500) {$0$};
35 \filldraw[fill=black!78,draw=white,line width=.8pt] (3.7000,-1.4000) rectangle ++(0.7000,-0.7000);
36 \node[text=white,font=\scriptsize] at (4.0500,-1.7500) {$1$};
37 \filldraw[fill=black!5,draw=white,line width=.8pt] (4.4000,-1.4000) rectangle ++(0.7000,-0.7000);
38 \node[text=black!45,font=\scriptsize] at (4.7500,-1.7500) {$0$};
39 \filldraw[fill=black!5,draw=white,line width=.8pt] (5.1000,-1.4000) rectangle ++(0.7000,-0.7000);
40 \node[text=black!45,font=\scriptsize] at (5.4500,-1.7500) {$0$};
41 \draw[black!60,line width=.5pt] (3.7,0) rectangle ++(2.0999999999999996,-2.0999999999999996);
42 \node[font=\sffamily\bfseries\small] at (4.7500,0.4800) {$E_{32}E_{21}$};
43 \filldraw[fill=black!78,draw=white,line width=.8pt] (7.4000,0.0000) rectangle ++(0.7000,-0.7000);
44 \node[text=white,font=\scriptsize] at (7.7500,-0.3500) {$1$};
45 \filldraw[fill=black!5,draw=white,line width=.8pt] (8.1000,0.0000) rectangle ++(0.7000,-0.7000);
46 \node[text=black!45,font=\scriptsize] at (8.4500,-0.3500) {$0$};
47 \filldraw[fill=black!5,draw=white,line width=.8pt] (8.8000,0.0000) rectangle ++(0.7000,-0.7000);
48 \node[text=black!45,font=\scriptsize] at (9.1500,-0.3500) {$0$};
49 \filldraw[fill=black!78,draw=white,line width=.8pt] (7.4000,-0.7000) rectangle ++(0.7000,-0.7000);
50 \node[text=white,font=\scriptsize] at (7.7500,-1.0500) {$1$};
51 \filldraw[fill=black!78,draw=white,line width=.8pt] (8.1000,-0.7000) rectangle ++(0.7000,-0.7000);
52 \node[text=white,font=\scriptsize] at (8.4500,-1.0500) {$1$};
53 \filldraw[fill=black!5,draw=white,line width=.8pt] (8.8000,-0.7000) rectangle ++(0.7000,-0.7000);
54 \node[text=black!45,font=\scriptsize] at (9.1500,-1.0500) {$0$};
55 \filldraw[fill=black!78,draw=white,line width=.8pt] (7.4000,-1.4000) rectangle ++(0.7000,-0.7000);
56 \node[text=white,font=\scriptsize] at (7.7500,-1.7500) {$1$};
57 \filldraw[fill=black!78,draw=white,line width=.8pt] (8.1000,-1.4000) rectangle ++(0.7000,-0.7000);
58 \node[text=white,font=\scriptsize] at (8.4500,-1.7500) {$1$};
59 \filldraw[fill=black!78,draw=white,line width=.8pt] (8.8000,-1.4000) rectangle ++(0.7000,-0.7000);
60 \node[text=white,font=\scriptsize] at (9.1500,-1.7500) {$1$};
61 \draw[black!60,line width=.5pt] (7.4,0) rectangle ++(2.0999999999999996,-2.0999999999999996);
62 \node[font=\sffamily\bfseries\small] at (8.4500,0.4800) {Transitive closure};
63 \node[] at (1.0500,-2.6000) {missing $(3,1)$};
64 \node[] at (4.7500,-2.6000) {outside the pattern};
65 \node[] at (8.4500,-2.6000) {closed under products};
66 \end{tikzpicture}
Other PDFs for this work
Original file and source record
This copy matches the recorded source file. Its publication here does not change the work’s review status.
SHA-256: c07e1cda7ec78d75f3985e73d0d842a5f18030a3565703bdd0298e0d61b04f15
Back to Paper I: Typed Operator Systems, Seed Rank, and Exact Packet Coordinates