Improve index propagation graph.

diff --git a/images-dot/index_propagation_dag.dot b/images-dot/index_propagation_dag.dot
index c33946998ddfee8278ccf6cad60ca94f3430cb87..38e3c06a9b1f312b8cedb87d71e22fe4cea61451 100644 (file)
--- a/images-dot/index_propagation_dag.dot
+++ b/images-dot/index_propagation_dag.dot
@@ -1,22 +1,27 @@
 digraph discrete_expression_dag
 {
-  size="6x9";
-  ratio="compress";
+  size="9x6";
+  ratio="fill";
 
   // Expression DAG
-  node[shape=box, style=filled, texmode="raw", height=0.3,
+  node[shape=box, style=filled, texmode="raw", height=0.5,
     style="thick,draw=blue!75,fill=blue!20,rounded corners=1pt"
   ];
 
+  "=";
+  "T[alpha,beta]";
   "multiply" [label="$\times$"];
   "dot" [label="$\\begin{matrix} \\cdot \\\\ \\{x_b=x''_k, y_b=y''_k, z_b=z''_k\\} \\end{matrix}$", height=1.0];
+  "=" [label="$\\begin{matrix} = \\\\ \\{row=func_b, col=func_k\\} \\end{matrix}$", height=1.0];
 
   edge[texmode="raw"];
-  "dot" -> "bra[alpha]" [label="$\\{func_b,x_b,y_b,z_b\\}$"];
-  "fft" -> "ket[beta]" [label="$\\{func_k,x_k,y_k,z_k\\}$"];
-  "laplacian" -> "fft" [label="$\\{func_k,x'_k,y'_k,z'_k\\}$"];
-  "ifft" -> "laplacian" [label="$\\{func_k,x'_k,y'_k,z'_k\\}$"];
-  "dot" -> "ifft" [label="$\\{func_k,x''_k,y''_k,z''_k\\}$"];
+  "=" -> "T[alpha,beta]" [label="$\\{row,col\\}$"];
+  "=" -> "multiply" [label="$\\{func_b,func_k\\}$"];
   "multiply" -> "dot" [label="$\\{func_b,func_k\\}$"];
   "multiply" -> "-0.5" [label="$\\emptyset$"];
+  "dot" -> "bra[alpha]" [label="$\\{func_b,x_b,y_b,z_b\\}$"];
+  "dot" -> "ifft" [label="$\\{func_k,x''_k,y''_k,z''_k\\}$"];
+  "ifft" -> "laplacian" [label="$\\{func_k,x'_k,y'_k,z'_k\\}$"];
+  "laplacian" -> "fft" [label="$\\{func_k,x'_k,y'_k,z'_k\\}$"];
+  "fft" -> "ket[beta]" [label="$\\{func_k,x_k,y_k,z_k\\}$"];
 }

diff --git a/presentation.tex b/presentation.tex
index c61195d23aaccfca043487c3a8d2222c5aca53bc..17d3492a33f69fbd2e6b7e0e10d7dcd9b36fcd1a 100644 (file)
--- a/presentation.tex
+++ b/presentation.tex
@@ -259,8 +259,9 @@ Permutation & $T_{perm} = (I \succ I') \cup (I' \succ I)$ \\
 We developed an code generator in Scala that attempted to reason
 abstractly about the indices involved in the computation.
 
+\vspace{0.5em}
 \centering
-\resizebox{!}{0.5\textheight}{
+\resizebox{!}{0.7\textheight}{
 \begin{tikzpicture}[scale=0.5, minimum size=2em, thick]
 \input{images-dot/index_propagation_dag}
 \end{tikzpicture}