quotient_heads.tex
Paper I: Typed Operator Systems, Seed Rank, and Exact Packet Coordinates
quotient_heads.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.8500,-0.8500);
4 \node[text=white,font=\scriptsize] at (0.4250,-0.4250) {$1$};
5 \filldraw[fill=black!5,draw=white,line width=.8pt] (0.8500,0.0000) rectangle ++(0.8500,-0.8500);
6 \node[text=black!45,font=\scriptsize] at (1.2750,-0.4250) {$0$};
7 \filldraw[fill=black!5,draw=white,line width=.8pt] (1.7000,0.0000) rectangle ++(0.8500,-0.8500);
8 \node[text=black!45,font=\scriptsize] at (2.1250,-0.4250) {$0$};
9 \filldraw[fill=black!5,draw=white,line width=.8pt] (2.5500,0.0000) rectangle ++(0.8500,-0.8500);
10 \node[text=black!45,font=\scriptsize] at (2.9750,-0.4250) {$0$};
11 \filldraw[fill=black!5,draw=white,line width=.8pt] (3.4000,0.0000) rectangle ++(0.8500,-0.8500);
12 \node[text=black!45,font=\scriptsize] at (3.8250,-0.4250) {$0$};
13 \filldraw[fill=black!5,draw=white,line width=.8pt] (4.2500,0.0000) rectangle ++(0.8500,-0.8500);
14 \node[text=black!45,font=\scriptsize] at (4.6750,-0.4250) {$0$};
15 \filldraw[fill=black!5,draw=white,line width=.8pt] (0.0000,-0.8500) rectangle ++(0.8500,-0.8500);
16 \node[text=black!45,font=\scriptsize] at (0.4250,-1.2750) {$0$};
17 \filldraw[fill=black!5,draw=white,line width=.8pt] (0.8500,-0.8500) rectangle ++(0.8500,-0.8500);
18 \node[text=black!45,font=\scriptsize] at (1.2750,-1.2750) {$0$};
19 \filldraw[fill=black!5,draw=white,line width=.8pt] (1.7000,-0.8500) rectangle ++(0.8500,-0.8500);
20 \node[text=black!45,font=\scriptsize] at (2.1250,-1.2750) {$0$};
21 \filldraw[fill=black!78,draw=white,line width=.8pt] (2.5500,-0.8500) rectangle ++(0.8500,-0.8500);
22 \node[text=white,font=\scriptsize] at (2.9750,-1.2750) {$1$};
23 \filldraw[fill=black!5,draw=white,line width=.8pt] (3.4000,-0.8500) rectangle ++(0.8500,-0.8500);
24 \node[text=black!45,font=\scriptsize] at (3.8250,-1.2750) {$0$};
25 \filldraw[fill=black!5,draw=white,line width=.8pt] (4.2500,-0.8500) rectangle ++(0.8500,-0.8500);
26 \node[text=black!45,font=\scriptsize] at (4.6750,-1.2750) {$0$};
27 \draw[black!60,line width=.5pt] (0,0) rectangle ++(5.1,-1.7);
28 \node[font=\sffamily\bfseries\small] at (2.5500,0.4800) {The quotient keeps only the two chain heads};
29 \node[font=\scriptsize] at (0.4250,0.1900) {$e_0$};
30 \node[font=\scriptsize] at (1.2750,0.1900) {$e_1$};
31 \node[font=\scriptsize] at (2.1250,0.1900) {$e_2$};
32 \node[font=\scriptsize] at (2.9750,0.1900) {$f_0$};
33 \node[font=\scriptsize] at (3.8250,0.1900) {$f_1$};
34 \node[font=\scriptsize] at (4.6750,0.1900) {$f_2$};
35 \node[] at (2.5500,-2.1800) {$q(a_0,a_1,a_2,b_0,b_1,b_2)=(a_0,b_0)$};
36 \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: fb559b0aed711dc0fa9819369e24022662b78c25e9f093bb942c828fc9e3f8b5
Back to Paper I: Typed Operator Systems, Seed Rank, and Exact Packet Coordinates