bug fix

imldresden · Jan 23, 2025 · 3dd33ee · 3dd33ee
1 parent 9c904bb
commit 3dd33ee
Show file tree

Hide file tree

Showing 4 changed files with 7 additions and 5 deletions.
diff --git a/frontend/public/js/main/main.js b/frontend/public/js/main/main.js
@@ -41,7 +41,7 @@ window.onload = function () {
 
         project.innerHTML = proj;
         project.onclick = () => {
-          window.location.replace("/?id=" + proj);
+          window.location.replace("/proof?id=" + proj); // TODO only for study, remove `proof`
         }
 
         projects.appendChild(project);

diff --git a/frontend/public/js/proof/proof.js b/frontend/public/js/proof/proof.js
@@ -66,7 +66,7 @@ const conf = {
     const file = path ? path : "../data/" + getSessionId() + "/" + getFileName();
 
     const url = new URL(window.location.toLocaleString()).searchParams;
-    if (url.get("cond") === "sp") {
+    if (url.get("cond") === "sp") { // TODO remove this, and extra extract-examples in package.json
       proof.showSubProofs = true;
       proof.showPopover = false;
     }

diff --git a/frontend/public/js/proof/rules/cd/linear/linear.js b/frontend/public/js/proof/rules/cd/linear/linear.js
@@ -294,8 +294,9 @@ function visualizeUniqueSolution(plot, _data) {
                 const v = Fraction(row[row.length - 1]).sub(Fraction(constantTerm)).div(Fraction(independentTerm));
                 // f(v) === f(solutions[independentIndex]), could use either
                 annotations.push({ x: eval(f(v)), color });
+                const ind = annotations.length-1
                 hl[id] = { 
-                    svg: () => document.querySelectorAll(`#${plot} .annotations path`)[annotations.length-1], 
+                    svg: () => document.querySelectorAll(`#${plot} .annotations path`)[ind], 
                     evaluate: point => 
                         Fraction(v).gt(Fraction(point.x - eval_tolerance)) && 
                         Fraction(v).lt(Fraction(point.x + eval_tolerance)),
@@ -533,8 +534,9 @@ function visualizeEquations(plot, _data, annotate = true) {
 
                 const v = Fraction(constantTerm).sub(Fraction(replacedSum)).div(Fraction(independentCoef));
                 annotations.push({ x: eval(f(v)), text: `${x.varName} = ${f(v)}`, color });
+                const ind = annotations.length-1;
                 hl[id] = { 
-                    svg: () => document.querySelectorAll(`#${plot} .annotations path`)[annotations.length-1], 
+                    svg: () => document.querySelectorAll(`#${plot} .annotations path`)[ind], 
                     evaluate: point => 
                         Fraction(v).gt(Fraction(point.x - eval_tolerance)) && 
                         Fraction(v).lt(Fraction(point.x + eval_tolerance)),

diff --git a/frontend/public/js/utils/session-id.js b/frontend/public/js/utils/session-id.js
@@ -11,7 +11,7 @@ async function loadExample(name, id) {
   console.log(response)
   console.log(response.ok)
   if (response.ok) {
-    window.location.href = "/proof?id=" + id;
+    window.location.href = "/proof?id=" + id; // TODO remove `proof`
   } else {
     document.getElementById("generating-example").innerHTML = "Something went wrong. Please reload this page and try again. If the problem persists, feel free to contact the authors";
   }