-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy pathframe-wta-2.tex
115 lines (114 loc) · 3.52 KB
/
frame-wta-2.tex
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
% SPDX-License-Identifier: CC-BY-4.0
% Copyright 2018 Toni Dietze
\begin{columns}[T]
\column{0.5\linewidth}
\begin{overprint}
\onslide<1->
\newcommand{\tikzremember}[2]{\tikz[remember picture, baseline=(#1.base)]{\node[inner sep=0.1em] (#1) {#2};}}
\begin{align*}
P_1 & = (G_1, ι_1, δ_1)
\end{align*}
\begin{align*}
ι_1\colon
\mhl<2->[fill=HKS44K10]{\nt{S}} & ↦ \tikzremember{c1}{\(1\)} / 2
\\ \mhl<2->[fill=HKS44K10]{\nt{C}} & ↦ \tikzremember{c2}{\(1\)} / 2
\end{align*}
\begin{alignat*}{2}
δ_1\colon
\mhl<2->[fill=HKS44K10]{\nt{S}} & → σ(\mhl<2->[fill=HKS07K10]{\nt{A}}, \mhl<2->[fill=HKS44K10]{\nt{C}})
&& ↦ \tikzremember{c3}{\(1\)}/1
\\
\mhl<2->[fill=HKS44K10]{\nt{C}} & → σ(\mhl<2->[fill=HKS07K10]{\nt{B}}, \mhl<2->[fill=HKS44K10]{\nt{C}})
&& ↦ \tikzremember{c4}{\(1\)}/3
\\
\mhl<2->[fill=HKS44K10]{\nt{C}} & → σ(\mhl<2->[fill=HKS07K10]{\nt{B}}, \mhl<2->[fill=HKS07K10]{\nt{B}})
&& ↦ 2/3
\\
\mhl<2->[fill=HKS07K10]{\nt{A}} & → α
&& ↦ 1/1
\\
\mhl<2->[fill=HKS07K10]{\nt{B}} & → β
&& ↦ 5/5
\end{alignat*}
\only<2->{%
\begin{tikzpicture}
[ overlay
, remember picture
, every node/.style={rounded corners, fill=HKS65K60, inner sep=0, blend mode=multiply}
]
\node[fit=(c1) (c2)] {};
\node[fit=(c3) (c4)] {};
\end{tikzpicture}
}%
\end{overprint}
\column{0.5\linewidth}
\begin{overprint}
\onslide<1>
\begin{center}
\begin{tikzpicture}[anchor=base, level distance=3em]
\node (t) {}
child { node {\(σ\)}
child { node {\(α\)}
edge from parent node[left] {\(\nt{A}\)}
}
child { node {\(σ\)}
child { node {\(β\)}
edge from parent node[left] {\(\nt{B}\)}
}
child { node {\(σ\)}
child { node {\(β\)}
edge from parent node[left] {\(\nt{B}\)}
}
child { node {\(β\)}
edge from parent node[right] {\(\nt{B}\)}
}
edge from parent node[right] {\(\nt{C}\)}
}
edge from parent node[right] {\(\nt{C}\)}
}
edge from parent node[right] {\(\nt{S}\)}
edge from parent [draw=none]
};
\node[left=1em of t-1] {\(t_1\colon\)};
%\node[right=1em of t-1] {\({} \mapsto 1\)};
\end{tikzpicture}
\begin{tikzpicture}[anchor=base, level distance=3em]
\node (t) {}
child { node {\(σ\)}
child { node {\(β\)}
edge from parent node[left] {\(\nt{B}\)}
}
child { node {\(β\)}
edge from parent node[right] {\(\nt{B}\)}
}
edge from parent node[right] {\(\nt{C}\)}
edge from parent [draw=none]
};
\node[left=1em of t-1] {\(t_2\colon\)};
%\node[right=1em of t-1] {\({} \mapsto 1\)};
\end{tikzpicture}
\end{center}
\onslide<2->
\begin{align*}
P_3 & = (G_3, ι_3, δ_3)
\end{align*}
\begin{align*}
ι_3\colon
\mhl<2->[fill=HKS44K10]{\nt{S}} & ↦ 2 / 2
\\ \phantom{\mhl<1>{\nt{C}}}
\end{align*}
\begin{alignat*}{2}
δ_3\colon
\mhl<2->[fill=HKS44K10]{\nt{S}} & → σ(\mhl[fill=HKS07K10]<2->{\nt{A}}, \mhl<2->[fill=HKS44K10]{\nt{S}}) && ↦ 2/4
\\ \phantom{\mhl<1>{\nt{C}}}
\\ \mhl<2->[fill=HKS44K10]{\nt{S}} & → σ(\mhl[fill=HKS07K10]<2->{\nt{A}}, \mhl<2->[fill=HKS07K10]{\nt{A}}) && ↦ 2/4
\\ \mhl<2->[fill=HKS07K10]{\nt{A}} & → α && ↦ 1/6
\\ \mhl<2->[fill=HKS07K10]{\nt{A}} & → β && ↦ 5/6
\end{alignat*}
\end{overprint}
\end{columns}%
\only<2->{%
\tikz[overlay, shift=(current page.center), xshift=-1em, yshift=10em]{
\node[single arrow, fill=HKS41K20, align=right] {merge \(\nt{A}\), \(\nt{B}\)\\and \(\nt{S}\), \(\nt{C}\)};
}%
}%