contract_match.tex

Paper VIII: Packet Operator Algorithms, Exact Compilation, and GPU Realization

contract_match.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,-.6) rectangle (14,4.8);
3 \node[font=\small,align=center,font=\bfseries\small] at (1.1,4.1) {row};
4 \node[font=\small,align=center,font=\bfseries\small] at (3.95,4.1) {output};
5 \node[font=\small,align=center,font=\bfseries\small] at (8.55,4.1) {scope};
6 \node[font=\small,align=center,font=\bfseries\small] at (11.95,4.1) {time};
7 \path[draw=black!30,fill=black!7] (0.45,2.88) rectangle (1.75,3.52);
8 \node[font=\small,align=center,font=\scriptsize] at (1.1,3.2) {A};
9 \path[draw=black!30,fill=black!7] (1.75,2.88) rectangle (6.15,3.52);
10 \node[font=\small,align=center,font=\scriptsize] at (3.95,3.2) {explicit matrix};
11 \path[draw=black!30,fill=black!7] (6.15,2.88) rectangle (10.95,3.52);
12 \node[font=\small,align=center,font=\scriptsize] at (8.55,3.2) {materialization included};
13 \path[draw=black!30,fill=black!7] (10.95,2.88) rectangle (12.95,3.52);
14 \node[font=\small,align=center,font=\scriptsize] at (11.95,3.2) {12};
15 \path[draw=black!30,fill=white] (0.45,2.08) rectangle (1.75,2.72);
16 \node[font=\small,align=center,font=\scriptsize] at (1.1,2.4) {B};
17 \path[draw=black!30,fill=white] (1.75,2.08) rectangle (6.15,2.72);
18 \node[font=\small,align=center,font=\scriptsize] at (3.95,2.4) {low-rank factors};
19 \path[draw=black!30,fill=white] (6.15,2.08) rectangle (10.95,2.72);
20 \node[font=\small,align=center,font=\scriptsize] at (8.55,2.4) {factor product only};
21 \path[draw=black!30,fill=white] (10.95,2.08) rectangle (12.95,2.72);
22 \node[font=\small,align=center,font=\scriptsize] at (11.95,2.4) {2};
23 \path[draw=black!30,fill=black!7] (0.45,1.28) rectangle (1.75,1.92);
24 \node[font=\small,align=center,font=\scriptsize] at (1.1,1.6) {C};
25 \path[draw=black!30,fill=black!7] (1.75,1.28) rectangle (6.15,1.92);
26 \node[font=\small,align=center,font=\scriptsize] at (3.95,1.6) {explicit matrix};
27 \path[draw=black!30,fill=black!7] (6.15,1.28) rectangle (10.95,1.92);
28 \node[font=\small,align=center,font=\scriptsize] at (8.55,1.6) {factor product + decode};
29 \path[draw=black!30,fill=black!7] (10.95,1.28) rectangle (12.95,1.92);
30 \node[font=\small,align=center,font=\scriptsize] at (11.95,1.6) {14};
31 \path[draw=black!30,fill=white] (0.45,0.48) rectangle (1.75,1.12);
32 \node[font=\small,align=center,font=\scriptsize] at (1.1,0.8) {D};
33 \path[draw=black!30,fill=white] (1.75,0.48) rectangle (6.15,1.12);
34 \node[font=\small,align=center,font=\scriptsize] at (3.95,0.8) {explicit matrix};
35 \path[draw=black!30,fill=white] (6.15,0.48) rectangle (10.95,1.12);
36 \node[font=\small,align=center,font=\scriptsize] at (8.55,0.8) {different input precision};
37 \path[draw=black!30,fill=white] (10.95,0.48) rectangle (12.95,1.12);
38 \node[font=\small,align=center,font=\scriptsize] at (11.95,0.8) {1};
39 \node[font=\small,align=center,font=\scriptsize] at (7,-0.1) {Synthetic times: A versus C is contract-aligned. A versus B is not a sixfold speedup.};
40 \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: 48ce14e39e95ce8ab1678be786e81518966085dffd98b9fcd347a36abddcbf81

Original source on GitHub

Back to Paper VIII: Packet Operator Algorithms, Exact Compilation, and GPU Realization