Get DAG grader tests up and running

Author: SethPoulsen

runestone/parsons/test/_sources/index.rst

@@ -118,34 +118,32 @@ Section 2: Labeling
 Proof Blocks
 ============
 
-.. parsonsprob:: test_parsons_4
-   :language: math
-   :grader: dag
+.. parsonsprob:: test_proof_blocks_1
+  :language: math
+  :grader: dag
 
-   .. raw:: html
+  .. raw:: html
 
-    <embed>   Drag and drop <strong style="color:red;">all</strong> of the blocks below to create a proof by induction of the following statement.
-      Claim: for all natural numbers \(n\),
-      $$
-      \sum_{j=0}^n 2(-7)^j = \frac{1-(-7)^{n+1}}{4}
-      $$
+    <embed>
+          <p>Drag and drop <font color="red"><strong>ALL</strong></font> of the blocks below to create a proof of the following statement.</p>
+        <center><font color="red">If graphs $G$ and $H$ are isomorphic and $G$ is 2-colorable, then $H$ is 2-colorable.</font></center>
     </embed>
 
-   -----
-   Proof by induction on \(n\). #tag:0;depends:;
-   =====
-   Inductive Predicate:  \(P(n): \sum_{j=0}^n 2(-7)^j = \frac{1-(-7)^{n+1}}{4}\) #tag:1;depends:0;
-   =====
-   Base case: At \(n=0\), \(\sum_{j=0}^n 2(-7)^j = 2\) and \(\frac{1-(-7)^{n+1}}{4} = \frac{1-(-7)}{4} = 2\), so the base case, \(P(0)\), holds #tag:2;depends:0,1;
-   =====
-   Inductive Hypothesis: Suppose that \(P(n):\) \(\sum_{j=0}^n 2(-7)^j = \frac{1-(-7)^{n+1}}{4}\) holds for \(n=0,1,...,k\). #tag:3;depends:1;
-   =====
-   Inductive Step: We need to show that \(P(k+1):\) \(\sum_{j=0}^{k+1} 2(-7)^j = \frac{1-(-7)^{k+2}}{4}\)  holds #tag:4;depends:3;
-   =====
-   The left hand side is \(\sum_{j=0}^{k+1} 2(-7)^j = \sum_{j=0}^k 2(-7)^j + 2(-7)^{k+1}\) #tag:5;depends:4;
-   =====
-   By the inductive hypothesis we have \(\sum_{j=0}^k 2(-7)^j = \frac{1-(-7)^{k+1}}{4}\). So then substituting we get \(= \frac{1-(-7)^{k+1}}{4} + 2(-7)^{k+1}\) \(= \frac{1-(-7)^{k+1} + 8(-7)^{k+1}}{4}\) \(= \frac{1+7(-7)^{k+1}}{4}\) which simplifies to \(= \frac{1-(-7)^{k+2}}{4}\) #tag:6;depends:5;
-   =====
-   So \(\sum_{j=0}^{k+1} 2(-7)^j = \frac{1-(-7)^{k+2}}{4}\), which was what we needed to show. #tag:7;depends:6;
-
-
+  -----
+  Assume $G$ and $H$ are isomorphic graphs and $G$ is 2-colorable. #tag:0; depends:;
+  =====
+  Let $c:V(G) \to \{red, blue\}$ be a 2-coloring of $G$. #tag: 1; depends:0;
+  =====
+  Let $f$ be an isomorphism $V(H) \to V(G)$ #tag: 2; depends: 0;
+  =====
+  Define $c':V(H) \to \{red, blue\}$ as $c'(v)=c(f(v))$ #tag:3;depends:1,2;
+  =====
+  Let $\langle u - v \rangle$ be an edge in $H$. (If instead there are no edges in $H$, then $H$ is trivially 2-colorable and we are done.) #tag:4;depends:0;
+  =====
+  $\langle f(u) - f(v) \rangle$ is an edge in $G$ #tag:5;depends:4,2;
+  =====
+  $c(f(u)) \ne c(f(v))$ #tag:6;depends:5,1;
+  =====
+  $c'(u) \ne c'(v)$ #tag:7;depends:6,3;
+  =====
+  $c'$ is a 2-coloring of $H$, so $H$ is 2-colorable. (end of proof) #tag:8;depends:7;

runestone/parsons/test/test_parsons.py

@@ -292,6 +292,71 @@ def test_indentation(selenium_utils_get):
     assert b3.get_attribute("class") == "block indentRight"
 
 
+def test_dag_grader(selenium_utils_get):
+    selenium_utils_get.wait_until_ready("test_proof_blocks_1")
+
+    source = selenium_utils_get.driver.find_element_by_id("parsons-6-source")
+    answer = selenium_utils_get.driver.find_element_by_id("parsons-6-answer")
+    checkme = selenium_utils_get.driver.find_element_by_id("parsons-6-check")
+    reset = selenium_utils_get.driver.find_element_by_id("parsons-6-reset")
+
+    def drag_block(block, before_block):
+        ActionChains(selenium_utils_get.driver).drag_and_drop(
+            source.find_element_by_id("parsons-6-block-" + str(block)),
+            answer.find_element_by_id("parsons-6-block-" + str(before_block))
+        ).perform()
+
+
+    reset.click()
+
+    ActionChains(selenium_utils_get.driver).drag_and_drop(
+        source.find_element_by_id("parsons-6-block-8"), answer
+    ).perform()
+
+    for i in range(8, 0, -1):
+        drag_block(i - 1, i)
+    wait_for_animation(selenium_utils_get, "#parsons-6-block-0")
+    checkme.click()
+    message = selenium_utils_get.driver.find_element_by_id("parsons-6-message")
+    assert message.get_attribute("class") == "alert alert-info"
+
+    reset.click()
+
+    ActionChains(selenium_utils_get.driver).drag_and_drop(
+        source.find_element_by_id("parsons-6-block-3"), answer
+    ).perform()
+    drag_block(7, 3)
+    drag_block(6, 7)
+    drag_block(8, 6)
+    drag_block(4, 8)
+    drag_block(1, 4)
+    drag_block(2, 1)
+    drag_block(0, 2)
+    drag_block(5, 1)
+    wait_for_animation(selenium_utils_get, "#parsons-6-block-5")
+    checkme.click()
+    message = selenium_utils_get.driver.find_element_by_id("parsons-6-message")
+    assert message.get_attribute("class") == "alert alert-danger"
+
+    reset.click()
+
+    ActionChains(selenium_utils_get.driver).drag_and_drop(
+        source.find_element_by_id("parsons-6-block-8"), answer
+    ).perform()
+    drag_block(7, 8)
+    drag_block(6, 7)
+    drag_block(3, 6)
+    drag_block(4, 3)
+    drag_block(1, 4)
+    drag_block(2, 1)
+    drag_block(0, 2)
+    drag_block(5, 3)
+    wait_for_animation(selenium_utils_get, "#parsons-6-block-5")
+    checkme.click()
+    message = selenium_utils_get.driver.find_element_by_id("parsons-6-message")
+    assert message.get_attribute("class") == "alert alert-info"
+
+
 def wait_for_animation(selenium_utils, selector):
     while is_element_animated(selenium_utils, selector):
         time.sleep(0.5)