Commit 29dc2d36 authored by Michael Kohlhase's avatar Michael Kohlhase

typo and commenting out tikz

parent deec408b
......@@ -5,51 +5,51 @@
\begin{itemize}
\item has the \defii{diamond}{property} (or is
\defii[diamond-property]{strongly}{confluent}), iff for every $\minset{a,b,c}A$ with
$\arsRconv{R}ab$ $\arsRconv{R}ac$ there is a $\inset{d}A$ with $\arsRconv{R}bd$ and
$\arsRconv{R}cd$.
$\arsRconv{R}ab$ and $\arsRconv{R}ac$ there is a $\inset{d}A$ with $\arsRconv{R}bd$
and $\arsRconv{R}cd$.
\item is \defi{confluent}, iff for every $\minset{a,b,c}A$ with $\arsRconvtr{R}ab$
$\arsRconvtr{R}ac$ there is a $\inset{d}A$ with $\arsRconvtr{R}bd$ and
$\arsRconvtr{R}cd$.
\item \defii{weakly}{confluent} iff for every $\minset{a,b,c}A$ with $\arsRconv{R}ab$
$\arsRconv{R}ac$ there is a $\inset{d}A$ with $\arsRconvtr{R}bd$ and
$\arsRconvtr{R}cd$.
\end{itemize}
\begin{center}
\begin{tabular}{ccc}
diamond & confluent & weakly\\
property & & confluent\\
\begin{tikzpicture}[yscale=.7,xscale=.7]
\node (a) at (1,2) {a};
\node (b) at (0,1) {b};
\node (c) at (2,1) {c};
\node (d) at (1,0) {d};
\draw[->] (a) -- (b);
\draw[->] (a) -- (c);
\draw[->] (b) -- (d);
\draw[->] (c) -- (d);
\end{tikzpicture} &
\begin{tikzpicture}[yscale=.7,xscale=.7]
\node (a) at (1,2) {a};
\node (b) at (0,1) {b};
\node (c) at (2,1) {c};
\node (d) at (1,0) {d};
\draw[->] (a) -- node [left,near end] {*} (b);
\draw[->] (a) -- node [right,near end] {*} (c);
\draw[->] (b) -- node [left,at end] {*} (d);
\draw[->] (c) -- node [right,at end] {*} (d);
\end{tikzpicture} &
\begin{tikzpicture}[yscale=.7,xscale=.7]
\node (a) at (1,2) {a};
\node (b) at (0,1) {b};
\node (c) at (2,1) {c};
\node (d) at (1,0) {d};
\draw[->] (a) -- (b);
\draw[->] (a) -- (c);
\draw[->] (b) -- node [left,at end] {*} (d);
\draw[->] (c) -- node [right,at end] {*} (d);
\end{tikzpicture}
\end{tabular}
\end{center}
\end{itemize}\ednote{MK: some tikz commented out}
% \begin{center}
% \begin{tabular}{ccc}
% diamond & confluent & weakly\\
% property & & confluent\\
% \begin{tikzpicture}[yscale=.7,xscale=.7]
% \node (a) at (1,2) {a};
% \node (b) at (0,1) {b};
% \node (c) at (2,1) {c};
% \node (d) at (1,0) {d};
% \draw[->] (a) -- (b);
% \draw[->] (a) -- (c);
% \draw[->] (b) -- (d);
% \draw[->] (c) -- (d);
% \end{tikzpicture} &
% \begin{tikzpicture}[yscale=.7,xscale=.7]
% \node (a) at (1,2) {a};
% \node (b) at (0,1) {b};
% \node (c) at (2,1) {c};
% \node (d) at (1,0) {d};
% \draw[->] (a) -- node [left,near end] {*} (b);
% \draw[->] (a) -- node [right,near end] {*} (c);
% \draw[->] (b) -- node [left,at end] {*} (d);
% \draw[->] (c) -- node [right,at end] {*} (d);
% \end{tikzpicture} &
% \begin{tikzpicture}[yscale=.7,xscale=.7]
% \node (a) at (1,2) {a};
% \node (b) at (0,1) {b};
% \node (c) at (2,1) {c};
% \node (d) at (1,0) {d};
% \draw[->] (a) -- (b);
% \draw[->] (a) -- (c);
% \draw[->] (b) -- node [left,at end] {*} (d);
% \draw[->] (c) -- node [right,at end] {*} (d);
% \end{tikzpicture}
% \end{tabular}
% \end{center}
\end{definition}
\end{mhmodnl}
%%% Local Variables:
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment