constraint_image.tex
Paper VII: Quantum Seed Calculus
constraint_image.tex
This is the original TeX manuscript source. Use the paper’s PDF for typeset equations.
1 \begin{tikzpicture}[x=1cm,y=1cm,>=Stealth,line cap=round,line join=round]
2 \path[use as bounding box] (0,-.15) rectangle (12.5,3.3);
3
4 \draw[fill=black!8] (1,0.6) rectangle (5,2.8);\node[align=center] at (3,1.7) {coarse $\CC^3$\\$0\oplus\sigma_a$};
5 \draw[fill=black!8] (7,0.6) rectangle (10.8,2.8);\draw[fill=black!25] (10.8,0.6) rectangle (12,2.8);
6 \draw[->] (5.2,1.7)--(6.8,1.7);\node[above] at (6,1.7) {$R$};
7 \node[align=center] at (8.9,1.7) {embedded image\\same constraints};\node[rotate=90,font=\footnotesize] at (11.4,1.7) {new coordinate};
8 \node[font=\small] at (6,0.15) {closure on $\operatorname{im}R$ transfers, and the new complement needs its own test};
9 \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: 7014f1c5129efc4211c24c793d9ef76b06a3b6f6316348cf69566bebcc2b4135