# HG changeset patch
# User Eugen Sawin <sawine@me73.com>
# Date 1338747236 -7200
# Node ID 60edc408c19eecae52397c028f0e7faea90b0946
# Parent  359c996c91a2d37ec68d320df0c018ad856e8182
Minor fix.

diff -r 359c996c91a2 -r 60edc408c19e exercises/solutions/sol04.tex
--- a/exercises/solutions/sol04.tex	Fri Jun 01 00:00:25 2012 +0200
+++ b/exercises/solutions/sol04.tex	Sun Jun 03 20:13:56 2012 +0200
@@ -38,9 +38,9 @@
     &coffee,tea,milk,juice,water\\
     &oldgold,kools,chesterfield,lucky,parliament)\\
   D=&(D_v)_{v\in V}\text{ where } D_v=\left\{\begin{array}{l l}
-                                               \{1\} & v = norwegian\\
-                                               \{3\} & v = milk\\
-                                   \{1, 2, 3, 4, 5\} & otherwise\\
+                                               \{1\}, & \text{if }v = norwegian\\
+                                               \{3\}, & \text{if }v = milk\\
+                                   \{1, 2, 3, 4, 5\}, & \text{otherwise}\\
                                              \end{array} \right.\\
   R_{eq}=&\{(a,a)\mid a\in \N\}\\
   R_{next}=&\{(a,b)\mid a,b\in\N, |a-b| = 1\}\\
@@ -154,18 +154,18 @@
 \begin{align*}
   D'_{v}=\left\{
     \begin{array}{l l}
-      \{1\} & v = norwegian\\
-      \{3\} & v = milk\\
-      \{2\} & v = blue\\
-      \{3,4\} & v = ivory\\
-      \{4,5\} & v \in \{coffee,green\}\\
-      \{2,3,4\} & v = horse\\
-      \{3,4,5\} & v \in \{english,red\}\\
-      \{2,4,5\} & v \in \{ukrainian,tea\}\\
-      \{2,3,4,5\} & v \in \{spanish,japanese,dog,parliament\}\\
-      \{1,2,4,5\} & v \in \{juice,water,lucky\}\\
-      \{1,3,4,5\} & v \in \{yellow,kool\}\\
-      \{1, 2, 3, 4, 5\} & otherwise\\
+      \{1\}, & \text{if }v = norwegian\\
+      \{3\}, & \text{if }v = milk\\
+      \{2\}, & \text{if }v = blue\\
+    \{3,4\}, & \text{if }v = ivory\\
+    \{4,5\}, & \text{if }v \in \{coffee,green\}\\
+  \{2,3,4\}, & \text{if }v = horse\\
+  \{3,4,5\}, & \text{if }v \in \{english,red\}\\
+  \{2,4,5\}, & \text{if }v \in \{ukrainian,tea\}\\
+\{2,3,4,5\}, & \text{if }v \in \{spanish,japanese,dog,parliament\}\\
+\{1,2,4,5\}, & \text{if }v \in \{juice,water,lucky\}\\
+\{1,3,4,5\}, & \text{if }v \in \{yellow,kool\}\\
+\{1, 2, 3, 4, 5\}, & \text{otherwise}\\
     \end{array} \right.\\
 \end{align*}
 That makes 32 domain values less. I've spent an hour and this, where my solver spent 1.5ms on this task. I'm glad we have the power to build machines for doing such tedious work instead of doing it by hand.