@stevenvo780/st-lang 4.1.0 → 4.3.0

package/dist/tests/symbolic-diff/symbolic-diff.test.js

@@ -0,0 +1,278 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+const vitest_1 = require("vitest");
+const symbolic_diff_1 = require("../../runtime/symbolic-diff");
+/**
+ * Verificación numérica de la derivada: compara differentiate(f,x) con
+ * un cociente diferencial centrado en varios puntos.
+ */
+function numericDerivative(expr, varName, x0, env = {}) {
+    const h = 1e-6;
+    const envPlus = { ...env, [varName]: x0 + h };
+    const envMinus = { ...env, [varName]: x0 - h };
+    return ((0, symbolic_diff_1.evaluate)(expr, envPlus) - (0, symbolic_diff_1.evaluate)(expr, envMinus)) / (2 * h);
+}
+function assertDerivativeMatches(f, varName, points, extraEnv = {}, tol = 1e-4) {
+    const df = (0, symbolic_diff_1.differentiate)(f, varName);
+    for (const x of points) {
+        const env = { ...extraEnv, [varName]: x };
+        const symbolic = (0, symbolic_diff_1.evaluate)(df, env);
+        const numeric = numericDerivative(f, varName, x, extraEnv);
+        (0, vitest_1.expect)(Math.abs(symbolic - numeric)).toBeLessThan(tol);
+    }
+}
+(0, vitest_1.describe)('differentiate — reglas básicas', () => {
+    (0, vitest_1.it)('d/dx(x^2) = 2x', () => {
+        const f = (0, symbolic_diff_1.pow)((0, symbolic_diff_1.v)('x'), (0, symbolic_diff_1.cst)(2));
+        const df = (0, symbolic_diff_1.differentiate)(f, 'x');
+        (0, vitest_1.expect)((0, symbolic_diff_1.evaluate)(df, { x: 0 })).toBe(0);
+        (0, vitest_1.expect)((0, symbolic_diff_1.evaluate)(df, { x: 3 })).toBe(6);
+        (0, vitest_1.expect)((0, symbolic_diff_1.evaluate)(df, { x: -5 })).toBe(-10);
+    });
+    (0, vitest_1.it)('d/dx(sin(x)) = cos(x)', () => {
+        const f = (0, symbolic_diff_1.sin)((0, symbolic_diff_1.v)('x'));
+        const df = (0, symbolic_diff_1.differentiate)(f, 'x');
+        for (const x of [0, 0.5, 1, Math.PI / 4, -1.2]) {
+            (0, vitest_1.expect)(Math.abs((0, symbolic_diff_1.evaluate)(df, { x }) - Math.cos(x))).toBeLessThan(1e-12);
+        }
+    });
+    (0, vitest_1.it)('d/dx(cos(x)) = -sin(x)', () => {
+        const f = (0, symbolic_diff_1.cos)((0, symbolic_diff_1.v)('x'));
+        const df = (0, symbolic_diff_1.differentiate)(f, 'x');
+        for (const x of [0, 0.7, 1.5, -2]) {
+            (0, vitest_1.expect)(Math.abs((0, symbolic_diff_1.evaluate)(df, { x }) - -Math.sin(x))).toBeLessThan(1e-12);
+        }
+    });
+    (0, vitest_1.it)('d/dx(c) = 0 (constante)', () => {
+        const df = (0, symbolic_diff_1.differentiate)((0, symbolic_diff_1.cst)(42), 'x');
+        (0, vitest_1.expect)((0, symbolic_diff_1.evaluate)(df, { x: 7 })).toBe(0);
+    });
+    (0, vitest_1.it)('d/dx(x) = 1, d/dy(x) = 0', () => {
+        (0, vitest_1.expect)((0, symbolic_diff_1.evaluate)((0, symbolic_diff_1.differentiate)((0, symbolic_diff_1.v)('x'), 'x'), { x: 99 })).toBe(1);
+        (0, vitest_1.expect)((0, symbolic_diff_1.evaluate)((0, symbolic_diff_1.differentiate)((0, symbolic_diff_1.v)('x'), 'y'), { x: 99, y: 0 })).toBe(0);
+    });
+});
+(0, vitest_1.describe)('differentiate — regla del producto', () => {
+    (0, vitest_1.it)('d/dx(x*sin(x)) = sin(x) + x*cos(x)', () => {
+        const f = (0, symbolic_diff_1.mul)((0, symbolic_diff_1.v)('x'), (0, symbolic_diff_1.sin)((0, symbolic_diff_1.v)('x')));
+        assertDerivativeMatches(f, 'x', [-1, 0.3, 1.0, 2.5]);
+    });
+    (0, vitest_1.it)('producto de 3 factores: d/dx(x * x * x) = 3x^2', () => {
+        const f = (0, symbolic_diff_1.mul)((0, symbolic_diff_1.v)('x'), (0, symbolic_diff_1.v)('x'), (0, symbolic_diff_1.v)('x'));
+        const df = (0, symbolic_diff_1.differentiate)(f, 'x');
+        for (const x of [-2, -0.5, 0, 1, 4]) {
+            (0, vitest_1.expect)(Math.abs((0, symbolic_diff_1.evaluate)(df, { x }) - 3 * x * x)).toBeLessThan(1e-9);
+        }
+    });
+});
+(0, vitest_1.describe)('differentiate — regla del cociente', () => {
+    (0, vitest_1.it)('d/dx(sin(x)/x) coincide con derivada numérica', () => {
+        const f = (0, symbolic_diff_1.div)((0, symbolic_diff_1.sin)((0, symbolic_diff_1.v)('x')), (0, symbolic_diff_1.v)('x'));
+        // Evitamos x=0 (singularidad)
+        assertDerivativeMatches(f, 'x', [0.5, 1.2, 2.0, -1.5]);
+    });
+    (0, vitest_1.it)('d/dx(1/x) = -1/x^2', () => {
+        const f = (0, symbolic_diff_1.div)((0, symbolic_diff_1.cst)(1), (0, symbolic_diff_1.v)('x'));
+        const df = (0, symbolic_diff_1.differentiate)(f, 'x');
+        for (const x of [1, 2, -3, 0.5]) {
+            (0, vitest_1.expect)(Math.abs((0, symbolic_diff_1.evaluate)(df, { x }) - -1 / (x * x))).toBeLessThan(1e-9);
+        }
+    });
+});
+(0, vitest_1.describe)('differentiate — regla de la cadena', () => {
+    (0, vitest_1.it)('d/dx(exp(x^2)) = 2x*exp(x^2)', () => {
+        const f = (0, symbolic_diff_1.exp)((0, symbolic_diff_1.pow)((0, symbolic_diff_1.v)('x'), (0, symbolic_diff_1.cst)(2)));
+        assertDerivativeMatches(f, 'x', [-1, 0, 0.5, 1, 1.5]);
+    });
+    (0, vitest_1.it)('d/dx(sin(2*x)) = 2*cos(2*x)', () => {
+        const f = (0, symbolic_diff_1.sin)((0, symbolic_diff_1.mul)((0, symbolic_diff_1.cst)(2), (0, symbolic_diff_1.v)('x')));
+        const df = (0, symbolic_diff_1.differentiate)(f, 'x');
+        for (const x of [0, 0.3, 1.1, -0.7]) {
+            (0, vitest_1.expect)(Math.abs((0, symbolic_diff_1.evaluate)(df, { x }) - 2 * Math.cos(2 * x))).toBeLessThan(1e-12);
+        }
+    });
+    (0, vitest_1.it)('d/dx(log(x^2 + 1)) coincide con derivada numérica', () => {
+        const f = (0, symbolic_diff_1.log)((0, symbolic_diff_1.add)((0, symbolic_diff_1.pow)((0, symbolic_diff_1.v)('x'), (0, symbolic_diff_1.cst)(2)), (0, symbolic_diff_1.cst)(1)));
+        assertDerivativeMatches(f, 'x', [-2, -0.5, 0, 1, 3]);
+    });
+    (0, vitest_1.it)('d/dx(cos(sin(x))) coincide con derivada numérica', () => {
+        const f = (0, symbolic_diff_1.cos)((0, symbolic_diff_1.sin)((0, symbolic_diff_1.v)('x')));
+        assertDerivativeMatches(f, 'x', [-1, 0, 0.5, 1.2]);
+    });
+});
+(0, vitest_1.describe)('differentiate — potencias y exponenciales', () => {
+    (0, vitest_1.it)('d/dx(2^x) = 2^x * ln(2)', () => {
+        const f = (0, symbolic_diff_1.pow)((0, symbolic_diff_1.cst)(2), (0, symbolic_diff_1.v)('x'));
+        const df = (0, symbolic_diff_1.differentiate)(f, 'x');
+        for (const x of [0, 1, 2, -1]) {
+            const expected = Math.pow(2, x) * Math.log(2);
+            (0, vitest_1.expect)(Math.abs((0, symbolic_diff_1.evaluate)(df, { x }) - expected)).toBeLessThan(1e-9);
+        }
+    });
+    (0, vitest_1.it)('d/dx(x^x) general (base y exponente con x)', () => {
+        const f = (0, symbolic_diff_1.pow)((0, symbolic_diff_1.v)('x'), (0, symbolic_diff_1.v)('x'));
+        assertDerivativeMatches(f, 'x', [0.5, 1, 2, 3]);
+    });
+    (0, vitest_1.it)('d/dx(tan(x)) = 1/cos(x)^2 = sec^2(x)', () => {
+        const f = (0, symbolic_diff_1.tan)((0, symbolic_diff_1.v)('x'));
+        assertDerivativeMatches(f, 'x', [0, 0.3, 0.7, -0.5]);
+    });
+});
+(0, vitest_1.describe)('differentiate — operaciones adicionales', () => {
+    (0, vitest_1.it)('d/dx(-x^3) = -3x^2', () => {
+        const f = (0, symbolic_diff_1.neg)((0, symbolic_diff_1.pow)((0, symbolic_diff_1.v)('x'), (0, symbolic_diff_1.cst)(3)));
+        const df = (0, symbolic_diff_1.differentiate)(f, 'x');
+        for (const x of [-2, -0.5, 0, 1, 4]) {
+            (0, vitest_1.expect)(Math.abs((0, symbolic_diff_1.evaluate)(df, { x }) - -3 * x * x)).toBeLessThan(1e-9);
+        }
+    });
+    (0, vitest_1.it)('d/dx(x^2 - 2*x + 1) = 2x - 2', () => {
+        const f = (0, symbolic_diff_1.add)((0, symbolic_diff_1.sub)((0, symbolic_diff_1.pow)((0, symbolic_diff_1.v)('x'), (0, symbolic_diff_1.cst)(2)), (0, symbolic_diff_1.mul)((0, symbolic_diff_1.cst)(2), (0, symbolic_diff_1.v)('x'))), (0, symbolic_diff_1.cst)(1));
+        const df = (0, symbolic_diff_1.differentiate)(f, 'x');
+        for (const x of [-3, 0, 1, 5]) {
+            (0, vitest_1.expect)(Math.abs((0, symbolic_diff_1.evaluate)(df, { x }) - (2 * x - 2))).toBeLessThan(1e-9);
+        }
+    });
+});
+(0, vitest_1.describe)('simplify', () => {
+    (0, vitest_1.it)('x + 0 + 0 = x', () => {
+        const e = (0, symbolic_diff_1.add)((0, symbolic_diff_1.v)('x'), (0, symbolic_diff_1.cst)(0), (0, symbolic_diff_1.cst)(0));
+        (0, vitest_1.expect)((0, symbolic_diff_1.toString)((0, symbolic_diff_1.simplify)(e))).toBe('x');
+    });
+    (0, vitest_1.it)('x * 1 = x', () => {
+        (0, vitest_1.expect)((0, symbolic_diff_1.toString)((0, symbolic_diff_1.simplify)((0, symbolic_diff_1.mul)((0, symbolic_diff_1.v)('x'), (0, symbolic_diff_1.cst)(1))))).toBe('x');
+    });
+    (0, vitest_1.it)('x * 0 = 0', () => {
+        (0, vitest_1.expect)((0, symbolic_diff_1.toString)((0, symbolic_diff_1.simplify)((0, symbolic_diff_1.mul)((0, symbolic_diff_1.v)('x'), (0, symbolic_diff_1.cst)(0))))).toBe('0');
+    });
+    (0, vitest_1.it)('x^0 = 1', () => {
+        (0, vitest_1.expect)((0, symbolic_diff_1.toString)((0, symbolic_diff_1.simplify)((0, symbolic_diff_1.pow)((0, symbolic_diff_1.v)('x'), (0, symbolic_diff_1.cst)(0))))).toBe('1');
+    });
+    (0, vitest_1.it)('x^1 = x', () => {
+        (0, vitest_1.expect)((0, symbolic_diff_1.toString)((0, symbolic_diff_1.simplify)((0, symbolic_diff_1.pow)((0, symbolic_diff_1.v)('x'), (0, symbolic_diff_1.cst)(1))))).toBe('x');
+    });
+    (0, vitest_1.it)('constant folding aritmético: 2 + 3 * 4 = 14', () => {
+        const e = (0, symbolic_diff_1.add)((0, symbolic_diff_1.cst)(2), (0, symbolic_diff_1.mul)((0, symbolic_diff_1.cst)(3), (0, symbolic_diff_1.cst)(4)));
+        const s = (0, symbolic_diff_1.simplify)(e);
+        (0, vitest_1.expect)(s.kind).toBe('const');
+        if (s.kind === 'const')
+            (0, vitest_1.expect)(s.value).toBe(14);
+    });
+    (0, vitest_1.it)('neg(neg(x)) = x', () => {
+        (0, vitest_1.expect)((0, symbolic_diff_1.toString)((0, symbolic_diff_1.simplify)((0, symbolic_diff_1.neg)((0, symbolic_diff_1.neg)((0, symbolic_diff_1.v)('x')))))).toBe('x');
+    });
+    (0, vitest_1.it)('flatten nested add: (a+b)+(c+d) → suma plana', () => {
+        const e = (0, symbolic_diff_1.add)((0, symbolic_diff_1.add)((0, symbolic_diff_1.v)('a'), (0, symbolic_diff_1.v)('b')), (0, symbolic_diff_1.add)((0, symbolic_diff_1.v)('c'), (0, symbolic_diff_1.v)('d')));
+        const s = (0, symbolic_diff_1.simplify)(e);
+        (0, vitest_1.expect)(s.kind).toBe('add');
+        if (s.kind === 'add')
+            (0, vitest_1.expect)(s.args.length).toBe(4);
+    });
+});
+(0, vitest_1.describe)('evaluate', () => {
+    (0, vitest_1.it)('evalúa expresiones con múltiples variables', () => {
+        const e = (0, symbolic_diff_1.add)((0, symbolic_diff_1.mul)((0, symbolic_diff_1.v)('x'), (0, symbolic_diff_1.v)('y')), (0, symbolic_diff_1.v)('z'));
+        (0, vitest_1.expect)((0, symbolic_diff_1.evaluate)(e, { x: 2, y: 3, z: 7 })).toBe(13);
+    });
+    (0, vitest_1.it)('lanza error si variable no está en env', () => {
+        (0, vitest_1.expect)(() => (0, symbolic_diff_1.evaluate)((0, symbolic_diff_1.v)('w'), {})).toThrow();
+    });
+    (0, vitest_1.it)('evalúa funciones trascendentales', () => {
+        (0, vitest_1.expect)(Math.abs((0, symbolic_diff_1.evaluate)((0, symbolic_diff_1.sin)((0, symbolic_diff_1.cst)(0)), {}) - 0)).toBeLessThan(1e-12);
+        (0, vitest_1.expect)(Math.abs((0, symbolic_diff_1.evaluate)((0, symbolic_diff_1.cos)((0, symbolic_diff_1.cst)(0)), {}) - 1)).toBeLessThan(1e-12);
+        (0, vitest_1.expect)(Math.abs((0, symbolic_diff_1.evaluate)((0, symbolic_diff_1.exp)((0, symbolic_diff_1.cst)(1)), {}) - Math.E)).toBeLessThan(1e-12);
+        (0, vitest_1.expect)(Math.abs((0, symbolic_diff_1.evaluate)((0, symbolic_diff_1.log)((0, symbolic_diff_1.cst)(Math.E)), {}) - 1)).toBeLessThan(1e-12);
+    });
+});
+(0, vitest_1.describe)('gradient', () => {
+    (0, vitest_1.it)('retorna N derivadas parciales', () => {
+        const f = (0, symbolic_diff_1.add)((0, symbolic_diff_1.mul)((0, symbolic_diff_1.v)('x'), (0, symbolic_diff_1.v)('x')), (0, symbolic_diff_1.mul)((0, symbolic_diff_1.v)('y'), (0, symbolic_diff_1.v)('y')));
+        const grad = (0, symbolic_diff_1.gradient)(f, ['x', 'y']);
+        (0, vitest_1.expect)(grad.length).toBe(2);
+        // ∂/∂x = 2x
+        const dfdxX = grad[0];
+        const dfdxY = grad[1];
+        (0, vitest_1.expect)(dfdxX).toBeDefined();
+        (0, vitest_1.expect)(dfdxY).toBeDefined();
+        if (dfdxX) {
+            (0, vitest_1.expect)((0, symbolic_diff_1.evaluate)(dfdxX, { x: 3, y: 99 })).toBe(6);
+        }
+        if (dfdxY) {
+            (0, vitest_1.expect)((0, symbolic_diff_1.evaluate)(dfdxY, { x: 99, y: 4 })).toBe(8);
+        }
+    });
+    (0, vitest_1.it)('gradient de función con 3 variables y término cruzado', () => {
+        // f(x,y,z) = x*y + y*z
+        const f = (0, symbolic_diff_1.add)((0, symbolic_diff_1.mul)((0, symbolic_diff_1.v)('x'), (0, symbolic_diff_1.v)('y')), (0, symbolic_diff_1.mul)((0, symbolic_diff_1.v)('y'), (0, symbolic_diff_1.v)('z')));
+        const grad = (0, symbolic_diff_1.gradient)(f, ['x', 'y', 'z']);
+        (0, vitest_1.expect)(grad.length).toBe(3);
+        const env = { x: 2, y: 5, z: 7 };
+        const g0 = grad[0];
+        const g1 = grad[1];
+        const g2 = grad[2];
+        (0, vitest_1.expect)(g0).toBeDefined();
+        (0, vitest_1.expect)(g1).toBeDefined();
+        (0, vitest_1.expect)(g2).toBeDefined();
+        if (g0 && g1 && g2) {
+            (0, vitest_1.expect)((0, symbolic_diff_1.evaluate)(g0, env)).toBe(5); // ∂/∂x = y
+            (0, vitest_1.expect)((0, symbolic_diff_1.evaluate)(g1, env)).toBe(9); // ∂/∂y = x + z
+            (0, vitest_1.expect)((0, symbolic_diff_1.evaluate)(g2, env)).toBe(5); // ∂/∂z = y
+        }
+    });
+});
+(0, vitest_1.describe)('parse + toString round-trip', () => {
+    (0, vitest_1.it)('parsea polinomio simple', () => {
+        const e = (0, symbolic_diff_1.parse)('x^2 + 3*x + 2');
+        for (const x of [-2, -1, 0, 1, 2]) {
+            (0, vitest_1.expect)((0, symbolic_diff_1.evaluate)(e, { x })).toBe(x * x + 3 * x + 2);
+        }
+    });
+    (0, vitest_1.it)('parsea función trascendental con argumento compuesto', () => {
+        const e = (0, symbolic_diff_1.parse)('sin(2*x + 1)');
+        for (const x of [0, 0.5, 1.2]) {
+            (0, vitest_1.expect)(Math.abs((0, symbolic_diff_1.evaluate)(e, { x }) - Math.sin(2 * x + 1))).toBeLessThan(1e-12);
+        }
+    });
+    (0, vitest_1.it)('parsea potencias right-assoc: 2^3^2 = 2^(3^2) = 512', () => {
+        const e = (0, symbolic_diff_1.parse)('2^3^2');
+        (0, vitest_1.expect)((0, symbolic_diff_1.evaluate)(e, {})).toBe(512);
+    });
+    (0, vitest_1.it)('parse + differentiate end-to-end', () => {
+        const e = (0, symbolic_diff_1.parse)('x^3 - 2*x + 5');
+        const de = (0, symbolic_diff_1.differentiate)(e, 'x');
+        // d/dx = 3x^2 - 2
+        for (const x of [-1, 0, 2]) {
+            (0, vitest_1.expect)(Math.abs((0, symbolic_diff_1.evaluate)(de, { x }) - (3 * x * x - 2))).toBeLessThan(1e-9);
+        }
+    });
+    (0, vitest_1.it)('parse maneja unary minus', () => {
+        const e = (0, symbolic_diff_1.parse)('-x + 5');
+        (0, vitest_1.expect)((0, symbolic_diff_1.evaluate)(e, { x: 3 })).toBe(2);
+    });
+    (0, vitest_1.it)('parse falla con tokens sobrantes', () => {
+        (0, vitest_1.expect)(() => (0, symbolic_diff_1.parse)('x + +')).toThrow();
+    });
+});
+(0, vitest_1.describe)('exprEquals', () => {
+    (0, vitest_1.it)('detecta igualdad estructural', () => {
+        (0, vitest_1.expect)((0, symbolic_diff_1.exprEquals)((0, symbolic_diff_1.add)((0, symbolic_diff_1.v)('x'), (0, symbolic_diff_1.cst)(1)), (0, symbolic_diff_1.add)((0, symbolic_diff_1.v)('x'), (0, symbolic_diff_1.cst)(1)))).toBe(true);
+        (0, vitest_1.expect)((0, symbolic_diff_1.exprEquals)((0, symbolic_diff_1.add)((0, symbolic_diff_1.v)('x'), (0, symbolic_diff_1.cst)(1)), (0, symbolic_diff_1.add)((0, symbolic_diff_1.v)('x'), (0, symbolic_diff_1.cst)(2)))).toBe(false);
+        (0, vitest_1.expect)((0, symbolic_diff_1.exprEquals)((0, symbolic_diff_1.cst)(3), (0, symbolic_diff_1.cst)(3))).toBe(true);
+        (0, vitest_1.expect)((0, symbolic_diff_1.exprEquals)((0, symbolic_diff_1.sin)((0, symbolic_diff_1.v)('x')), (0, symbolic_diff_1.cos)((0, symbolic_diff_1.v)('x')))).toBe(false);
+    });
+});
+(0, vitest_1.describe)('end-to-end: validación numérica de derivadas', () => {
+    (0, vitest_1.it)('expresiones aleatorias derivadas simbólicamente coinciden con derivada numérica', () => {
+        const cases = [
+            { expr: (0, symbolic_diff_1.parse)('x^4 + 2*x^2 - x + 7'), var: 'x', points: [-2, -0.5, 0.5, 2] },
+            { expr: (0, symbolic_diff_1.parse)('sin(x) * cos(x)'), var: 'x', points: [0, 0.5, 1, 2] },
+            { expr: (0, symbolic_diff_1.parse)('exp(x) / (1 + x^2)'), var: 'x', points: [-1, 0, 1, 2] },
+            { expr: (0, symbolic_diff_1.parse)('log(x*x + 1) + sin(x)'), var: 'x', points: [-1, 0, 1, 2.5] },
+            { expr: (0, symbolic_diff_1.parse)('(x + 1)^3'), var: 'x', points: [-2, 0, 2] },
+        ];
+        for (const tc of cases) {
+            assertDerivativeMatches(tc.expr, tc.var, tc.points);
+        }
+    });
+});
+//# sourceMappingURL=symbolic-diff.test.js.map

package/dist/tests/symbolic-diff/symbolic-diff.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"symbolic-diff.test.js","sourceRoot":"","sources":["../../../src/tests/symbolic-diff/symbolic-diff.test.ts"],"names":[],"mappings":";;AAAA,mCAA8C;AAC9C,+DAqBqC;AAGrC;;;GAGG;AACH,SAAS,iBAAiB,CAAC,IAAU,EAAE,OAAe,EAAE,EAAU,EAAE,MAA8B,EAAE;IAClG,MAAM,CAAC,GAAG,IAAI,CAAC;IACf,MAAM,OAAO,GAAG,EAAE,GAAG,GAAG,EAAE,CAAC,OAAO,CAAC,EAAE,EAAE,GAAG,CAAC,EAAE,CAAC;IAC9C,MAAM,QAAQ,GAAG,EAAE,GAAG,GAAG,EAAE,CAAC,OAAO,CAAC,EAAE,EAAE,GAAG,CAAC,EAAE,CAAC;IAC/C,OAAO,CAAC,IAAA,wBAAQ,EAAC,IAAI,EAAE,OAAO,CAAC,GAAG,IAAA,wBAAQ,EAAC,IAAI,EAAE,QAAQ,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;AACxE,CAAC;AAED,SAAS,uBAAuB,CAC9B,CAAO,EACP,OAAe,EACf,MAAgB,EAChB,WAAmC,EAAE,EACrC,GAAG,GAAG,IAAI;IAEV,MAAM,EAAE,GAAG,IAAA,6BAAa,EAAC,CAAC,EAAE,OAAO,CAAC,CAAC;IACrC,KAAK,MAAM,CAAC,IAAI,MAAM,EAAE,CAAC;QACvB,MAAM,GAAG,GAAG,EAAE,GAAG,QAAQ,EAAE,CAAC,OAAO,CAAC,EAAE,CAAC,EAAE,CAAC;QAC1C,MAAM,QAAQ,GAAG,IAAA,wBAAQ,EAAC,EAAE,EAAE,GAAG,CAAC,CAAC;QACnC,MAAM,OAAO,GAAG,iBAAiB,CAAC,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,QAAQ,CAAC,CAAC;QAC3D,IAAA,eAAM,EAAC,IAAI,CAAC,GAAG,CAAC,QAAQ,GAAG,OAAO,CAAC,CAAC,CAAC,YAAY,CAAC,GAAG,CAAC,CAAC;IACzD,CAAC;AACH,CAAC;AAED,IAAA,iBAAQ,EAAC,gCAAgC,EAAE,GAAG,EAAE;IAC9C,IAAA,WAAE,EAAC,gBAAgB,EAAE,GAAG,EAAE;QACxB,MAAM,CAAC,GAAG,IAAA,mBAAG,EAAC,IAAA,iBAAC,EAAC,GAAG,CAAC,EAAE,IAAA,mBAAG,EAAC,CAAC,CAAC,CAAC,CAAC;QAC9B,MAAM,EAAE,GAAG,IAAA,6BAAa,EAAC,CAAC,EAAE,GAAG,CAAC,CAAC;QACjC,IAAA,eAAM,EAAC,IAAA,wBAAQ,EAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACvC,IAAA,eAAM,EAAC,IAAA,wBAAQ,EAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACvC,IAAA,eAAM,EAAC,IAAA,wBAAQ,EAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC,CAAC;IAC5C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,uBAAuB,EAAE,GAAG,EAAE;QAC/B,MAAM,CAAC,GAAG,IAAA,mBAAG,EAAC,IAAA,iBAAC,EAAC,GAAG,CAAC,CAAC,CAAC;QACtB,MAAM,EAAE,GAAG,IAAA,6BAAa,EAAC,CAAC,EAAE,GAAG,CAAC,CAAC;QACjC,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,IAAI,CAAC,EAAE,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC;YAC/C,IAAA,eAAM,EAAC,IAAI,CAAC,GAAG,CAAC,IAAA,wBAAQ,EAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,YAAY,CAAC,KAAK,CAAC,CAAC;QAC1E,CAAC;IACH,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,wBAAwB,EAAE,GAAG,EAAE;QAChC,MAAM,CAAC,GAAG,IAAA,mBAAG,EAAC,IAAA,iBAAC,EAAC,GAAG,CAAC,CAAC,CAAC;QACtB,MAAM,EAAE,GAAG,IAAA,6BAAa,EAAC,CAAC,EAAE,GAAG,CAAC,CAAC;QACjC,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;YAClC,IAAA,eAAM,EAAC,IAAI,CAAC,GAAG,CAAC,IAAA,wBAAQ,EAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,YAAY,CAAC,KAAK,CAAC,CAAC;QAC3E,CAAC;IACH,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,yBAAyB,EAAE,GAAG,EAAE;QACjC,MAAM,EAAE,GAAG,IAAA,6BAAa,EAAC,IAAA,mBAAG,EAAC,EAAE,CAAC,EAAE,GAAG,CAAC,CAAC;QACvC,IAAA,eAAM,EAAC,IAAA,wBAAQ,EAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACzC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,0BAA0B,EAAE,GAAG,EAAE;QAClC,IAAA,eAAM,EAAC,IAAA,wBAAQ,EAAC,IAAA,6BAAa,EAAC,IAAA,iBAAC,EAAC,GAAG,CAAC,EAAE,GAAG,CAAC,EAAE,EAAE,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAChE,IAAA,eAAM,EAAC,IAAA,wBAAQ,EAAC,IAAA,6BAAa,EAAC,IAAA,iBAAC,EAAC,GAAG,CAAC,EAAE,GAAG,CAAC,EAAE,EAAE,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACxE,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,oCAAoC,EAAE,GAAG,EAAE;IAClD,IAAA,WAAE,EAAC,oCAAoC,EAAE,GAAG,EAAE;QAC5C,MAAM,CAAC,GAAG,IAAA,mBAAG,EAAC,IAAA,iBAAC,EAAC,GAAG,CAAC,EAAE,IAAA,mBAAG,EAAC,IAAA,iBAAC,EAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QACnC,uBAAuB,CAAC,CAAC,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC;IACvD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,gDAAgD,EAAE,GAAG,EAAE;QACxD,MAAM,CAAC,GAAG,IAAA,mBAAG,EAAC,IAAA,iBAAC,EAAC,GAAG,CAAC,EAAE,IAAA,iBAAC,EAAC,GAAG,CAAC,EAAE,IAAA,iBAAC,EAAC,GAAG,CAAC,CAAC,CAAC;QACtC,MAAM,EAAE,GAAG,IAAA,6BAAa,EAAC,CAAC,EAAE,GAAG,CAAC,CAAC;QACjC,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,GAAG,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC;YACpC,IAAA,eAAM,EAAC,IAAI,CAAC,GAAG,CAAC,IAAA,wBAAQ,EAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC;QACvE,CAAC;IACH,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,oCAAoC,EAAE,GAAG,EAAE;IAClD,IAAA,WAAE,EAAC,+CAA+C,EAAE,GAAG,EAAE;QACvD,MAAM,CAAC,GAAG,IAAA,mBAAG,EAAC,IAAA,mBAAG,EAAC,IAAA,iBAAC,EAAC,GAAG,CAAC,CAAC,EAAE,IAAA,iBAAC,EAAC,GAAG,CAAC,CAAC,CAAC;QACnC,8BAA8B;QAC9B,uBAAuB,CAAC,CAAC,EAAE,GAAG,EAAE,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;IACzD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,oBAAoB,EAAE,GAAG,EAAE;QAC5B,MAAM,CAAC,GAAG,IAAA,mBAAG,EAAC,IAAA,mBAAG,EAAC,CAAC,CAAC,EAAE,IAAA,iBAAC,EAAC,GAAG,CAAC,CAAC,CAAC;QAC9B,MAAM,EAAE,GAAG,IAAA,6BAAa,EAAC,CAAC,EAAE,GAAG,CAAC,CAAC;QACjC,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,CAAC;YAChC,IAAA,eAAM,EAAC,IAAI,CAAC,GAAG,CAAC,IAAA,wBAAQ,EAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC;QAC1E,CAAC;IACH,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,oCAAoC,EAAE,GAAG,EAAE;IAClD,IAAA,WAAE,EAAC,8BAA8B,EAAE,GAAG,EAAE;QACtC,MAAM,CAAC,GAAG,IAAA,mBAAG,EAAC,IAAA,mBAAG,EAAC,IAAA,iBAAC,EAAC,GAAG,CAAC,EAAE,IAAA,mBAAG,EAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QACnC,uBAAuB,CAAC,CAAC,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC;IACxD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,6BAA6B,EAAE,GAAG,EAAE;QACrC,MAAM,CAAC,GAAG,IAAA,mBAAG,EAAC,IAAA,mBAAG,EAAC,IAAA,mBAAG,EAAC,CAAC,CAAC,EAAE,IAAA,iBAAC,EAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QACnC,MAAM,EAAE,GAAG,IAAA,6BAAa,EAAC,CAAC,EAAE,GAAG,CAAC,CAAC;QACjC,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC;YACpC,IAAA,eAAM,EAAC,IAAI,CAAC,GAAG,CAAC,IAAA,wBAAQ,EAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,GAAG,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,YAAY,CAAC,KAAK,CAAC,CAAC;QAClF,CAAC;IACH,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,mDAAmD,EAAE,GAAG,EAAE;QAC3D,MAAM,CAAC,GAAG,IAAA,mBAAG,EAAC,IAAA,mBAAG,EAAC,IAAA,mBAAG,EAAC,IAAA,iBAAC,EAAC,GAAG,CAAC,EAAE,IAAA,mBAAG,EAAC,CAAC,CAAC,CAAC,EAAE,IAAA,mBAAG,EAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QAChD,uBAAuB,CAAC,CAAC,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,GAAG,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;IACvD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,kDAAkD,EAAE,GAAG,EAAE;QAC1D,MAAM,CAAC,GAAG,IAAA,mBAAG,EAAC,IAAA,mBAAG,EAAC,IAAA,iBAAC,EAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QAC3B,uBAAuB,CAAC,CAAC,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC;IACrD,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,2CAA2C,EAAE,GAAG,EAAE;IACzD,IAAA,WAAE,EAAC,yBAAyB,EAAE,GAAG,EAAE;QACjC,MAAM,CAAC,GAAG,IAAA,mBAAG,EAAC,IAAA,mBAAG,EAAC,CAAC,CAAC,EAAE,IAAA,iBAAC,EAAC,GAAG,CAAC,CAAC,CAAC;QAC9B,MAAM,EAAE,GAAG,IAAA,6BAAa,EAAC,CAAC,EAAE,GAAG,CAAC,CAAC;QACjC,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;YAC9B,MAAM,QAAQ,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;YAC9C,IAAA,eAAM,EAAC,IAAI,CAAC,GAAG,CAAC,IAAA,wBAAQ,EAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,GAAG,QAAQ,CAAC,CAAC,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC;QACtE,CAAC;IACH,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,4CAA4C,EAAE,GAAG,EAAE;QACpD,MAAM,CAAC,GAAG,IAAA,mBAAG,EAAC,IAAA,iBAAC,EAAC,GAAG,CAAC,EAAE,IAAA,iBAAC,EAAC,GAAG,CAAC,CAAC,CAAC;QAC9B,uBAAuB,CAAC,CAAC,EAAE,GAAG,EAAE,CAAC,GAAG,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;IAClD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,sCAAsC,EAAE,GAAG,EAAE;QAC9C,MAAM,CAAC,GAAG,IAAA,mBAAG,EAAC,IAAA,iBAAC,EAAC,GAAG,CAAC,CAAC,CAAC;QACtB,uBAAuB,CAAC,CAAC,EAAE,GAAG,EAAE,CAAC,CAAC,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;IACvD,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,yCAAyC,EAAE,GAAG,EAAE;IACvD,IAAA,WAAE,EAAC,oBAAoB,EAAE,GAAG,EAAE;QAC5B,MAAM,CAAC,GAAG,IAAA,mBAAG,EAAC,IAAA,mBAAG,EAAC,IAAA,iBAAC,EAAC,GAAG,CAAC,EAAE,IAAA,mBAAG,EAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QACnC,MAAM,EAAE,GAAG,IAAA,6BAAa,EAAC,CAAC,EAAE,GAAG,CAAC,CAAC;QACjC,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,GAAG,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC;YACpC,IAAA,eAAM,EAAC,IAAI,CAAC,GAAG,CAAC,IAAA,wBAAQ,EAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC;QACxE,CAAC;IACH,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,8BAA8B,EAAE,GAAG,EAAE;QACtC,MAAM,CAAC,GAAG,IAAA,mBAAG,EAAC,IAAA,mBAAG,EAAC,IAAA,mBAAG,EAAC,IAAA,iBAAC,EAAC,GAAG,CAAC,EAAE,IAAA,mBAAG,EAAC,CAAC,CAAC,CAAC,EAAE,IAAA,mBAAG,EAAC,IAAA,mBAAG,EAAC,CAAC,CAAC,EAAE,IAAA,iBAAC,EAAC,GAAG,CAAC,CAAC,CAAC,EAAE,IAAA,mBAAG,EAAC,CAAC,CAAC,CAAC,CAAC;QACrE,MAAM,EAAE,GAAG,IAAA,6BAAa,EAAC,CAAC,EAAE,GAAG,CAAC,CAAC;QACjC,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC;YAC9B,IAAA,eAAM,EAAC,IAAI,CAAC,GAAG,CAAC,IAAA,wBAAQ,EAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC;QACzE,CAAC;IACH,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,UAAU,EAAE,GAAG,EAAE;IACxB,IAAA,WAAE,EAAC,eAAe,EAAE,GAAG,EAAE;QACvB,MAAM,CAAC,GAAG,IAAA,mBAAG,EAAC,IAAA,iBAAC,EAAC,GAAG,CAAC,EAAE,IAAA,mBAAG,EAAC,CAAC,CAAC,EAAE,IAAA,mBAAG,EAAC,CAAC,CAAC,CAAC,CAAC;QACtC,IAAA,eAAM,EAAC,IAAA,wBAAQ,EAAC,IAAA,wBAAQ,EAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IAC1C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,WAAW,EAAE,GAAG,EAAE;QACnB,IAAA,eAAM,EAAC,IAAA,wBAAQ,EAAC,IAAA,wBAAQ,EAAC,IAAA,mBAAG,EAAC,IAAA,iBAAC,EAAC,GAAG,CAAC,EAAE,IAAA,mBAAG,EAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IAC5D,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,WAAW,EAAE,GAAG,EAAE;QACnB,IAAA,eAAM,EAAC,IAAA,wBAAQ,EAAC,IAAA,wBAAQ,EAAC,IAAA,mBAAG,EAAC,IAAA,iBAAC,EAAC,GAAG,CAAC,EAAE,IAAA,mBAAG,EAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IAC5D,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,SAAS,EAAE,GAAG,EAAE;QACjB,IAAA,eAAM,EAAC,IAAA,wBAAQ,EAAC,IAAA,wBAAQ,EAAC,IAAA,mBAAG,EAAC,IAAA,iBAAC,EAAC,GAAG,CAAC,EAAE,IAAA,mBAAG,EAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IAC5D,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,SAAS,EAAE,GAAG,EAAE;QACjB,IAAA,eAAM,EAAC,IAAA,wBAAQ,EAAC,IAAA,wBAAQ,EAAC,IAAA,mBAAG,EAAC,IAAA,iBAAC,EAAC,GAAG,CAAC,EAAE,IAAA,mBAAG,EAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IAC5D,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,6CAA6C,EAAE,GAAG,EAAE;QACrD,MAAM,CAAC,GAAG,IAAA,mBAAG,EAAC,IAAA,mBAAG,EAAC,CAAC,CAAC,EAAE,IAAA,mBAAG,EAAC,IAAA,mBAAG,EAAC,CAAC,CAAC,EAAE,IAAA,mBAAG,EAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QAC3C,MAAM,CAAC,GAAG,IAAA,wBAAQ,EAAC,CAAC,CAAC,CAAC;QACtB,IAAA,eAAM,EAAC,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;QAC7B,IAAI,CAAC,CAAC,IAAI,KAAK,OAAO;YAAE,IAAA,eAAM,EAAC,CAAC,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACnD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,iBAAiB,EAAE,GAAG,EAAE;QACzB,IAAA,eAAM,EAAC,IAAA,wBAAQ,EAAC,IAAA,wBAAQ,EAAC,IAAA,mBAAG,EAAC,IAAA,mBAAG,EAAC,IAAA,iBAAC,EAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IACzD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,8CAA8C,EAAE,GAAG,EAAE;QACtD,MAAM,CAAC,GAAG,IAAA,mBAAG,EAAC,IAAA,mBAAG,EAAC,IAAA,iBAAC,EAAC,GAAG,CAAC,EAAE,IAAA,iBAAC,EAAC,GAAG,CAAC,CAAC,EAAE,IAAA,mBAAG,EAAC,IAAA,iBAAC,EAAC,GAAG,CAAC,EAAE,IAAA,iBAAC,EAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QACxD,MAAM,CAAC,GAAG,IAAA,wBAAQ,EAAC,CAAC,CAAC,CAAC;QACtB,IAAA,eAAM,EAAC,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAC3B,IAAI,CAAC,CAAC,IAAI,KAAK,KAAK;YAAE,IAAA,eAAM,EAAC,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACtD,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,UAAU,EAAE,GAAG,EAAE;IACxB,IAAA,WAAE,EAAC,4CAA4C,EAAE,GAAG,EAAE;QACpD,MAAM,CAAC,GAAG,IAAA,mBAAG,EAAC,IAAA,mBAAG,EAAC,IAAA,iBAAC,EAAC,GAAG,CAAC,EAAE,IAAA,iBAAC,EAAC,GAAG,CAAC,CAAC,EAAE,IAAA,iBAAC,EAAC,GAAG,CAAC,CAAC,CAAC;QAC3C,IAAA,eAAM,EAAC,IAAA,wBAAQ,EAAC,CAAC,EAAE,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACrD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,wCAAwC,EAAE,GAAG,EAAE;QAChD,IAAA,eAAM,EAAC,GAAG,EAAE,CAAC,IAAA,wBAAQ,EAAC,IAAA,iBAAC,EAAC,GAAG,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC;IAC/C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,kCAAkC,EAAE,GAAG,EAAE;QAC1C,IAAA,eAAM,EAAC,IAAI,CAAC,GAAG,CAAC,IAAA,wBAAQ,EAAC,IAAA,mBAAG,EAAC,IAAA,mBAAG,EAAC,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,YAAY,CAAC,KAAK,CAAC,CAAC;QACpE,IAAA,eAAM,EAAC,IAAI,CAAC,GAAG,CAAC,IAAA,wBAAQ,EAAC,IAAA,mBAAG,EAAC,IAAA,mBAAG,EAAC,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,YAAY,CAAC,KAAK,CAAC,CAAC;QACpE,IAAA,eAAM,EAAC,IAAI,CAAC,GAAG,CAAC,IAAA,wBAAQ,EAAC,IAAA,mBAAG,EAAC,IAAA,mBAAG,EAAC,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,YAAY,CAAC,KAAK,CAAC,CAAC;QACzE,IAAA,eAAM,EAAC,IAAI,CAAC,GAAG,CAAC,IAAA,wBAAQ,EAAC,IAAA,mBAAG,EAAC,IAAA,mBAAG,EAAC,IAAI,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,YAAY,CAAC,KAAK,CAAC,CAAC;IAC3E,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,UAAU,EAAE,GAAG,EAAE;IACxB,IAAA,WAAE,EAAC,+BAA+B,EAAE,GAAG,EAAE;QACvC,MAAM,CAAC,GAAG,IAAA,mBAAG,EAAC,IAAA,mBAAG,EAAC,IAAA,iBAAC,EAAC,GAAG,CAAC,EAAE,IAAA,iBAAC,EAAC,GAAG,CAAC,CAAC,EAAE,IAAA,mBAAG,EAAC,IAAA,iBAAC,EAAC,GAAG,CAAC,EAAE,IAAA,iBAAC,EAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QACxD,MAAM,IAAI,GAAG,IAAA,wBAAQ,EAAC,CAAC,EAAE,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC;QACrC,IAAA,eAAM,EAAC,IAAI,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAC5B,YAAY;QACZ,MAAM,KAAK,GAAG,IAAI,CAAC,CAAC,CAAC,CAAC;QACtB,MAAM,KAAK,GAAG,IAAI,CAAC,CAAC,CAAC,CAAC;QACtB,IAAA,eAAM,EAAC,KAAK,CAAC,CAAC,WAAW,EAAE,CAAC;QAC5B,IAAA,eAAM,EAAC,KAAK,CAAC,CAAC,WAAW,EAAE,CAAC;QAC5B,IAAI,KAAK,EAAE,CAAC;YACV,IAAA,eAAM,EAAC,IAAA,wBAAQ,EAAC,KAAK,EAAE,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACnD,CAAC;QACD,IAAI,KAAK,EAAE,CAAC;YACV,IAAA,eAAM,EAAC,IAAA,wBAAQ,EAAC,KAAK,EAAE,EAAE,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACnD,CAAC;IACH,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,uDAAuD,EAAE,GAAG,EAAE;QAC/D,uBAAuB;QACvB,MAAM,CAAC,GAAG,IAAA,mBAAG,EAAC,IAAA,mBAAG,EAAC,IAAA,iBAAC,EAAC,GAAG,CAAC,EAAE,IAAA,iBAAC,EAAC,GAAG,CAAC,CAAC,EAAE,IAAA,mBAAG,EAAC,IAAA,iBAAC,EAAC,GAAG,CAAC,EAAE,IAAA,iBAAC,EAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QACxD,MAAM,IAAI,GAAG,IAAA,wBAAQ,EAAC,CAAC,EAAE,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC;QAC1C,IAAA,eAAM,EAAC,IAAI,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAC5B,MAAM,GAAG,GAAG,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC;QACjC,MAAM,EAAE,GAAG,IAAI,CAAC,CAAC,CAAC,CAAC;QACnB,MAAM,EAAE,GAAG,IAAI,CAAC,CAAC,CAAC,CAAC;QACnB,MAAM,EAAE,GAAG,IAAI,CAAC,CAAC,CAAC,CAAC;QACnB,IAAA,eAAM,EAAC,EAAE,CAAC,CAAC,WAAW,EAAE,CAAC;QACzB,IAAA,eAAM,EAAC,EAAE,CAAC,CAAC,WAAW,EAAE,CAAC;QACzB,IAAA,eAAM,EAAC,EAAE,CAAC,CAAC,WAAW,EAAE,CAAC;QACzB,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,EAAE,CAAC;YACnB,IAAA,eAAM,EAAC,IAAA,wBAAQ,EAAC,EAAE,EAAE,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,WAAW;YAC9C,IAAA,eAAM,EAAC,IAAA,wBAAQ,EAAC,EAAE,EAAE,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,eAAe;YAClD,IAAA,eAAM,EAAC,IAAA,wBAAQ,EAAC,EAAE,EAAE,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,WAAW;QAChD,CAAC;IACH,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,6BAA6B,EAAE,GAAG,EAAE;IAC3C,IAAA,WAAE,EAAC,yBAAyB,EAAE,GAAG,EAAE;QACjC,MAAM,CAAC,GAAG,IAAA,qBAAK,EAAC,eAAe,CAAC,CAAC;QACjC,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC;YAClC,IAAA,eAAM,EAAC,IAAA,wBAAQ,EAAC,CAAC,EAAE,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC;QACrD,CAAC;IACH,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,sDAAsD,EAAE,GAAG,EAAE;QAC9D,MAAM,CAAC,GAAG,IAAA,qBAAK,EAAC,cAAc,CAAC,CAAC;QAChC,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,EAAE,GAAG,EAAE,GAAG,CAAC,EAAE,CAAC;YAC9B,IAAA,eAAM,EAAC,IAAI,CAAC,GAAG,CAAC,IAAA,wBAAQ,EAAC,CAAC,EAAE,EAAE,CAAC,EAAE,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,YAAY,CAAC,KAAK,CAAC,CAAC;QACjF,CAAC;IACH,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,qDAAqD,EAAE,GAAG,EAAE;QAC7D,MAAM,CAAC,GAAG,IAAA,qBAAK,EAAC,OAAO,CAAC,CAAC;QACzB,IAAA,eAAM,EAAC,IAAA,wBAAQ,EAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IACpC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,kCAAkC,EAAE,GAAG,EAAE;QAC1C,MAAM,CAAC,GAAG,IAAA,qBAAK,EAAC,eAAe,CAAC,CAAC;QACjC,MAAM,EAAE,GAAG,IAAA,6BAAa,EAAC,CAAC,EAAE,GAAG,CAAC,CAAC;QACjC,kBAAkB;QAClB,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC;YAC3B,IAAA,eAAM,EAAC,IAAI,CAAC,GAAG,CAAC,IAAA,wBAAQ,EAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC;QAC7E,CAAC;IACH,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,0BAA0B,EAAE,GAAG,EAAE;QAClC,MAAM,CAAC,GAAG,IAAA,qBAAK,EAAC,QAAQ,CAAC,CAAC;QAC1B,IAAA,eAAM,EAAC,IAAA,wBAAQ,EAAC,CAAC,EAAE,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACxC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,kCAAkC,EAAE,GAAG,EAAE;QAC1C,IAAA,eAAM,EAAC,GAAG,EAAE,CAAC,IAAA,qBAAK,EAAC,OAAO,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC;IACzC,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,YAAY,EAAE,GAAG,EAAE;IAC1B,IAAA,WAAE,EAAC,8BAA8B,EAAE,GAAG,EAAE;QACtC,IAAA,eAAM,EAAC,IAAA,0BAAU,EAAC,IAAA,mBAAG,EAAC,IAAA,iBAAC,EAAC,GAAG,CAAC,EAAE,IAAA,mBAAG,EAAC,CAAC,CAAC,CAAC,EAAE,IAAA,mBAAG,EAAC,IAAA,iBAAC,EAAC,GAAG,CAAC,EAAE,IAAA,mBAAG,EAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACxE,IAAA,eAAM,EAAC,IAAA,0BAAU,EAAC,IAAA,mBAAG,EAAC,IAAA,iBAAC,EAAC,GAAG,CAAC,EAAE,IAAA,mBAAG,EAAC,CAAC,CAAC,CAAC,EAAE,IAAA,mBAAG,EAAC,IAAA,iBAAC,EAAC,GAAG,CAAC,EAAE,IAAA,mBAAG,EAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACzE,IAAA,eAAM,EAAC,IAAA,0BAAU,EAAC,IAAA,mBAAG,EAAC,CAAC,CAAC,EAAE,IAAA,mBAAG,EAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC9C,IAAA,eAAM,EAAC,IAAA,0BAAU,EAAC,IAAA,mBAAG,EAAC,IAAA,iBAAC,EAAC,GAAG,CAAC,CAAC,EAAE,IAAA,mBAAG,EAAC,IAAA,iBAAC,EAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAC3D,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,8CAA8C,EAAE,GAAG,EAAE;IAC5D,IAAA,WAAE,EAAC,iFAAiF,EAAE,GAAG,EAAE;QACzF,MAAM,KAAK,GAAyD;YAClE,EAAE,IAAI,EAAE,IAAA,qBAAK,EAAC,qBAAqB,CAAC,EAAE,GAAG,EAAE,GAAG,EAAE,MAAM,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,GAAG,EAAE,GAAG,EAAE,CAAC,CAAC,EAAE;YAC5E,EAAE,IAAI,EAAE,IAAA,qBAAK,EAAC,iBAAiB,CAAC,EAAE,GAAG,EAAE,GAAG,EAAE,MAAM,EAAE,CAAC,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE;YACpE,EAAE,IAAI,EAAE,IAAA,qBAAK,EAAC,oBAAoB,CAAC,EAAE,GAAG,EAAE,GAAG,EAAE,MAAM,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE;YACtE,EAAE,IAAI,EAAE,IAAA,qBAAK,EAAC,uBAAuB,CAAC,EAAE,GAAG,EAAE,GAAG,EAAE,MAAM,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,GAAG,CAAC,EAAE;YAC3E,EAAE,IAAI,EAAE,IAAA,qBAAK,EAAC,WAAW,CAAC,EAAE,GAAG,EAAE,GAAG,EAAE,MAAM,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE;SAC3D,CAAC;QACF,KAAK,MAAM,EAAE,IAAI,KAAK,EAAE,CAAC;YACvB,uBAAuB,CAAC,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,GAAG,EAAE,EAAE,CAAC,MAAM,CAAC,CAAC;QACtD,CAAC;IACH,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/tests/term-rewriting/critical-pairs.test.d.ts

@@ -0,0 +1,2 @@
+export {};
+//# sourceMappingURL=critical-pairs.test.d.ts.map

package/dist/tests/term-rewriting/critical-pairs.test.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"critical-pairs.test.d.ts","sourceRoot":"","sources":["../../../src/tests/term-rewriting/critical-pairs.test.ts"],"names":[],"mappings":""}

package/dist/tests/term-rewriting/critical-pairs.test.js

@@ -0,0 +1,34 @@
+"use strict";
+// ============================================================
+// Tests — Critical pairs + confluencia
+// ============================================================
+Object.defineProperty(exports, "__esModule", { value: true });
+const vitest_1 = require("vitest");
+const term_rewriting_1 = require("../../runtime/term-rewriting");
+(0, vitest_1.describe)('critical pairs', () => {
+    (0, vitest_1.it)('TRS sin solapes → cero CPs (módulo trivial)', () => {
+        // f(a) → b  y  g(a) → c: no se pueden overlappear.
+        const rules = [
+            { lhs: (0, term_rewriting_1.f)('f', (0, term_rewriting_1.c)('a')), rhs: (0, term_rewriting_1.c)('b') },
+            { lhs: (0, term_rewriting_1.f)('g', (0, term_rewriting_1.c)('a')), rhs: (0, term_rewriting_1.c)('c') },
+        ];
+        const cps = (0, term_rewriting_1.allCriticalPairs)(rules);
+        (0, vitest_1.expect)(cps.length).toBe(0);
+    });
+    (0, vitest_1.it)('TRS confluente trivial: rule única reflexiva', () => {
+        // f(x) → x ⇒ confluente (sin overlaps de raíz no triviales).
+        const rules = [{ lhs: (0, term_rewriting_1.f)('f', (0, term_rewriting_1.v)('x')), rhs: (0, term_rewriting_1.v)('x') }];
+        (0, vitest_1.expect)((0, term_rewriting_1.isConfluent)({ rules })).toBe(true);
+    });
+    (0, vitest_1.it)('detecta CP no joinable y reporta no-confluente', () => {
+        // Sistema no confluente: f(a) → b, f(a) → c (orientado del mismo LHS
+        // pero con RHS distintos). El overlap raíz produce CP (b, c) que
+        // no es joinable porque ambos son irreducibles.
+        const rules = [
+            { lhs: (0, term_rewriting_1.f)('f', (0, term_rewriting_1.c)('a')), rhs: (0, term_rewriting_1.c)('b') },
+            { lhs: (0, term_rewriting_1.f)('f', (0, term_rewriting_1.c)('a')), rhs: (0, term_rewriting_1.c)('c') },
+        ];
+        (0, vitest_1.expect)((0, term_rewriting_1.isConfluent)({ rules })).toBe(false);
+    });
+});
+//# sourceMappingURL=critical-pairs.test.js.map

package/dist/tests/term-rewriting/critical-pairs.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"critical-pairs.test.js","sourceRoot":"","sources":["../../../src/tests/term-rewriting/critical-pairs.test.ts"],"names":[],"mappings":";AAAA,+DAA+D;AAC/D,uCAAuC;AACvC,+DAA+D;;AAE/D,mCAA8C;AAC9C,iEAAsF;AAEtF,IAAA,iBAAQ,EAAC,gBAAgB,EAAE,GAAG,EAAE;IAC9B,IAAA,WAAE,EAAC,6CAA6C,EAAE,GAAG,EAAE;QACrD,mDAAmD;QACnD,MAAM,KAAK,GAAG;YACZ,EAAE,GAAG,EAAE,IAAA,kBAAC,EAAC,GAAG,EAAE,IAAA,kBAAC,EAAC,GAAG,CAAC,CAAC,EAAE,GAAG,EAAE,IAAA,kBAAC,EAAC,GAAG,CAAC,EAAE;YACpC,EAAE,GAAG,EAAE,IAAA,kBAAC,EAAC,GAAG,EAAE,IAAA,kBAAC,EAAC,GAAG,CAAC,CAAC,EAAE,GAAG,EAAE,IAAA,kBAAC,EAAC,GAAG,CAAC,EAAE;SACrC,CAAC;QACF,MAAM,GAAG,GAAG,IAAA,iCAAgB,EAAC,KAAK,CAAC,CAAC;QACpC,IAAA,eAAM,EAAC,GAAG,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAC7B,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,8CAA8C,EAAE,GAAG,EAAE;QACtD,6DAA6D;QAC7D,MAAM,KAAK,GAAG,CAAC,EAAE,GAAG,EAAE,IAAA,kBAAC,EAAC,GAAG,EAAE,IAAA,kBAAC,EAAC,GAAG,CAAC,CAAC,EAAE,GAAG,EAAE,IAAA,kBAAC,EAAC,GAAG,CAAC,EAAE,CAAC,CAAC;QACrD,IAAA,eAAM,EAAC,IAAA,4BAAW,EAAC,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC5C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,gDAAgD,EAAE,GAAG,EAAE;QACxD,qEAAqE;QACrE,iEAAiE;QACjE,gDAAgD;QAChD,MAAM,KAAK,GAAG;YACZ,EAAE,GAAG,EAAE,IAAA,kBAAC,EAAC,GAAG,EAAE,IAAA,kBAAC,EAAC,GAAG,CAAC,CAAC,EAAE,GAAG,EAAE,IAAA,kBAAC,EAAC,GAAG,CAAC,EAAE;YACpC,EAAE,GAAG,EAAE,IAAA,kBAAC,EAAC,GAAG,EAAE,IAAA,kBAAC,EAAC,GAAG,CAAC,CAAC,EAAE,GAAG,EAAE,IAAA,kBAAC,EAAC,GAAG,CAAC,EAAE;SACrC,CAAC;QACF,IAAA,eAAM,EAAC,IAAA,4BAAW,EAAC,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAC7C,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/tests/term-rewriting/knuth-bendix.test.d.ts

@@ -0,0 +1,2 @@
+export {};
+//# sourceMappingURL=knuth-bendix.test.d.ts.map

package/dist/tests/term-rewriting/knuth-bendix.test.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"knuth-bendix.test.d.ts","sourceRoot":"","sources":["../../../src/tests/term-rewriting/knuth-bendix.test.ts"],"names":[],"mappings":""}

package/dist/tests/term-rewriting/knuth-bendix.test.js

@@ -0,0 +1,94 @@
+"use strict";
+// ============================================================
+// Tests — Knuth-Bendix completion
+// ============================================================
+Object.defineProperty(exports, "__esModule", { value: true });
+const vitest_1 = require("vitest");
+const term_rewriting_1 = require("../../runtime/term-rewriting");
+(0, vitest_1.describe)('orient (LPO-based)', () => {
+    (0, vitest_1.it)('orienta una ecuación cuando LPO decide', () => {
+        const prec = new Map([
+            ['mult', 3],
+            ['e', 1],
+        ]);
+        const rule = (0, term_rewriting_1.orient)((0, term_rewriting_1.f)('mult', (0, term_rewriting_1.c)('e'), (0, term_rewriting_1.v)('x')), (0, term_rewriting_1.v)('x'), prec);
+        (0, vitest_1.expect)(rule).not.toBeNull();
+        (0, vitest_1.expect)((0, term_rewriting_1.termEquals)(rule.lhs, (0, term_rewriting_1.f)('mult', (0, term_rewriting_1.c)('e'), (0, term_rewriting_1.v)('x')))).toBe(true);
+        (0, vitest_1.expect)((0, term_rewriting_1.termEquals)(rule.rhs, (0, term_rewriting_1.v)('x'))).toBe(true);
+    });
+    (0, vitest_1.it)('devuelve null si LPO no decide (incomparable)', () => {
+        const prec = new Map();
+        // x = y son variables distintas ⇒ incomparables
+        const rule = (0, term_rewriting_1.orient)((0, term_rewriting_1.v)('x'), (0, term_rewriting_1.v)('y'), prec);
+        (0, vitest_1.expect)(rule).toBeNull();
+    });
+});
+(0, vitest_1.describe)('knuthBendixCompletion', () => {
+    (0, vitest_1.it)('TRS ya confluente y terminante → completed sin cambios', () => {
+        // {f(x) → x}
+        const rules = [{ lhs: (0, term_rewriting_1.f)('f', (0, term_rewriting_1.v)('x')), rhs: (0, term_rewriting_1.v)('x') }];
+        const prec = new Map([['f', 2]]);
+        const result = (0, term_rewriting_1.knuthBendixCompletion)(rules, { precedence: prec, maxSteps: 50 });
+        (0, vitest_1.expect)(result.completed).toBe(true);
+        (0, vitest_1.expect)(result.trs.rules).toHaveLength(1);
+    });
+    (0, vitest_1.it)('TRS de grupos parciales: e*x → x y x*e → x completa sin agregar reglas', () => {
+        const prec = new Map([
+            ['mult', 4],
+            ['inv', 3],
+            ['e', 1],
+        ]);
+        const initial = [
+            { lhs: (0, term_rewriting_1.f)('mult', (0, term_rewriting_1.c)('e'), (0, term_rewriting_1.v)('x')), rhs: (0, term_rewriting_1.v)('x') },
+            { lhs: (0, term_rewriting_1.f)('mult', (0, term_rewriting_1.v)('x'), (0, term_rewriting_1.c)('e')), rhs: (0, term_rewriting_1.v)('x') },
+        ];
+        const result = (0, term_rewriting_1.knuthBendixCompletion)(initial, { precedence: prec, maxSteps: 50 });
+        (0, vitest_1.expect)(result.completed).toBe(true);
+        // El resultado sigue siendo confluente.
+        (0, vitest_1.expect)((0, term_rewriting_1.isConfluent)(result.trs)).toBe(true);
+    });
+    (0, vitest_1.it)('completa un sistema de grupos pequeño (inversa por izq + identidad izq)', () => {
+        // Ecuaciones:
+        //   mult(e, x) = x
+        //   mult(inv(x), x) = e
+        //   mult(mult(x, y), z) = mult(x, mult(y, z))   (asociatividad)
+        //
+        // Con LPO y precedencia mult > inv > e, KB debería completar.
+        const prec = new Map([
+            ['mult', 4],
+            ['inv', 3],
+            ['e', 1],
+        ]);
+        const initial = [
+            { lhs: (0, term_rewriting_1.f)('mult', (0, term_rewriting_1.c)('e'), (0, term_rewriting_1.v)('x')), rhs: (0, term_rewriting_1.v)('x') },
+            { lhs: (0, term_rewriting_1.f)('mult', (0, term_rewriting_1.f)('inv', (0, term_rewriting_1.v)('x')), (0, term_rewriting_1.v)('x')), rhs: (0, term_rewriting_1.c)('e') },
+            {
+                lhs: (0, term_rewriting_1.f)('mult', (0, term_rewriting_1.f)('mult', (0, term_rewriting_1.v)('x'), (0, term_rewriting_1.v)('y')), (0, term_rewriting_1.v)('z')),
+                rhs: (0, term_rewriting_1.f)('mult', (0, term_rewriting_1.v)('x'), (0, term_rewriting_1.f)('mult', (0, term_rewriting_1.v)('y'), (0, term_rewriting_1.v)('z'))),
+            },
+        ];
+        const result = (0, term_rewriting_1.knuthBendixCompletion)(initial, { precedence: prec, maxSteps: 80 });
+        // Algunos sistemas de grupos terminan en KB clásico tras añadir
+        // ~6-10 reglas; lo importante acá es que termina y que el TRS
+        // resultante normaliza correctamente.
+        (0, vitest_1.expect)(result.trs.rules.length).toBeGreaterThanOrEqual(3);
+        // Confirmamos que mult(inv(a), mult(a, b)) se normaliza al mismo
+        // término que b (en grupos: inv(a) * (a*b) = (inv(a)*a)*b = e*b = b).
+        if (result.completed) {
+            const lhs = (0, term_rewriting_1.normalize)((0, term_rewriting_1.f)('mult', (0, term_rewriting_1.f)('inv', (0, term_rewriting_1.c)('a')), (0, term_rewriting_1.f)('mult', (0, term_rewriting_1.c)('a'), (0, term_rewriting_1.c)('b'))), result.trs.rules);
+            const rhs = (0, term_rewriting_1.normalize)((0, term_rewriting_1.c)('b'), result.trs.rules);
+            (0, vitest_1.expect)((0, term_rewriting_1.termEquals)(lhs, rhs)).toBe(true);
+        }
+    });
+    (0, vitest_1.it)('respeta maxSteps en sistemas que no completan', () => {
+        // Sistema con CPs persistentemente no joinables y no orientables.
+        // f(x, y) = f(y, x) (commutatividad) — KB clásico falla acá porque
+        // ningún LPO orienta f(x,y) vs f(y,x).
+        const prec = new Map([['f', 2]]);
+        const initial = [{ lhs: (0, term_rewriting_1.f)('f', (0, term_rewriting_1.v)('x'), (0, term_rewriting_1.v)('y')), rhs: (0, term_rewriting_1.f)('f', (0, term_rewriting_1.v)('y'), (0, term_rewriting_1.v)('x')) }];
+        const result = (0, term_rewriting_1.knuthBendixCompletion)(initial, { precedence: prec, maxSteps: 10 });
+        // Debe devolver completed:false sin colgarse.
+        (0, vitest_1.expect)(result.completed).toBe(false);
+    });
+});
+//# sourceMappingURL=knuth-bendix.test.js.map

package/dist/tests/term-rewriting/knuth-bendix.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"knuth-bendix.test.js","sourceRoot":"","sources":["../../../src/tests/term-rewriting/knuth-bendix.test.ts"],"names":[],"mappings":";AAAA,+DAA+D;AAC/D,kCAAkC;AAClC,+DAA+D;;AAE/D,mCAA8C;AAC9C,iEASsC;AAEtC,IAAA,iBAAQ,EAAC,oBAAoB,EAAE,GAAG,EAAE;IAClC,IAAA,WAAE,EAAC,wCAAwC,EAAE,GAAG,EAAE;QAChD,MAAM,IAAI,GAAG,IAAI,GAAG,CAAiB;YACnC,CAAC,MAAM,EAAE,CAAC,CAAC;YACX,CAAC,GAAG,EAAE,CAAC,CAAC;SACT,CAAC,CAAC;QACH,MAAM,IAAI,GAAG,IAAA,uBAAM,EAAC,IAAA,kBAAC,EAAC,MAAM,EAAE,IAAA,kBAAC,EAAC,GAAG,CAAC,EAAE,IAAA,kBAAC,EAAC,GAAG,CAAC,CAAC,EAAE,IAAA,kBAAC,EAAC,GAAG,CAAC,EAAE,IAAI,CAAC,CAAC;QAC7D,IAAA,eAAM,EAAC,IAAI,CAAC,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC;QAC5B,IAAA,eAAM,EAAC,IAAA,2BAAU,EAAC,IAAK,CAAC,GAAG,EAAE,IAAA,kBAAC,EAAC,MAAM,EAAE,IAAA,kBAAC,EAAC,GAAG,CAAC,EAAE,IAAA,kBAAC,EAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACpE,IAAA,eAAM,EAAC,IAAA,2BAAU,EAAC,IAAK,CAAC,GAAG,EAAE,IAAA,kBAAC,EAAC,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACnD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,+CAA+C,EAAE,GAAG,EAAE;QACvD,MAAM,IAAI,GAAG,IAAI,GAAG,EAAkB,CAAC;QACvC,gDAAgD;QAChD,MAAM,IAAI,GAAG,IAAA,uBAAM,EAAC,IAAA,kBAAC,EAAC,GAAG,CAAC,EAAE,IAAA,kBAAC,EAAC,GAAG,CAAC,EAAE,IAAI,CAAC,CAAC;QAC1C,IAAA,eAAM,EAAC,IAAI,CAAC,CAAC,QAAQ,EAAE,CAAC;IAC1B,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,uBAAuB,EAAE,GAAG,EAAE;IACrC,IAAA,WAAE,EAAC,wDAAwD,EAAE,GAAG,EAAE;QAChE,aAAa;QACb,MAAM,KAAK,GAAG,CAAC,EAAE,GAAG,EAAE,IAAA,kBAAC,EAAC,GAAG,EAAE,IAAA,kBAAC,EAAC,GAAG,CAAC,CAAC,EAAE,GAAG,EAAE,IAAA,kBAAC,EAAC,GAAG,CAAC,EAAE,CAAC,CAAC;QACrD,MAAM,IAAI,GAAG,IAAI,GAAG,CAAiB,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;QACjD,MAAM,MAAM,GAAG,IAAA,sCAAqB,EAAC,KAAK,EAAE,EAAE,UAAU,EAAE,IAAI,EAAE,QAAQ,EAAE,EAAE,EAAE,CAAC,CAAC;QAChF,IAAA,eAAM,EAAC,MAAM,CAAC,SAAS,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACpC,IAAA,eAAM,EAAC,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;IAC3C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,wEAAwE,EAAE,GAAG,EAAE;QAChF,MAAM,IAAI,GAAG,IAAI,GAAG,CAAiB;YACnC,CAAC,MAAM,EAAE,CAAC,CAAC;YACX,CAAC,KAAK,EAAE,CAAC,CAAC;YACV,CAAC,GAAG,EAAE,CAAC,CAAC;SACT,CAAC,CAAC;QACH,MAAM,OAAO,GAAG;YACd,EAAE,GAAG,EAAE,IAAA,kBAAC,EAAC,MAAM,EAAE,IAAA,kBAAC,EAAC,GAAG,CAAC,EAAE,IAAA,kBAAC,EAAC,GAAG,CAAC,CAAC,EAAE,GAAG,EAAE,IAAA,kBAAC,EAAC,GAAG,CAAC,EAAE;YAC/C,EAAE,GAAG,EAAE,IAAA,kBAAC,EAAC,MAAM,EAAE,IAAA,kBAAC,EAAC,GAAG,CAAC,EAAE,IAAA,kBAAC,EAAC,GAAG,CAAC,CAAC,EAAE,GAAG,EAAE,IAAA,kBAAC,EAAC,GAAG,CAAC,EAAE;SAChD,CAAC;QACF,MAAM,MAAM,GAAG,IAAA,sCAAqB,EAAC,OAAO,EAAE,EAAE,UAAU,EAAE,IAAI,EAAE,QAAQ,EAAE,EAAE,EAAE,CAAC,CAAC;QAClF,IAAA,eAAM,EAAC,MAAM,CAAC,SAAS,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACpC,wCAAwC;QACxC,IAAA,eAAM,EAAC,IAAA,4BAAW,EAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC7C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,yEAAyE,EAAE,GAAG,EAAE;QACjF,cAAc;QACd,mBAAmB;QACnB,wBAAwB;QACxB,gEAAgE;QAChE,EAAE;QACF,8DAA8D;QAC9D,MAAM,IAAI,GAAG,IAAI,GAAG,CAAiB;YACnC,CAAC,MAAM,EAAE,CAAC,CAAC;YACX,CAAC,KAAK,EAAE,CAAC,CAAC;YACV,CAAC,GAAG,EAAE,CAAC,CAAC;SACT,CAAC,CAAC;QACH,MAAM,OAAO,GAAG;YACd,EAAE,GAAG,EAAE,IAAA,kBAAC,EAAC,MAAM,EAAE,IAAA,kBAAC,EAAC,GAAG,CAAC,EAAE,IAAA,kBAAC,EAAC,GAAG,CAAC,CAAC,EAAE,GAAG,EAAE,IAAA,kBAAC,EAAC,GAAG,CAAC,EAAE;YAC/C,EAAE,GAAG,EAAE,IAAA,kBAAC,EAAC,MAAM,EAAE,IAAA,kBAAC,EAAC,KAAK,EAAE,IAAA,kBAAC,EAAC,GAAG,CAAC,CAAC,EAAE,IAAA,kBAAC,EAAC,GAAG,CAAC,CAAC,EAAE,GAAG,EAAE,IAAA,kBAAC,EAAC,GAAG,CAAC,EAAE;YACzD;gBACE,GAAG,EAAE,IAAA,kBAAC,EAAC,MAAM,EAAE,IAAA,kBAAC,EAAC,MAAM,EAAE,IAAA,kBAAC,EAAC,GAAG,CAAC,EAAE,IAAA,kBAAC,EAAC,GAAG,CAAC,CAAC,EAAE,IAAA,kBAAC,EAAC,GAAG,CAAC,CAAC;gBACjD,GAAG,EAAE,IAAA,kBAAC,EAAC,MAAM,EAAE,IAAA,kBAAC,EAAC,GAAG,CAAC,EAAE,IAAA,kBAAC,EAAC,MAAM,EAAE,IAAA,kBAAC,EAAC,GAAG,CAAC,EAAE,IAAA,kBAAC,EAAC,GAAG,CAAC,CAAC,CAAC;aAClD;SACF,CAAC;QACF,MAAM,MAAM,GAAG,IAAA,sCAAqB,EAAC,OAAO,EAAE,EAAE,UAAU,EAAE,IAAI,EAAE,QAAQ,EAAE,EAAE,EAAE,CAAC,CAAC;QAClF,gEAAgE;QAChE,8DAA8D;QAC9D,sCAAsC;QACtC,IAAA,eAAM,EAAC,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,sBAAsB,CAAC,CAAC,CAAC,CAAC;QAE1D,iEAAiE;QACjE,sEAAsE;QACtE,IAAI,MAAM,CAAC,SAAS,EAAE,CAAC;YACrB,MAAM,GAAG,GAAG,IAAA,0BAAS,EACnB,IAAA,kBAAC,EAAC,MAAM,EAAE,IAAA,kBAAC,EAAC,KAAK,EAAE,IAAA,kBAAC,EAAC,GAAG,CAAC,CAAC,EAAE,IAAA,kBAAC,EAAC,MAAM,EAAE,IAAA,kBAAC,EAAC,GAAG,CAAC,EAAE,IAAA,kBAAC,EAAC,GAAG,CAAC,CAAC,CAAC,EACtD,MAAM,CAAC,GAAG,CAAC,KAAK,CACjB,CAAC;YACF,MAAM,GAAG,GAAG,IAAA,0BAAS,EAAC,IAAA,kBAAC,EAAC,GAAG,CAAC,EAAE,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;YAChD,IAAA,eAAM,EAAC,IAAA,2BAAU,EAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC1C,CAAC;IACH,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,+CAA+C,EAAE,GAAG,EAAE;QACvD,kEAAkE;QAClE,mEAAmE;QACnE,uCAAuC;QACvC,MAAM,IAAI,GAAG,IAAI,GAAG,CAAiB,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;QACjD,MAAM,OAAO,GAAG,CAAC,EAAE,GAAG,EAAE,IAAA,kBAAC,EAAC,GAAG,EAAE,IAAA,kBAAC,EAAC,GAAG,CAAC,EAAE,IAAA,kBAAC,EAAC,GAAG,CAAC,CAAC,EAAE,GAAG,EAAE,IAAA,kBAAC,EAAC,GAAG,EAAE,IAAA,kBAAC,EAAC,GAAG,CAAC,EAAE,IAAA,kBAAC,EAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC;QAC/E,MAAM,MAAM,GAAG,IAAA,sCAAqB,EAAC,OAAO,EAAE,EAAE,UAAU,EAAE,IAAI,EAAE,QAAQ,EAAE,EAAE,EAAE,CAAC,CAAC;QAClF,8CAA8C;QAC9C,IAAA,eAAM,EAAC,MAAM,CAAC,SAAS,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACvC,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/tests/term-rewriting/lpo.test.d.ts

@@ -0,0 +1,2 @@
+export {};
+//# sourceMappingURL=lpo.test.d.ts.map

package/dist/tests/term-rewriting/lpo.test.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"lpo.test.d.ts","sourceRoot":"","sources":["../../../src/tests/term-rewriting/lpo.test.ts"],"names":[],"mappings":""}

package/dist/tests/term-rewriting/lpo.test.js

@@ -0,0 +1,57 @@
+"use strict";
+// ============================================================
+// Tests — Lexicographic Path Order
+// ============================================================
+Object.defineProperty(exports, "__esModule", { value: true });
+const vitest_1 = require("vitest");
+const term_rewriting_1 = require("../../runtime/term-rewriting");
+(0, vitest_1.describe)('LPO', () => {
+    (0, vitest_1.it)('f > g implica f(x) >LPO g(x)', () => {
+        const prec = new Map([
+            ['f', 2],
+            ['g', 1],
+        ]);
+        (0, vitest_1.expect)((0, term_rewriting_1.lpo)((0, term_rewriting_1.f)('f', (0, term_rewriting_1.v)('x')), (0, term_rewriting_1.f)('g', (0, term_rewriting_1.v)('x')), prec)).toBe(1);
+        (0, vitest_1.expect)((0, term_rewriting_1.lpo)((0, term_rewriting_1.f)('g', (0, term_rewriting_1.v)('x')), (0, term_rewriting_1.f)('f', (0, term_rewriting_1.v)('x')), prec)).toBe(-1);
+    });
+    (0, vitest_1.it)('LPO reconoce igualdad estructural', () => {
+        const prec = new Map();
+        const cmp = (0, term_rewriting_1.lpoCompare)((0, term_rewriting_1.f)('f', (0, term_rewriting_1.v)('x')), (0, term_rewriting_1.f)('f', (0, term_rewriting_1.v)('x')), prec);
+        (0, vitest_1.expect)(cmp).toBe('eq');
+    });
+    (0, vitest_1.it)('subterm rule: f(g(a)) >LPO g(a)', () => {
+        // El argumento de un símbolo domina al término entero, por LPO1.
+        const prec = new Map([
+            ['f', 1],
+            ['g', 2],
+        ]);
+        // f(g(a)) >LPO g(a): por LPO1, sᵢ = g(a) ≥LPO g(a) ⇒ sí.
+        (0, vitest_1.expect)((0, term_rewriting_1.lpo)((0, term_rewriting_1.f)('f', (0, term_rewriting_1.f)('g', (0, term_rewriting_1.c)('a'))), (0, term_rewriting_1.f)('g', (0, term_rewriting_1.c)('a')), prec)).toBe(1);
+    });
+    (0, vitest_1.it)('LPO compara lexicográficamente argumentos con mismo símbolo', () => {
+        const prec = new Map([
+            ['f', 1],
+            ['a', 2],
+            ['b', 1],
+        ]);
+        // f(a, b) vs f(b, b): primer arg a > b por precedencia, además f(a,b) >LPO b
+        (0, vitest_1.expect)((0, term_rewriting_1.lpo)((0, term_rewriting_1.f)('f', (0, term_rewriting_1.c)('a'), (0, term_rewriting_1.c)('b')), (0, term_rewriting_1.f)('f', (0, term_rewriting_1.c)('b'), (0, term_rewriting_1.c)('b')), prec)).toBe(1);
+    });
+    (0, vitest_1.it)('variables distintas son incomparables', () => {
+        const prec = new Map();
+        (0, vitest_1.expect)((0, term_rewriting_1.lpoCompare)((0, term_rewriting_1.v)('x'), (0, term_rewriting_1.v)('y'), prec)).toBe('inc');
+    });
+    (0, vitest_1.it)('orientación clásica de grupos: e*x → x (lhs > rhs por LPO)', () => {
+        // Precedencia: mult > inv > e (constantes simples más bajas).
+        const prec = new Map([
+            ['mult', 3],
+            ['inv', 2],
+            ['e', 1],
+        ]);
+        const lhs = (0, term_rewriting_1.f)('mult', (0, term_rewriting_1.c)('e'), (0, term_rewriting_1.v)('x'));
+        const rhs = (0, term_rewriting_1.v)('x');
+        // mult(e, x) >LPO x: LPO1 con sᵢ = x ⇒ x ≥LPO x ⇒ sí.
+        (0, vitest_1.expect)((0, term_rewriting_1.lpo)(lhs, rhs, prec)).toBe(1);
+    });
+});
+//# sourceMappingURL=lpo.test.js.map

package/dist/tests/term-rewriting/lpo.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"lpo.test.js","sourceRoot":"","sources":["../../../src/tests/term-rewriting/lpo.test.ts"],"names":[],"mappings":";AAAA,+DAA+D;AAC/D,mCAAmC;AACnC,+DAA+D;;AAE/D,mCAA8C;AAC9C,iEAAwE;AAExE,IAAA,iBAAQ,EAAC,KAAK,EAAE,GAAG,EAAE;IACnB,IAAA,WAAE,EAAC,8BAA8B,EAAE,GAAG,EAAE;QACtC,MAAM,IAAI,GAAG,IAAI,GAAG,CAAC;YACnB,CAAC,GAAG,EAAE,CAAC,CAAC;YACR,CAAC,GAAG,EAAE,CAAC,CAAC;SACT,CAAC,CAAC;QACH,IAAA,eAAM,EAAC,IAAA,oBAAG,EAAC,IAAA,kBAAC,EAAC,GAAG,EAAE,IAAA,kBAAC,EAAC,GAAG,CAAC,CAAC,EAAE,IAAA,kBAAC,EAAC,GAAG,EAAE,IAAA,kBAAC,EAAC,GAAG,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAC1D,IAAA,eAAM,EAAC,IAAA,oBAAG,EAAC,IAAA,kBAAC,EAAC,GAAG,EAAE,IAAA,kBAAC,EAAC,GAAG,CAAC,CAAC,EAAE,IAAA,kBAAC,EAAC,GAAG,EAAE,IAAA,kBAAC,EAAC,GAAG,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC;IAC7D,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,mCAAmC,EAAE,GAAG,EAAE;QAC3C,MAAM,IAAI,GAAG,IAAI,GAAG,EAAkB,CAAC;QACvC,MAAM,GAAG,GAAG,IAAA,2BAAU,EAAC,IAAA,kBAAC,EAAC,GAAG,EAAE,IAAA,kBAAC,EAAC,GAAG,CAAC,CAAC,EAAE,IAAA,kBAAC,EAAC,GAAG,EAAE,IAAA,kBAAC,EAAC,GAAG,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC;QAC7D,IAAA,eAAM,EAAC,GAAG,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACzB,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,iCAAiC,EAAE,GAAG,EAAE;QACzC,iEAAiE;QACjE,MAAM,IAAI,GAAG,IAAI,GAAG,CAAC;YACnB,CAAC,GAAG,EAAE,CAAC,CAAC;YACR,CAAC,GAAG,EAAE,CAAC,CAAC;SACT,CAAC,CAAC;QACH,yDAAyD;QACzD,IAAA,eAAM,EAAC,IAAA,oBAAG,EAAC,IAAA,kBAAC,EAAC,GAAG,EAAE,IAAA,kBAAC,EAAC,GAAG,EAAE,IAAA,kBAAC,EAAC,GAAG,CAAC,CAAC,CAAC,EAAE,IAAA,kBAAC,EAAC,GAAG,EAAE,IAAA,kBAAC,EAAC,GAAG,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACpE,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,6DAA6D,EAAE,GAAG,EAAE;QACrE,MAAM,IAAI,GAAG,IAAI,GAAG,CAAC;YACnB,CAAC,GAAG,EAAE,CAAC,CAAC;YACR,CAAC,GAAG,EAAE,CAAC,CAAC;YACR,CAAC,GAAG,EAAE,CAAC,CAAC;SACT,CAAC,CAAC;QACH,6EAA6E;QAC7E,IAAA,eAAM,EAAC,IAAA,oBAAG,EAAC,IAAA,kBAAC,EAAC,GAAG,EAAE,IAAA,kBAAC,EAAC,GAAG,CAAC,EAAE,IAAA,kBAAC,EAAC,GAAG,CAAC,CAAC,EAAE,IAAA,kBAAC,EAAC,GAAG,EAAE,IAAA,kBAAC,EAAC,GAAG,CAAC,EAAE,IAAA,kBAAC,EAAC,GAAG,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAC5E,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,uCAAuC,EAAE,GAAG,EAAE;QAC/C,MAAM,IAAI,GAAG,IAAI,GAAG,EAAkB,CAAC;QACvC,IAAA,eAAM,EAAC,IAAA,2BAAU,EAAC,IAAA,kBAAC,EAAC,GAAG,CAAC,EAAE,IAAA,kBAAC,EAAC,GAAG,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACvD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,4DAA4D,EAAE,GAAG,EAAE;QACpE,8DAA8D;QAC9D,MAAM,IAAI,GAAG,IAAI,GAAG,CAAiB;YACnC,CAAC,MAAM,EAAE,CAAC,CAAC;YACX,CAAC,KAAK,EAAE,CAAC,CAAC;YACV,CAAC,GAAG,EAAE,CAAC,CAAC;SACT,CAAC,CAAC;QACH,MAAM,GAAG,GAAG,IAAA,kBAAC,EAAC,MAAM,EAAE,IAAA,kBAAC,EAAC,GAAG,CAAC,EAAE,IAAA,kBAAC,EAAC,GAAG,CAAC,CAAC,CAAC;QACtC,MAAM,GAAG,GAAG,IAAA,kBAAC,EAAC,GAAG,CAAC,CAAC;QACnB,sDAAsD;QACtD,IAAA,eAAM,EAAC,IAAA,oBAAG,EAAC,GAAG,EAAE,GAAG,EAAE,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACtC,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/tests/term-rewriting/rewrite.test.d.ts

@@ -0,0 +1,2 @@
+export {};
+//# sourceMappingURL=rewrite.test.d.ts.map

package/dist/tests/term-rewriting/rewrite.test.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"rewrite.test.d.ts","sourceRoot":"","sources":["../../../src/tests/term-rewriting/rewrite.test.ts"],"names":[],"mappings":""}