Merge pull request #72 from pie-framework/fix/PD-5052

fix(symbolic-validation): allow matching numbers with leading spaces and trailing zeros PD-5052

Author: CarlaCostea

docs/js/demo.js

@@ -40801,7 +40801,7 @@ const differenceIsTooGreat = (a, b) => {
 const lta = new LatexToAst();
 const atm = new AstToMathJs();
 const latexEqual$1 = (a, b, opts) => {
-  const isNumeric = (str) => /^-?\d+(\.\d+)?$/.test(str);
+  const isNumeric = (str) => /^\s*-?\d+(\.\d+)?\s*$/.test(str);
   if (!a || !b) {
     return false;
   }

src/fixtures/latex-equal/symbolic/symbolic-trailing-zeros-leading-space-PD-5052.ts

@@ -0,0 +1,50 @@
+export default {
+  mode: "symbolic",
+  tests: [
+    // Core validation (leading space + trailing zeros)
+    { target: "1.3", eq: [" 1.30", "1.30", " 1.3", " 1.3000"] },
+    { target: "4.5", eq: [" 4.50", "4.500", " 4.5000"] },
+    { target: "43.0", eq: [" 43.0", "43.00", " 43.0000"] },
+    { target: "8.5", eq: ["8.5", "8.50", " 8.500"] },
+    { target: "0.0", eq: [" 0.0", "0.000", " 0.0000"] },
+    { target: "5.0", eq: [" 5.0", "5.00", " 5.000"] },
+
+    // Digits 1 through 9 as last decimal digit
+    { target: "4.1", eq: [" 4.10", "4.100", " 4.1000"] },
+    { target: "4.2", eq: [" 4.20", "4.200", " 4.2000"] },
+    { target: "4.3", eq: [" 4.30", "4.300", " 4.3000"] },
+    { target: "4.4", eq: [" 4.40", "4.400", " 4.4000"] },
+    { target: "4.6", eq: [" 4.60", "4.600", " 4.6000"] },
+    { target: "4.7", eq: [" 4.70", "4.700", " 4.7000"] },
+    { target: "4.8", eq: [" 4.80", "4.800", " 4.8000"] },
+    { target: "4.9", eq: [" 4.90", "4.900", " 4.9000"] },
+
+    // Leading spaces, trailing zeros, and mixed combinations
+    { target: "8.2", eq: [" 8.2", "8.20", " 8.200", " 8.2000"] },
+    { target: "5.9", eq: [" 5.90", "5.900", " 5.9000"] },
+    { target: "0.004", eq: [" 0.0040", "0.00400", " 0.004000"] },
+    { target: "0.00278", eq: [" 0.002780", "0.0027800"] },
+
+    // Negative values with same rules
+    { target: "-1.3", eq: [" -1.30", "-1.300", " -1.3000"] },
+    { target: "-0.65", eq: [" -0.650", "-0.6500"] },
+    { target: "-43.7", eq: [" -43.70", "-43.700", " -43.7000"] },
+    { target: "-5.4", eq: [" -5.40000", "-5.4000", " -5.40"] },
+
+    // Integer values with decimals + spaces
+    { target: "12", eq: [" 12.0", "12.000", " 12.0000"] },
+    { target: "-8", eq: [" -8.0", "-8.000", " -8.0000"] },
+
+    // Leading zero values
+    { target: "0.05", eq: [" 0.050", "0.0500", " 0.05000"] },
+    { target: "-0.03", eq: [" -0.030", "-0.0300", " -0.03000"] },
+
+    // Mixed padding
+    { target: "100.25", eq: [" 100.250", "100.2500", " 100.25000"] },
+    { target: "-100.25", eq: [" -100.250", "-100.2500", " -100.25000"] },
+
+    // Control cases
+    { target: "3", eq: [" 3.0", "3.00", " 3.000"] },
+    { target: "-3", eq: [" -3.0", "-3.00", " -3.000"] }
+  ]
+};

src/latex-equal.ts

@@ -17,7 +17,7 @@ const lta = new LatexToAst();
 const atm = new AstToMathJs();
 
 export const latexEqual = (a: Latex, b: Latex, opts: Opts) => {
-  const isNumeric = (str: string): boolean => /^-?\d+(\.\d+)?$/.test(str);
+  const isNumeric = (str: string): boolean => /^\s*-?\d+(\.\d+)?\s*$/.test(str);
 
   if (!a || !b) {
     return false;