constraint_image.tex

Paper VII: Quantum Seed Calculus

constraint_image.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,>=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}

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: 7014f1c5129efc4211c24c793d9ef76b06a3b6f6316348cf69566bebcc2b4135

Original source on GitHub

Back to Paper VII: Quantum Seed Calculus