support_closure.tex

Paper I: Typed Operator Systems, Seed Rank, and Exact Packet Coordinates

support_closure.tex

Download original file

This is the original TeX manuscript source. Use the paper’s PDF for typeset equations.

Read the typeset paper

Skip source text

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}

Back to source controls

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

Original source on GitHub

Back to Paper I: Typed Operator Systems, Seed Rank, and Exact Packet Coordinates