From 2f068fc629ebca2ae802fbf64f1814782280a2c1 Mon Sep 17 00:00:00 2001
From: henz <henz@comp.nus.edu.sg>
Date: Mon, 1 Jul 2024 14:24:53 +0800
Subject: [PATCH] fixes #837

---
 xml/chapter3/section3/subsection5.xml | 47 +++++++++++++++++++++++++++
 1 file changed, 47 insertions(+)

diff --git a/xml/chapter3/section3/subsection5.xml b/xml/chapter3/section3/subsection5.xml
index ab5b57998..c20841f95 100755
--- a/xml/chapter3/section3/subsection5.xml
+++ b/xml/chapter3/section3/subsection5.xml
@@ -1561,6 +1561,53 @@ const answer = v_prod(v_sum("a", "b"), v_sum("c", "d"));
     expression-oriented style in terms of the imperative implementation,
     it is very difficult to do the converse.</FOOTNOTE>
     <LABEL NAME="ex:3_37"/>
+    <SOLUTION>
+      <SNIPPET>
+	<REQUIRES>make_connector</REQUIRES>
+	<REQUIRES>has_value</REQUIRES>
+	<REQUIRES>for_each_except</REQUIRES>
+	<REQUIRES>inform_about_value</REQUIRES>
+	<REQUIRES>multiplier_2</REQUIRES>
+	<REQUIRES>adder</REQUIRES>
+	<REQUIRES>constant</REQUIRES>
+	<JAVASCRIPT>
+// Solution provided by GitHub user clean99
+
+function cminus(x, y) {
+    const z = make_connector();
+    const u = make_connector();
+    const v = make_connector();
+    constant(-1, u);
+    multiplier(u, y, v);
+    adder(x, v, z);
+    return z;
+}
+
+function cmul(x, y) {
+    const z = make_connector();
+    multiplier(x, y, z);
+    return z;
+}
+
+function cdiv(x, y) {
+    const z = make_connector();
+    const u = make_connector();
+    const v = make_connector();
+    constant(1, v);
+    // y * u = 1 -> u = 1 / y
+    multiplier(y, u, v);
+    multiplier(x, u, z);
+    return z;
+}
+
+function cv(val) {
+    const x = make_connector();
+    constant(val, x);
+    return x;
+}
+	</JAVASCRIPT>
+      </SNIPPET>
+    </SOLUTION>
   </EXERCISE>
 
   <INDEX>propagation of constraints<CLOSE/></INDEX>