@stevenvo780/st-lang 4.1.0 → 4.3.0

package/dist/runtime/proof-minify/types.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"types.js","sourceRoot":"","sources":["../../../src/runtime/proof-minify/types.ts"],"names":[],"mappings":";AAAA,+DAA+D;AAC/D,yCAAyC;AACzC,+DAA+D;AAC/D,EAAE;AACF,qEAAqE;AACrE,kEAAkE;AAClE,mEAAmE;AACnE,sEAAsE;AACtE,wDAAwD;AACxD,EAAE;AACF,qEAAqE;AACrE,gEAAgE;AAChE,qDAAqD"}

package/dist/runtime/symbolic-diff/constructors.d.ts

@@ -0,0 +1,16 @@
+import type { Expr, UnaryFn } from './types';
+export declare function cst(value: number): Expr;
+export declare function v(name: string): Expr;
+export declare function add(...args: Expr[]): Expr;
+export declare function mul(...args: Expr[]): Expr;
+export declare function sub(left: Expr, right: Expr): Expr;
+export declare function div(left: Expr, right: Expr): Expr;
+export declare function pow(base: Expr, exp: Expr): Expr;
+export declare function neg(arg: Expr): Expr;
+export declare function fn(name: UnaryFn, arg: Expr): Expr;
+export declare function sin(arg: Expr): Expr;
+export declare function cos(arg: Expr): Expr;
+export declare function tan(arg: Expr): Expr;
+export declare function log(arg: Expr): Expr;
+export declare function exp(arg: Expr): Expr;
+//# sourceMappingURL=constructors.d.ts.map

package/dist/runtime/symbolic-diff/constructors.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"constructors.d.ts","sourceRoot":"","sources":["../../../src/runtime/symbolic-diff/constructors.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,IAAI,EAAE,OAAO,EAAE,MAAM,SAAS,CAAC;AAE7C,wBAAgB,GAAG,CAAC,KAAK,EAAE,MAAM,GAAG,IAAI,CAEvC;AAED,wBAAgB,CAAC,CAAC,IAAI,EAAE,MAAM,GAAG,IAAI,CAEpC;AAED,wBAAgB,GAAG,CAAC,GAAG,IAAI,EAAE,IAAI,EAAE,GAAG,IAAI,CAQzC;AAED,wBAAgB,GAAG,CAAC,GAAG,IAAI,EAAE,IAAI,EAAE,GAAG,IAAI,CAQzC;AAED,wBAAgB,GAAG,CAAC,IAAI,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,GAAG,IAAI,CAEjD;AAED,wBAAgB,GAAG,CAAC,IAAI,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,GAAG,IAAI,CAEjD;AAED,wBAAgB,GAAG,CAAC,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,GAAG,IAAI,CAE/C;AAED,wBAAgB,GAAG,CAAC,GAAG,EAAE,IAAI,GAAG,IAAI,CAEnC;AAED,wBAAgB,EAAE,CAAC,IAAI,EAAE,OAAO,EAAE,GAAG,EAAE,IAAI,GAAG,IAAI,CAEjD;AAED,wBAAgB,GAAG,CAAC,GAAG,EAAE,IAAI,GAAG,IAAI,CAEnC;AAED,wBAAgB,GAAG,CAAC,GAAG,EAAE,IAAI,GAAG,IAAI,CAEnC;AAED,wBAAgB,GAAG,CAAC,GAAG,EAAE,IAAI,GAAG,IAAI,CAEnC;AAED,wBAAgB,GAAG,CAAC,GAAG,EAAE,IAAI,GAAG,IAAI,CAEnC;AAED,wBAAgB,GAAG,CAAC,GAAG,EAAE,IAAI,GAAG,IAAI,CAEnC"}

package/dist/runtime/symbolic-diff/constructors.js

@@ -0,0 +1,75 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.cst = cst;
+exports.v = v;
+exports.add = add;
+exports.mul = mul;
+exports.sub = sub;
+exports.div = div;
+exports.pow = pow;
+exports.neg = neg;
+exports.fn = fn;
+exports.sin = sin;
+exports.cos = cos;
+exports.tan = tan;
+exports.log = log;
+exports.exp = exp;
+function cst(value) {
+    return { kind: 'const', value };
+}
+function v(name) {
+    return { kind: 'var', name };
+}
+function add(...args) {
+    if (args.length === 0)
+        return cst(0);
+    if (args.length === 1) {
+        const only = args[0];
+        if (only === undefined)
+            return cst(0);
+        return only;
+    }
+    return { kind: 'add', args };
+}
+function mul(...args) {
+    if (args.length === 0)
+        return cst(1);
+    if (args.length === 1) {
+        const only = args[0];
+        if (only === undefined)
+            return cst(1);
+        return only;
+    }
+    return { kind: 'mul', args };
+}
+function sub(left, right) {
+    return { kind: 'sub', left, right };
+}
+function div(left, right) {
+    return { kind: 'div', left, right };
+}
+function pow(base, exp) {
+    return { kind: 'pow', base, exp };
+}
+function neg(arg) {
+    return { kind: 'neg', arg };
+}
+function fn(name, arg) {
+    return { kind: name, arg };
+}
+function sin(arg) {
+    return { kind: 'sin', arg };
+}
+function cos(arg) {
+    return { kind: 'cos', arg };
+}
+function tan(arg) {
+    return { kind: 'tan', arg };
+}
+function log(arg) {
+    return { kind: 'log', arg };
+}
+function exp(arg) {
+    return { kind: 'exp', arg };
+}
+//# sourceMappingURL=constructors.js.map

package/dist/runtime/symbolic-diff/constructors.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"constructors.js","sourceRoot":"","sources":["../../../src/runtime/symbolic-diff/constructors.ts"],"names":[],"mappings":";;AAEA,kBAEC;AAED,cAEC;AAED,kBAQC;AAED,kBAQC;AAED,kBAEC;AAED,kBAEC;AAED,kBAEC;AAED,kBAEC;AAED,gBAEC;AAED,kBAEC;AAED,kBAEC;AAED,kBAEC;AAED,kBAEC;AAED,kBAEC;AAlED,SAAgB,GAAG,CAAC,KAAa;IAC/B,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC;AAClC,CAAC;AAED,SAAgB,CAAC,CAAC,IAAY;IAC5B,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC;AAC/B,CAAC;AAED,SAAgB,GAAG,CAAC,GAAG,IAAY;IACjC,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,GAAG,CAAC,CAAC,CAAC,CAAC;IACrC,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACtB,MAAM,IAAI,GAAG,IAAI,CAAC,CAAC,CAAC,CAAC;QACrB,IAAI,IAAI,KAAK,SAAS;YAAE,OAAO,GAAG,CAAC,CAAC,CAAC,CAAC;QACtC,OAAO,IAAI,CAAC;IACd,CAAC;IACD,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC;AAC/B,CAAC;AAED,SAAgB,GAAG,CAAC,GAAG,IAAY;IACjC,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,GAAG,CAAC,CAAC,CAAC,CAAC;IACrC,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACtB,MAAM,IAAI,GAAG,IAAI,CAAC,CAAC,CAAC,CAAC;QACrB,IAAI,IAAI,KAAK,SAAS;YAAE,OAAO,GAAG,CAAC,CAAC,CAAC,CAAC;QACtC,OAAO,IAAI,CAAC;IACd,CAAC;IACD,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC;AAC/B,CAAC;AAED,SAAgB,GAAG,CAAC,IAAU,EAAE,KAAW;IACzC,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC;AACtC,CAAC;AAED,SAAgB,GAAG,CAAC,IAAU,EAAE,KAAW;IACzC,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC;AACtC,CAAC;AAED,SAAgB,GAAG,CAAC,IAAU,EAAE,GAAS;IACvC,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC;AACpC,CAAC;AAED,SAAgB,GAAG,CAAC,GAAS;IAC3B,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,EAAE,CAAC;AAC9B,CAAC;AAED,SAAgB,EAAE,CAAC,IAAa,EAAE,GAAS;IACzC,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC;AAC7B,CAAC;AAED,SAAgB,GAAG,CAAC,GAAS;IAC3B,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,EAAE,CAAC;AAC9B,CAAC;AAED,SAAgB,GAAG,CAAC,GAAS;IAC3B,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,EAAE,CAAC;AAC9B,CAAC;AAED,SAAgB,GAAG,CAAC,GAAS;IAC3B,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,EAAE,CAAC;AAC9B,CAAC;AAED,SAAgB,GAAG,CAAC,GAAS;IAC3B,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,EAAE,CAAC;AAC9B,CAAC;AAED,SAAgB,GAAG,CAAC,GAAS;IAC3B,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,EAAE,CAAC;AAC9B,CAAC"}

package/dist/runtime/symbolic-diff/differentiate.d.ts

@@ -0,0 +1,22 @@
+import type { Expr } from './types';
+import { v as makeVar } from './constructors';
+/**
+ * Diferenciación simbólica respecto a `varName`.
+ *
+ * Reglas:
+ * - Linealidad: d/dx(f+g) = f' + g'
+ * - Producto: d/dx(f*g) = f'*g + f*g'  (generalizado a N factores)
+ * - Cociente: d/dx(f/g) = (f'*g - f*g') / g^2
+ * - Cadena: d/dx(f(g(x))) = f'(g(x)) * g'(x)
+ * - Potencia general: d/dx(f^g) = f^g * (g'*ln(f) + g*f'/f)
+ *   (caso especial: exponente constante → g*f^(g-1)*f')
+ *
+ * El resultado se simplifica antes de devolverse.
+ */
+export declare function differentiate(expr: Expr, varName: string): Expr;
+/**
+ * Gradiente: lista de derivadas parciales por variable.
+ */
+export declare function gradient(expr: Expr, vars: string[]): Expr[];
+export declare const variable: typeof makeVar;
+//# sourceMappingURL=differentiate.d.ts.map

package/dist/runtime/symbolic-diff/differentiate.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"differentiate.d.ts","sourceRoot":"","sources":["../../../src/runtime/symbolic-diff/differentiate.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,IAAI,EAAE,MAAM,SAAS,CAAC;AACpC,OAAO,EAAO,CAAC,IAAI,OAAO,EAAoD,MAAM,gBAAgB,CAAC;AAGrG;;;;;;;;;;;;GAYG;AACH,wBAAgB,aAAa,CAAC,IAAI,EAAE,IAAI,EAAE,OAAO,EAAE,MAAM,GAAG,IAAI,CAE/D;AAwFD;;GAEG;AACH,wBAAgB,QAAQ,CAAC,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,IAAI,EAAE,CAE3D;AAGD,eAAO,MAAM,QAAQ,gBAAU,CAAC"}

package/dist/runtime/symbolic-diff/differentiate.js

@@ -0,0 +1,107 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.variable = void 0;
+exports.differentiate = differentiate;
+exports.gradient = gradient;
+const constructors_1 = require("./constructors");
+const simplify_1 = require("./simplify");
+/**
+ * Diferenciación simbólica respecto a `varName`.
+ *
+ * Reglas:
+ * - Linealidad: d/dx(f+g) = f' + g'
+ * - Producto: d/dx(f*g) = f'*g + f*g'  (generalizado a N factores)
+ * - Cociente: d/dx(f/g) = (f'*g - f*g') / g^2
+ * - Cadena: d/dx(f(g(x))) = f'(g(x)) * g'(x)
+ * - Potencia general: d/dx(f^g) = f^g * (g'*ln(f) + g*f'/f)
+ *   (caso especial: exponente constante → g*f^(g-1)*f')
+ *
+ * El resultado se simplifica antes de devolverse.
+ */
+function differentiate(expr, varName) {
+    return (0, simplify_1.simplify)(diffRaw(expr, varName));
+}
+function diffRaw(expr, x) {
+    switch (expr.kind) {
+        case 'const':
+            return (0, constructors_1.cst)(0);
+        case 'var':
+            return (0, constructors_1.cst)(expr.name === x ? 1 : 0);
+        case 'add':
+            return (0, constructors_1.add)(...expr.args.map((a) => diffRaw(a, x)));
+        case 'mul': {
+            // d/dx(f1*f2*...*fn) = Σ_i (f1*...*fi'*...*fn)
+            const terms = [];
+            for (let i = 0; i < expr.args.length; i++) {
+                const factors = [];
+                for (let j = 0; j < expr.args.length; j++) {
+                    const factor = expr.args[j];
+                    if (factor === undefined)
+                        continue;
+                    if (i === j)
+                        factors.push(diffRaw(factor, x));
+                    else
+                        factors.push(factor);
+                }
+                terms.push((0, constructors_1.mul)(...factors));
+            }
+            return (0, constructors_1.add)(...terms);
+        }
+        case 'sub':
+            return (0, constructors_1.sub)(diffRaw(expr.left, x), diffRaw(expr.right, x));
+        case 'div': {
+            // (f/g)' = (f'g - fg') / g^2
+            const f = expr.left;
+            const g = expr.right;
+            const num = (0, constructors_1.sub)((0, constructors_1.mul)(diffRaw(f, x), g), (0, constructors_1.mul)(f, diffRaw(g, x)));
+            const den = (0, constructors_1.pow)(g, (0, constructors_1.cst)(2));
+            return (0, constructors_1.div)(num, den);
+        }
+        case 'pow': {
+            const base = expr.base;
+            const exponent = expr.exp;
+            // Caso 1: exponente constante → g*f^(g-1)*f'
+            if (exponent.kind === 'const') {
+                const n = exponent.value;
+                if (n === 0)
+                    return (0, constructors_1.cst)(0);
+                return (0, constructors_1.mul)((0, constructors_1.cst)(n), (0, constructors_1.pow)(base, (0, constructors_1.cst)(n - 1)), diffRaw(base, x));
+            }
+            // Caso 2: base constante positiva → a^g * ln(a) * g'
+            if (base.kind === 'const' && base.value > 0) {
+                return (0, constructors_1.mul)((0, constructors_1.pow)(base, exponent), (0, constructors_1.cst)(Math.log(base.value)), diffRaw(exponent, x));
+            }
+            // Caso general: f^g * (g'*ln(f) + g*f'/f)
+            const fPrime = diffRaw(base, x);
+            const gPrime = diffRaw(exponent, x);
+            const innerSum = (0, constructors_1.add)((0, constructors_1.mul)(gPrime, (0, constructors_1.log)(base)), (0, constructors_1.div)((0, constructors_1.mul)(exponent, fPrime), base));
+            return (0, constructors_1.mul)((0, constructors_1.pow)(base, exponent), innerSum);
+        }
+        case 'neg':
+            return (0, constructors_1.neg)(diffRaw(expr.arg, x));
+        case 'sin':
+            // d/dx sin(u) = cos(u) * u'
+            return (0, constructors_1.mul)((0, constructors_1.cos)(expr.arg), diffRaw(expr.arg, x));
+        case 'cos':
+            // d/dx cos(u) = -sin(u) * u'
+            return (0, constructors_1.mul)((0, constructors_1.neg)((0, constructors_1.sin)(expr.arg)), diffRaw(expr.arg, x));
+        case 'tan':
+            // d/dx tan(u) = u' / cos(u)^2
+            return (0, constructors_1.div)(diffRaw(expr.arg, x), (0, constructors_1.pow)((0, constructors_1.cos)(expr.arg), (0, constructors_1.cst)(2)));
+        case 'log':
+            // d/dx log(u) = u' / u
+            return (0, constructors_1.div)(diffRaw(expr.arg, x), expr.arg);
+        case 'exp':
+            // d/dx exp(u) = exp(u) * u'
+            return (0, constructors_1.mul)((0, constructors_1.exp)(expr.arg), diffRaw(expr.arg, x));
+    }
+}
+/**
+ * Gradiente: lista de derivadas parciales por variable.
+ */
+function gradient(expr, vars) {
+    return vars.map((name) => differentiate(expr, name));
+}
+// Re-export para que el caller pueda armar vars sin importar 'v' por separado.
+exports.variable = constructors_1.v;
+//# sourceMappingURL=differentiate.js.map

package/dist/runtime/symbolic-diff/differentiate.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"differentiate.js","sourceRoot":"","sources":["../../../src/runtime/symbolic-diff/differentiate.ts"],"names":[],"mappings":";;;AAiBA,sCAEC;AA2FD,4BAEC;AA/GD,iDAAqG;AACrG,yCAAsC;AAEtC;;;;;;;;;;;;GAYG;AACH,SAAgB,aAAa,CAAC,IAAU,EAAE,OAAe;IACvD,OAAO,IAAA,mBAAQ,EAAC,OAAO,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC,CAAC;AAC1C,CAAC;AAED,SAAS,OAAO,CAAC,IAAU,EAAE,CAAS;IACpC,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;QAClB,KAAK,OAAO;YACV,OAAO,IAAA,kBAAG,EAAC,CAAC,CAAC,CAAC;QAChB,KAAK,KAAK;YACR,OAAO,IAAA,kBAAG,EAAC,IAAI,CAAC,IAAI,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QAEtC,KAAK,KAAK;YACR,OAAO,IAAA,kBAAG,EAAC,GAAG,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,OAAO,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;QAErD,KAAK,KAAK,CAAC,CAAC,CAAC;YACX,+CAA+C;YAC/C,MAAM,KAAK,GAAW,EAAE,CAAC;YACzB,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,IAAI,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;gBAC1C,MAAM,OAAO,GAAW,EAAE,CAAC;gBAC3B,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,IAAI,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;oBAC1C,MAAM,MAAM,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;oBAC5B,IAAI,MAAM,KAAK,SAAS;wBAAE,SAAS;oBACnC,IAAI,CAAC,KAAK,CAAC;wBAAE,OAAO,CAAC,IAAI,CAAC,OAAO,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC,CAAC;;wBACzC,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;gBAC5B,CAAC;gBACD,KAAK,CAAC,IAAI,CAAC,IAAA,kBAAG,EAAC,GAAG,OAAO,CAAC,CAAC,CAAC;YAC9B,CAAC;YACD,OAAO,IAAA,kBAAG,EAAC,GAAG,KAAK,CAAC,CAAC;QACvB,CAAC;QAED,KAAK,KAAK;YACR,OAAO,IAAA,kBAAG,EAAC,OAAO,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC,EAAE,OAAO,CAAC,IAAI,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,CAAC;QAE5D,KAAK,KAAK,CAAC,CAAC,CAAC;YACX,6BAA6B;YAC7B,MAAM,CAAC,GAAG,IAAI,CAAC,IAAI,CAAC;YACpB,MAAM,CAAC,GAAG,IAAI,CAAC,KAAK,CAAC;YACrB,MAAM,GAAG,GAAG,IAAA,kBAAG,EAAC,IAAA,kBAAG,EAAC,OAAO,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,IAAA,kBAAG,EAAC,CAAC,EAAE,OAAO,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;YAC9D,MAAM,GAAG,GAAG,IAAA,kBAAG,EAAC,CAAC,EAAE,IAAA,kBAAG,EAAC,CAAC,CAAC,CAAC,CAAC;YAC3B,OAAO,IAAA,kBAAG,EAAC,GAAG,EAAE,GAAG,CAAC,CAAC;QACvB,CAAC;QAED,KAAK,KAAK,CAAC,CAAC,CAAC;YACX,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC;YACvB,MAAM,QAAQ,GAAG,IAAI,CAAC,GAAG,CAAC;YAE1B,6CAA6C;YAC7C,IAAI,QAAQ,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;gBAC9B,MAAM,CAAC,GAAG,QAAQ,CAAC,KAAK,CAAC;gBACzB,IAAI,CAAC,KAAK,CAAC;oBAAE,OAAO,IAAA,kBAAG,EAAC,CAAC,CAAC,CAAC;gBAC3B,OAAO,IAAA,kBAAG,EAAC,IAAA,kBAAG,EAAC,CAAC,CAAC,EAAE,IAAA,kBAAG,EAAC,IAAI,EAAE,IAAA,kBAAG,EAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,OAAO,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC;YAC9D,CAAC;YAED,qDAAqD;YACrD,IAAI,IAAI,CAAC,IAAI,KAAK,OAAO,IAAI,IAAI,CAAC,KAAK,GAAG,CAAC,EAAE,CAAC;gBAC5C,OAAO,IAAA,kBAAG,EAAC,IAAA,kBAAG,EAAC,IAAI,EAAE,QAAQ,CAAC,EAAE,IAAA,kBAAG,EAAC,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,OAAO,CAAC,QAAQ,EAAE,CAAC,CAAC,CAAC,CAAC;YACnF,CAAC;YAED,0CAA0C;YAC1C,MAAM,MAAM,GAAG,OAAO,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC;YAChC,MAAM,MAAM,GAAG,OAAO,CAAC,QAAQ,EAAE,CAAC,CAAC,CAAC;YACpC,MAAM,QAAQ,GAAG,IAAA,kBAAG,EAAC,IAAA,kBAAG,EAAC,MAAM,EAAE,IAAA,kBAAG,EAAC,IAAI,CAAC,CAAC,EAAE,IAAA,kBAAG,EAAC,IAAA,kBAAG,EAAC,QAAQ,EAAE,MAAM,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC;YAC/E,OAAO,IAAA,kBAAG,EAAC,IAAA,kBAAG,EAAC,IAAI,EAAE,QAAQ,CAAC,EAAE,QAAQ,CAAC,CAAC;QAC5C,CAAC;QAED,KAAK,KAAK;YACR,OAAO,IAAA,kBAAG,EAAC,OAAO,CAAC,IAAI,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC;QAEnC,KAAK,KAAK;YACR,4BAA4B;YAC5B,OAAO,IAAA,kBAAG,EAAC,IAAA,kBAAG,EAAC,IAAI,CAAC,GAAG,CAAC,EAAE,OAAO,CAAC,IAAI,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC;QAElD,KAAK,KAAK;YACR,6BAA6B;YAC7B,OAAO,IAAA,kBAAG,EAAC,IAAA,kBAAG,EAAC,IAAA,kBAAG,EAAC,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,OAAO,CAAC,IAAI,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC;QAEvD,KAAK,KAAK;YACR,8BAA8B;YAC9B,OAAO,IAAA,kBAAG,EAAC,OAAO,CAAC,IAAI,CAAC,GAAG,EAAE,CAAC,CAAC,EAAE,IAAA,kBAAG,EAAC,IAAA,kBAAG,EAAC,IAAI,CAAC,GAAG,CAAC,EAAE,IAAA,kBAAG,EAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QAE/D,KAAK,KAAK;YACR,uBAAuB;YACvB,OAAO,IAAA,kBAAG,EAAC,OAAO,CAAC,IAAI,CAAC,GAAG,EAAE,CAAC,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC;QAE7C,KAAK,KAAK;YACR,4BAA4B;YAC5B,OAAO,IAAA,kBAAG,EAAC,IAAA,kBAAG,EAAC,IAAI,CAAC,GAAG,CAAC,EAAE,OAAO,CAAC,IAAI,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC;IACpD,CAAC;AACH,CAAC;AAED;;GAEG;AACH,SAAgB,QAAQ,CAAC,IAAU,EAAE,IAAc;IACjD,OAAO,IAAI,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,aAAa,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC;AACvD,CAAC;AAED,+EAA+E;AAClE,QAAA,QAAQ,GAAG,gBAAO,CAAC"}

package/dist/runtime/symbolic-diff/evaluate.d.ts

@@ -0,0 +1,3 @@
+import type { Expr } from './types';
+export declare function evaluate(expr: Expr, env: Record<string, number>): number;
+//# sourceMappingURL=evaluate.d.ts.map

package/dist/runtime/symbolic-diff/evaluate.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"evaluate.d.ts","sourceRoot":"","sources":["../../../src/runtime/symbolic-diff/evaluate.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,IAAI,EAAE,MAAM,SAAS,CAAC;AAEpC,wBAAgB,QAAQ,CAAC,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,GAAG,MAAM,CAwCxE"}

package/dist/runtime/symbolic-diff/evaluate.js

@@ -0,0 +1,47 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.evaluate = evaluate;
+function evaluate(expr, env) {
+    switch (expr.kind) {
+        case 'const':
+            return expr.value;
+        case 'var': {
+            const value = env[expr.name];
+            if (value === undefined) {
+                throw new Error(`evaluate: variable '${expr.name}' no definida en env`);
+            }
+            return value;
+        }
+        case 'add': {
+            let acc = 0;
+            for (const a of expr.args)
+                acc += evaluate(a, env);
+            return acc;
+        }
+        case 'mul': {
+            let acc = 1;
+            for (const a of expr.args)
+                acc *= evaluate(a, env);
+            return acc;
+        }
+        case 'sub':
+            return evaluate(expr.left, env) - evaluate(expr.right, env);
+        case 'div':
+            return evaluate(expr.left, env) / evaluate(expr.right, env);
+        case 'pow':
+            return Math.pow(evaluate(expr.base, env), evaluate(expr.exp, env));
+        case 'neg':
+            return -evaluate(expr.arg, env);
+        case 'sin':
+            return Math.sin(evaluate(expr.arg, env));
+        case 'cos':
+            return Math.cos(evaluate(expr.arg, env));
+        case 'tan':
+            return Math.tan(evaluate(expr.arg, env));
+        case 'log':
+            return Math.log(evaluate(expr.arg, env));
+        case 'exp':
+            return Math.exp(evaluate(expr.arg, env));
+    }
+}
+//# sourceMappingURL=evaluate.js.map

package/dist/runtime/symbolic-diff/evaluate.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"evaluate.js","sourceRoot":"","sources":["../../../src/runtime/symbolic-diff/evaluate.ts"],"names":[],"mappings":";;AAEA,4BAwCC;AAxCD,SAAgB,QAAQ,CAAC,IAAU,EAAE,GAA2B;IAC9D,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;QAClB,KAAK,OAAO;YACV,OAAO,IAAI,CAAC,KAAK,CAAC;QACpB,KAAK,KAAK,CAAC,CAAC,CAAC;YACX,MAAM,KAAK,GAAG,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YAC7B,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;gBACxB,MAAM,IAAI,KAAK,CAAC,uBAAuB,IAAI,CAAC,IAAI,sBAAsB,CAAC,CAAC;YAC1E,CAAC;YACD,OAAO,KAAK,CAAC;QACf,CAAC;QACD,KAAK,KAAK,CAAC,CAAC,CAAC;YACX,IAAI,GAAG,GAAG,CAAC,CAAC;YACZ,KAAK,MAAM,CAAC,IAAI,IAAI,CAAC,IAAI;gBAAE,GAAG,IAAI,QAAQ,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC;YACnD,OAAO,GAAG,CAAC;QACb,CAAC;QACD,KAAK,KAAK,CAAC,CAAC,CAAC;YACX,IAAI,GAAG,GAAG,CAAC,CAAC;YACZ,KAAK,MAAM,CAAC,IAAI,IAAI,CAAC,IAAI;gBAAE,GAAG,IAAI,QAAQ,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC;YACnD,OAAO,GAAG,CAAC;QACb,CAAC;QACD,KAAK,KAAK;YACR,OAAO,QAAQ,CAAC,IAAI,CAAC,IAAI,EAAE,GAAG,CAAC,GAAG,QAAQ,CAAC,IAAI,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;QAC9D,KAAK,KAAK;YACR,OAAO,QAAQ,CAAC,IAAI,CAAC,IAAI,EAAE,GAAG,CAAC,GAAG,QAAQ,CAAC,IAAI,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;QAC9D,KAAK,KAAK;YACR,OAAO,IAAI,CAAC,GAAG,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,EAAE,GAAG,CAAC,EAAE,QAAQ,CAAC,IAAI,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC;QACrE,KAAK,KAAK;YACR,OAAO,CAAC,QAAQ,CAAC,IAAI,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;QAClC,KAAK,KAAK;YACR,OAAO,IAAI,CAAC,GAAG,CAAC,QAAQ,CAAC,IAAI,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC;QAC3C,KAAK,KAAK;YACR,OAAO,IAAI,CAAC,GAAG,CAAC,QAAQ,CAAC,IAAI,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC;QAC3C,KAAK,KAAK;YACR,OAAO,IAAI,CAAC,GAAG,CAAC,QAAQ,CAAC,IAAI,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC;QAC3C,KAAK,KAAK;YACR,OAAO,IAAI,CAAC,GAAG,CAAC,QAAQ,CAAC,IAAI,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC;QAC3C,KAAK,KAAK;YACR,OAAO,IAAI,CAAC,GAAG,CAAC,QAAQ,CAAC,IAAI,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC;IAC7C,CAAC;AACH,CAAC"}

package/dist/runtime/symbolic-diff/index.d.ts

@@ -0,0 +1,9 @@
+export type { Expr, UnaryFn } from './types';
+export { isUnaryFn, UNARY_FUNCTIONS } from './types';
+export { cst, v, add, mul, sub, div, pow, neg, fn, sin, cos, tan, log, exp, } from './constructors';
+export { differentiate, gradient } from './differentiate';
+export { simplify, exprEquals } from './simplify';
+export { evaluate } from './evaluate';
+export { toString } from './stringify';
+export { parse } from './parse';
+//# sourceMappingURL=index.d.ts.map

package/dist/runtime/symbolic-diff/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../src/runtime/symbolic-diff/index.ts"],"names":[],"mappings":"AAAA,YAAY,EAAE,IAAI,EAAE,OAAO,EAAE,MAAM,SAAS,CAAC;AAC7C,OAAO,EAAE,SAAS,EAAE,eAAe,EAAE,MAAM,SAAS,CAAC;AACrD,OAAO,EACL,GAAG,EACH,CAAC,EACD,GAAG,EACH,GAAG,EACH,GAAG,EACH,GAAG,EACH,GAAG,EACH,GAAG,EACH,EAAE,EACF,GAAG,EACH,GAAG,EACH,GAAG,EACH,GAAG,EACH,GAAG,GACJ,MAAM,gBAAgB,CAAC;AACxB,OAAO,EAAE,aAAa,EAAE,QAAQ,EAAE,MAAM,iBAAiB,CAAC;AAC1D,OAAO,EAAE,QAAQ,EAAE,UAAU,EAAE,MAAM,YAAY,CAAC;AAClD,OAAO,EAAE,QAAQ,EAAE,MAAM,YAAY,CAAC;AACtC,OAAO,EAAE,QAAQ,EAAE,MAAM,aAAa,CAAC;AACvC,OAAO,EAAE,KAAK,EAAE,MAAM,SAAS,CAAC"}

package/dist/runtime/symbolic-diff/index.js

@@ -0,0 +1,34 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.parse = exports.evaluate = exports.exprEquals = exports.simplify = exports.gradient = exports.differentiate = exports.exp = exports.log = exports.tan = exports.cos = exports.sin = exports.fn = exports.neg = exports.pow = exports.div = exports.sub = exports.mul = exports.add = exports.v = exports.cst = exports.UNARY_FUNCTIONS = exports.isUnaryFn = void 0;
+var types_1 = require("./types");
+Object.defineProperty(exports, "isUnaryFn", { enumerable: true, get: function () { return types_1.isUnaryFn; } });
+Object.defineProperty(exports, "UNARY_FUNCTIONS", { enumerable: true, get: function () { return types_1.UNARY_FUNCTIONS; } });
+var constructors_1 = require("./constructors");
+Object.defineProperty(exports, "cst", { enumerable: true, get: function () { return constructors_1.cst; } });
+Object.defineProperty(exports, "v", { enumerable: true, get: function () { return constructors_1.v; } });
+Object.defineProperty(exports, "add", { enumerable: true, get: function () { return constructors_1.add; } });
+Object.defineProperty(exports, "mul", { enumerable: true, get: function () { return constructors_1.mul; } });
+Object.defineProperty(exports, "sub", { enumerable: true, get: function () { return constructors_1.sub; } });
+Object.defineProperty(exports, "div", { enumerable: true, get: function () { return constructors_1.div; } });
+Object.defineProperty(exports, "pow", { enumerable: true, get: function () { return constructors_1.pow; } });
+Object.defineProperty(exports, "neg", { enumerable: true, get: function () { return constructors_1.neg; } });
+Object.defineProperty(exports, "fn", { enumerable: true, get: function () { return constructors_1.fn; } });
+Object.defineProperty(exports, "sin", { enumerable: true, get: function () { return constructors_1.sin; } });
+Object.defineProperty(exports, "cos", { enumerable: true, get: function () { return constructors_1.cos; } });
+Object.defineProperty(exports, "tan", { enumerable: true, get: function () { return constructors_1.tan; } });
+Object.defineProperty(exports, "log", { enumerable: true, get: function () { return constructors_1.log; } });
+Object.defineProperty(exports, "exp", { enumerable: true, get: function () { return constructors_1.exp; } });
+var differentiate_1 = require("./differentiate");
+Object.defineProperty(exports, "differentiate", { enumerable: true, get: function () { return differentiate_1.differentiate; } });
+Object.defineProperty(exports, "gradient", { enumerable: true, get: function () { return differentiate_1.gradient; } });
+var simplify_1 = require("./simplify");
+Object.defineProperty(exports, "simplify", { enumerable: true, get: function () { return simplify_1.simplify; } });
+Object.defineProperty(exports, "exprEquals", { enumerable: true, get: function () { return simplify_1.exprEquals; } });
+var evaluate_1 = require("./evaluate");
+Object.defineProperty(exports, "evaluate", { enumerable: true, get: function () { return evaluate_1.evaluate; } });
+var stringify_1 = require("./stringify");
+Object.defineProperty(exports, "toString", { enumerable: true, get: function () { return stringify_1.toString; } });
+var parse_1 = require("./parse");
+Object.defineProperty(exports, "parse", { enumerable: true, get: function () { return parse_1.parse; } });
+//# sourceMappingURL=index.js.map

package/dist/runtime/symbolic-diff/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../../src/runtime/symbolic-diff/index.ts"],"names":[],"mappings":";;;AACA,iCAAqD;AAA5C,kGAAA,SAAS,OAAA;AAAE,wGAAA,eAAe,OAAA;AACnC,+CAewB;AAdtB,mGAAA,GAAG,OAAA;AACH,iGAAA,CAAC,OAAA;AACD,mGAAA,GAAG,OAAA;AACH,mGAAA,GAAG,OAAA;AACH,mGAAA,GAAG,OAAA;AACH,mGAAA,GAAG,OAAA;AACH,mGAAA,GAAG,OAAA;AACH,mGAAA,GAAG,OAAA;AACH,kGAAA,EAAE,OAAA;AACF,mGAAA,GAAG,OAAA;AACH,mGAAA,GAAG,OAAA;AACH,mGAAA,GAAG,OAAA;AACH,mGAAA,GAAG,OAAA;AACH,mGAAA,GAAG,OAAA;AAEL,iDAA0D;AAAjD,8GAAA,aAAa,OAAA;AAAE,yGAAA,QAAQ,OAAA;AAChC,uCAAkD;AAAzC,oGAAA,QAAQ,OAAA;AAAE,sGAAA,UAAU,OAAA;AAC7B,uCAAsC;AAA7B,oGAAA,QAAQ,OAAA;AACjB,yCAAuC;AAA9B,qGAAA,QAAQ,OAAA;AACjB,iCAAgC;AAAvB,8FAAA,KAAK,OAAA"}

package/dist/runtime/symbolic-diff/parse.d.ts

@@ -0,0 +1,16 @@
+import type { Expr } from './types';
+/**
+ * Parser de expresiones algebraicas/trascendentales.
+ *
+ * Gramática (precedencia ascendente):
+ *   expr    := term (('+' | '-') term)*
+ *   term    := factor (('*' | '/') factor)*
+ *   factor  := unary ('^' factor)?     // ^ right-assoc
+ *   unary   := '-' unary | atom
+ *   atom    := number | ident '(' expr ')' | ident | '(' expr ')'
+ *
+ * Soporta funciones: sin, cos, tan, log, exp.
+ * Implícito *: NO se soporta (escribir `2*x`, no `2x`).
+ */
+export declare function parse(input: string): Expr;
+//# sourceMappingURL=parse.d.ts.map

package/dist/runtime/symbolic-diff/parse.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"parse.d.ts","sourceRoot":"","sources":["../../../src/runtime/symbolic-diff/parse.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,IAAI,EAAW,MAAM,SAAS,CAAC;AAI7C;;;;;;;;;;;;GAYG;AACH,wBAAgB,KAAK,CAAC,KAAK,EAAE,MAAM,GAAG,IAAI,CAKzC"}

package/dist/runtime/symbolic-diff/parse.js

@@ -0,0 +1,206 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.parse = parse;
+const types_1 = require("./types");
+const constructors_1 = require("./constructors");
+/**
+ * Parser de expresiones algebraicas/trascendentales.
+ *
+ * Gramática (precedencia ascendente):
+ *   expr    := term (('+' | '-') term)*
+ *   term    := factor (('*' | '/') factor)*
+ *   factor  := unary ('^' factor)?     // ^ right-assoc
+ *   unary   := '-' unary | atom
+ *   atom    := number | ident '(' expr ')' | ident | '(' expr ')'
+ *
+ * Soporta funciones: sin, cos, tan, log, exp.
+ * Implícito *: NO se soporta (escribir `2*x`, no `2x`).
+ */
+function parse(input) {
+    const parser = new Parser(input);
+    const result = parser.parseExpr();
+    parser.expectEof();
+    return result;
+}
+class Parser {
+    tokens;
+    pos = 0;
+    constructor(input) {
+        this.tokens = tokenize(input);
+    }
+    peek() {
+        const tok = this.tokens[this.pos];
+        return tok ?? { kind: 'eof' };
+    }
+    advance() {
+        const tok = this.peek();
+        if (tok.kind !== 'eof')
+            this.pos++;
+        return tok;
+    }
+    expectEof() {
+        const tok = this.peek();
+        if (tok.kind !== 'eof') {
+            throw new Error(`parse: tokens sobrantes en posición ${this.pos} (${JSON.stringify(tok)})`);
+        }
+    }
+    parseExpr() {
+        let left = this.parseTerm();
+        while (true) {
+            const tok = this.peek();
+            if (tok.kind === 'punct' && (tok.value === '+' || tok.value === '-')) {
+                this.advance();
+                const right = this.parseTerm();
+                left = tok.value === '+' ? (0, constructors_1.add)(left, right) : (0, constructors_1.sub)(left, right);
+            }
+            else {
+                break;
+            }
+        }
+        return left;
+    }
+    parseTerm() {
+        let left = this.parseFactor();
+        while (true) {
+            const tok = this.peek();
+            if (tok.kind === 'punct' && (tok.value === '*' || tok.value === '/')) {
+                this.advance();
+                const right = this.parseFactor();
+                left = tok.value === '*' ? (0, constructors_1.mul)(left, right) : (0, constructors_1.div)(left, right);
+            }
+            else {
+                break;
+            }
+        }
+        return left;
+    }
+    parseFactor() {
+        const base = this.parseUnary();
+        const tok = this.peek();
+        if (tok.kind === 'punct' && tok.value === '^') {
+            this.advance();
+            const exponent = this.parseFactor(); // right-assoc
+            return (0, constructors_1.pow)(base, exponent);
+        }
+        return base;
+    }
+    parseUnary() {
+        const tok = this.peek();
+        if (tok.kind === 'punct' && tok.value === '-') {
+            this.advance();
+            const arg = this.parseUnary();
+            return (0, constructors_1.neg)(arg);
+        }
+        if (tok.kind === 'punct' && tok.value === '+') {
+            this.advance();
+            return this.parseUnary();
+        }
+        return this.parseAtom();
+    }
+    parseAtom() {
+        const tok = this.advance();
+        if (tok.kind === 'num')
+            return (0, constructors_1.cst)(tok.value);
+        if (tok.kind === 'ident') {
+            const next = this.peek();
+            if (next.kind === 'punct' && next.value === '(') {
+                this.advance(); // consume '('
+                const arg = this.parseExpr();
+                const close = this.advance();
+                if (close.kind !== 'punct' || close.value !== ')') {
+                    throw new Error(`parse: se esperaba ')' tras argumento de '${tok.name}'`);
+                }
+                if (!(0, types_1.isUnaryFn)(tok.name)) {
+                    throw new Error(`parse: función desconocida '${tok.name}'`);
+                }
+                return (0, constructors_1.fn)(tok.name, arg);
+            }
+            return (0, constructors_1.v)(tok.name);
+        }
+        if (tok.kind === 'punct' && tok.value === '(') {
+            const inner = this.parseExpr();
+            const close = this.advance();
+            if (close.kind !== 'punct' || close.value !== ')') {
+                throw new Error(`parse: se esperaba ')' que cierre paréntesis abierto`);
+            }
+            return inner;
+        }
+        throw new Error(`parse: token inesperado ${JSON.stringify(tok)}`);
+    }
+}
+function tokenize(input) {
+    const tokens = [];
+    let i = 0;
+    while (i < input.length) {
+        const ch = input[i];
+        if (ch === undefined)
+            break;
+        if (ch === ' ' || ch === '\t' || ch === '\n' || ch === '\r') {
+            i++;
+            continue;
+        }
+        if (ch === '+' || ch === '-' || ch === '*' || ch === '/' || ch === '^' || ch === '(' || ch === ')') {
+            tokens.push({ kind: 'punct', value: ch });
+            i++;
+            continue;
+        }
+        if (isDigit(ch) || (ch === '.' && i + 1 < input.length && isDigit(input[i + 1] ?? ''))) {
+            let j = i;
+            let hasDot = false;
+            while (j < input.length) {
+                const c = input[j];
+                if (c === undefined)
+                    break;
+                if (isDigit(c)) {
+                    j++;
+                }
+                else if (c === '.' && !hasDot) {
+                    hasDot = true;
+                    j++;
+                }
+                else {
+                    break;
+                }
+            }
+            // Notación científica: e[+-]?digits
+            if (j < input.length && (input[j] === 'e' || input[j] === 'E')) {
+                j++;
+                if (j < input.length && (input[j] === '+' || input[j] === '-'))
+                    j++;
+                while (j < input.length && isDigit(input[j] ?? ''))
+                    j++;
+            }
+            const slice = input.slice(i, j);
+            const num = Number(slice);
+            if (Number.isNaN(num))
+                throw new Error(`parse: número inválido '${slice}'`);
+            tokens.push({ kind: 'num', value: num });
+            i = j;
+            continue;
+        }
+        if (isAlpha(ch) || ch === '_') {
+            let j = i;
+            while (j < input.length) {
+                const c = input[j];
+                if (c === undefined)
+                    break;
+                if (isAlpha(c) || isDigit(c) || c === '_')
+                    j++;
+                else
+                    break;
+            }
+            tokens.push({ kind: 'ident', name: input.slice(i, j) });
+            i = j;
+            continue;
+        }
+        throw new Error(`parse: carácter inesperado '${ch}' en posición ${i}`);
+    }
+    return tokens;
+}
+function isDigit(ch) {
+    return ch >= '0' && ch <= '9';
+}
+function isAlpha(ch) {
+    return (ch >= 'a' && ch <= 'z') || (ch >= 'A' && ch <= 'Z');
+}
+//# sourceMappingURL=parse.js.map

package/dist/runtime/symbolic-diff/parse.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"parse.js","sourceRoot":"","sources":["../../../src/runtime/symbolic-diff/parse.ts"],"names":[],"mappings":";;AAiBA,sBAKC;AArBD,mCAAoC;AACpC,iDAA0E;AAE1E;;;;;;;;;;;;GAYG;AACH,SAAgB,KAAK,CAAC,KAAa;IACjC,MAAM,MAAM,GAAG,IAAI,MAAM,CAAC,KAAK,CAAC,CAAC;IACjC,MAAM,MAAM,GAAG,MAAM,CAAC,SAAS,EAAE,CAAC;IAClC,MAAM,CAAC,SAAS,EAAE,CAAC;IACnB,OAAO,MAAM,CAAC;AAChB,CAAC;AAQD,MAAM,MAAM;IACF,MAAM,CAAU;IAChB,GAAG,GAAG,CAAC,CAAC;IAEhB,YAAY,KAAa;QACvB,IAAI,CAAC,MAAM,GAAG,QAAQ,CAAC,KAAK,CAAC,CAAC;IAChC,CAAC;IAEO,IAAI;QACV,MAAM,GAAG,GAAG,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QAClC,OAAO,GAAG,IAAI,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC;IAChC,CAAC;IAEO,OAAO;QACb,MAAM,GAAG,GAAG,IAAI,CAAC,IAAI,EAAE,CAAC;QACxB,IAAI,GAAG,CAAC,IAAI,KAAK,KAAK;YAAE,IAAI,CAAC,GAAG,EAAE,CAAC;QACnC,OAAO,GAAG,CAAC;IACb,CAAC;IAED,SAAS;QACP,MAAM,GAAG,GAAG,IAAI,CAAC,IAAI,EAAE,CAAC;QACxB,IAAI,GAAG,CAAC,IAAI,KAAK,KAAK,EAAE,CAAC;YACvB,MAAM,IAAI,KAAK,CAAC,uCAAuC,IAAI,CAAC,GAAG,KAAK,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QAC9F,CAAC;IACH,CAAC;IAED,SAAS;QACP,IAAI,IAAI,GAAG,IAAI,CAAC,SAAS,EAAE,CAAC;QAC5B,OAAO,IAAI,EAAE,CAAC;YACZ,MAAM,GAAG,GAAG,IAAI,CAAC,IAAI,EAAE,CAAC;YACxB,IAAI,GAAG,CAAC,IAAI,KAAK,OAAO,IAAI,CAAC,GAAG,CAAC,KAAK,KAAK,GAAG,IAAI,GAAG,CAAC,KAAK,KAAK,GAAG,CAAC,EAAE,CAAC;gBACrE,IAAI,CAAC,OAAO,EAAE,CAAC;gBACf,MAAM,KAAK,GAAG,IAAI,CAAC,SAAS,EAAE,CAAC;gBAC/B,IAAI,GAAG,GAAG,CAAC,KAAK,KAAK,GAAG,CAAC,CAAC,CAAC,IAAA,kBAAG,EAAC,IAAI,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC,IAAA,kBAAG,EAAC,IAAI,EAAE,KAAK,CAAC,CAAC;YACjE,CAAC;iBAAM,CAAC;gBACN,MAAM;YACR,CAAC;QACH,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC;IAEO,SAAS;QACf,IAAI,IAAI,GAAG,IAAI,CAAC,WAAW,EAAE,CAAC;QAC9B,OAAO,IAAI,EAAE,CAAC;YACZ,MAAM,GAAG,GAAG,IAAI,CAAC,IAAI,EAAE,CAAC;YACxB,IAAI,GAAG,CAAC,IAAI,KAAK,OAAO,IAAI,CAAC,GAAG,CAAC,KAAK,KAAK,GAAG,IAAI,GAAG,CAAC,KAAK,KAAK,GAAG,CAAC,EAAE,CAAC;gBACrE,IAAI,CAAC,OAAO,EAAE,CAAC;gBACf,MAAM,KAAK,GAAG,IAAI,CAAC,WAAW,EAAE,CAAC;gBACjC,IAAI,GAAG,GAAG,CAAC,KAAK,KAAK,GAAG,CAAC,CAAC,CAAC,IAAA,kBAAG,EAAC,IAAI,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC,IAAA,kBAAG,EAAC,IAAI,EAAE,KAAK,CAAC,CAAC;YACjE,CAAC;iBAAM,CAAC;gBACN,MAAM;YACR,CAAC;QACH,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC;IAEO,WAAW;QACjB,MAAM,IAAI,GAAG,IAAI,CAAC,UAAU,EAAE,CAAC;QAC/B,MAAM,GAAG,GAAG,IAAI,CAAC,IAAI,EAAE,CAAC;QACxB,IAAI,GAAG,CAAC,IAAI,KAAK,OAAO,IAAI,GAAG,CAAC,KAAK,KAAK,GAAG,EAAE,CAAC;YAC9C,IAAI,CAAC,OAAO,EAAE,CAAC;YACf,MAAM,QAAQ,GAAG,IAAI,CAAC,WAAW,EAAE,CAAC,CAAC,cAAc;YACnD,OAAO,IAAA,kBAAG,EAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;QAC7B,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC;IAEO,UAAU;QAChB,MAAM,GAAG,GAAG,IAAI,CAAC,IAAI,EAAE,CAAC;QACxB,IAAI,GAAG,CAAC,IAAI,KAAK,OAAO,IAAI,GAAG,CAAC,KAAK,KAAK,GAAG,EAAE,CAAC;YAC9C,IAAI,CAAC,OAAO,EAAE,CAAC;YACf,MAAM,GAAG,GAAG,IAAI,CAAC,UAAU,EAAE,CAAC;YAC9B,OAAO,IAAA,kBAAG,EAAC,GAAG,CAAC,CAAC;QAClB,CAAC;QACD,IAAI,GAAG,CAAC,IAAI,KAAK,OAAO,IAAI,GAAG,CAAC,KAAK,KAAK,GAAG,EAAE,CAAC;YAC9C,IAAI,CAAC,OAAO,EAAE,CAAC;YACf,OAAO,IAAI,CAAC,UAAU,EAAE,CAAC;QAC3B,CAAC;QACD,OAAO,IAAI,CAAC,SAAS,EAAE,CAAC;IAC1B,CAAC;IAEO,SAAS;QACf,MAAM,GAAG,GAAG,IAAI,CAAC,OAAO,EAAE,CAAC;QAC3B,IAAI,GAAG,CAAC,IAAI,KAAK,KAAK;YAAE,OAAO,IAAA,kBAAG,EAAC,GAAG,CAAC,KAAK,CAAC,CAAC;QAC9C,IAAI,GAAG,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;YACzB,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,EAAE,CAAC;YACzB,IAAI,IAAI,CAAC,IAAI,KAAK,OAAO,IAAI,IAAI,CAAC,KAAK,KAAK,GAAG,EAAE,CAAC;gBAChD,IAAI,CAAC,OAAO,EAAE,CAAC,CAAC,cAAc;gBAC9B,MAAM,GAAG,GAAG,IAAI,CAAC,SAAS,EAAE,CAAC;gBAC7B,MAAM,KAAK,GAAG,IAAI,CAAC,OAAO,EAAE,CAAC;gBAC7B,IAAI,KAAK,CAAC,IAAI,KAAK,OAAO,IAAI,KAAK,CAAC,KAAK,KAAK,GAAG,EAAE,CAAC;oBAClD,MAAM,IAAI,KAAK,CAAC,6CAA6C,GAAG,CAAC,IAAI,GAAG,CAAC,CAAC;gBAC5E,CAAC;gBACD,IAAI,CAAC,IAAA,iBAAS,EAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;oBACzB,MAAM,IAAI,KAAK,CAAC,+BAA+B,GAAG,CAAC,IAAI,GAAG,CAAC,CAAC;gBAC9D,CAAC;gBACD,OAAO,IAAA,iBAAE,EAAC,GAAG,CAAC,IAAe,EAAE,GAAG,CAAC,CAAC;YACtC,CAAC;YACD,OAAO,IAAA,gBAAC,EAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QACrB,CAAC;QACD,IAAI,GAAG,CAAC,IAAI,KAAK,OAAO,IAAI,GAAG,CAAC,KAAK,KAAK,GAAG,EAAE,CAAC;YAC9C,MAAM,KAAK,GAAG,IAAI,CAAC,SAAS,EAAE,CAAC;YAC/B,MAAM,KAAK,GAAG,IAAI,CAAC,OAAO,EAAE,CAAC;YAC7B,IAAI,KAAK,CAAC,IAAI,KAAK,OAAO,IAAI,KAAK,CAAC,KAAK,KAAK,GAAG,EAAE,CAAC;gBAClD,MAAM,IAAI,KAAK,CAAC,sDAAsD,CAAC,CAAC;YAC1E,CAAC;YACD,OAAO,KAAK,CAAC;QACf,CAAC;QACD,MAAM,IAAI,KAAK,CAAC,2BAA2B,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;IACpE,CAAC;CACF;AAED,SAAS,QAAQ,CAAC,KAAa;IAC7B,MAAM,MAAM,GAAY,EAAE,CAAC;IAC3B,IAAI,CAAC,GAAG,CAAC,CAAC;IACV,OAAO,CAAC,GAAG,KAAK,CAAC,MAAM,EAAE,CAAC;QACxB,MAAM,EAAE,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC;QACpB,IAAI,EAAE,KAAK,SAAS;YAAE,MAAM;QAC5B,IAAI,EAAE,KAAK,GAAG,IAAI,EAAE,KAAK,IAAI,IAAI,EAAE,KAAK,IAAI,IAAI,EAAE,KAAK,IAAI,EAAE,CAAC;YAC5D,CAAC,EAAE,CAAC;YACJ,SAAS;QACX,CAAC;QACD,IAAI,EAAE,KAAK,GAAG,IAAI,EAAE,KAAK,GAAG,IAAI,EAAE,KAAK,GAAG,IAAI,EAAE,KAAK,GAAG,IAAI,EAAE,KAAK,GAAG,IAAI,EAAE,KAAK,GAAG,IAAI,EAAE,KAAK,GAAG,EAAE,CAAC;YACnG,MAAM,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,EAAE,EAAE,CAAC,CAAC;YAC1C,CAAC,EAAE,CAAC;YACJ,SAAS;QACX,CAAC;QACD,IAAI,OAAO,CAAC,EAAE,CAAC,IAAI,CAAC,EAAE,KAAK,GAAG,IAAI,CAAC,GAAG,CAAC,GAAG,KAAK,CAAC,MAAM,IAAI,OAAO,CAAC,KAAK,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,EAAE,CAAC;YACvF,IAAI,CAAC,GAAG,CAAC,CAAC;YACV,IAAI,MAAM,GAAG,KAAK,CAAC;YACnB,OAAO,CAAC,GAAG,KAAK,CAAC,MAAM,EAAE,CAAC;gBACxB,MAAM,CAAC,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC;gBACnB,IAAI,CAAC,KAAK,SAAS;oBAAE,MAAM;gBAC3B,IAAI,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC;oBACf,CAAC,EAAE,CAAC;gBACN,CAAC;qBAAM,IAAI,CAAC,KAAK,GAAG,IAAI,CAAC,MAAM,EAAE,CAAC;oBAChC,MAAM,GAAG,IAAI,CAAC;oBACd,CAAC,EAAE,CAAC;gBACN,CAAC;qBAAM,CAAC;oBACN,MAAM;gBACR,CAAC;YACH,CAAC;YACD,oCAAoC;YACpC,IAAI,CAAC,GAAG,KAAK,CAAC,MAAM,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,KAAK,GAAG,IAAI,KAAK,CAAC,CAAC,CAAC,KAAK,GAAG,CAAC,EAAE,CAAC;gBAC/D,CAAC,EAAE,CAAC;gBACJ,IAAI,CAAC,GAAG,KAAK,CAAC,MAAM,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,KAAK,GAAG,IAAI,KAAK,CAAC,CAAC,CAAC,KAAK,GAAG,CAAC;oBAAE,CAAC,EAAE,CAAC;gBACpE,OAAO,CAAC,GAAG,KAAK,CAAC,MAAM,IAAI,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;oBAAE,CAAC,EAAE,CAAC;YAC1D,CAAC;YACD,MAAM,KAAK,GAAG,KAAK,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;YAChC,MAAM,GAAG,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC;YAC1B,IAAI,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC;gBAAE,MAAM,IAAI,KAAK,CAAC,2BAA2B,KAAK,GAAG,CAAC,CAAC;YAC5E,MAAM,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE,GAAG,EAAE,CAAC,CAAC;YACzC,CAAC,GAAG,CAAC,CAAC;YACN,SAAS;QACX,CAAC;QACD,IAAI,OAAO,CAAC,EAAE,CAAC,IAAI,EAAE,KAAK,GAAG,EAAE,CAAC;YAC9B,IAAI,CAAC,GAAG,CAAC,CAAC;YACV,OAAO,CAAC,GAAG,KAAK,CAAC,MAAM,EAAE,CAAC;gBACxB,MAAM,CAAC,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC;gBACnB,IAAI,CAAC,KAAK,SAAS;oBAAE,MAAM;gBAC3B,IAAI,OAAO,CAAC,CAAC,CAAC,IAAI,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,GAAG;oBAAE,CAAC,EAAE,CAAC;;oBAC1C,MAAM;YACb,CAAC;YACD,MAAM,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,KAAK,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC;YACxD,CAAC,GAAG,CAAC,CAAC;YACN,SAAS;QACX,CAAC;QACD,MAAM,IAAI,KAAK,CAAC,+BAA+B,EAAE,iBAAiB,CAAC,EAAE,CAAC,CAAC;IACzE,CAAC;IACD,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,SAAS,OAAO,CAAC,EAAU;IACzB,OAAO,EAAE,IAAI,GAAG,IAAI,EAAE,IAAI,GAAG,CAAC;AAChC,CAAC;AAED,SAAS,OAAO,CAAC,EAAU;IACzB,OAAO,CAAC,EAAE,IAAI,GAAG,IAAI,EAAE,IAAI,GAAG,CAAC,IAAI,CAAC,EAAE,IAAI,GAAG,IAAI,EAAE,IAAI,GAAG,CAAC,CAAC;AAC9D,CAAC"}

package/dist/runtime/symbolic-diff/simplify.d.ts

@@ -0,0 +1,11 @@
+import type { Expr } from './types';
+/**
+ * Simplificación algebraica: constant folding + identidades básicas
+ * (x+0=x, x*1=x, x*0=0, x^0=1, x^1=x, neg(neg(x))=x).
+ *
+ * No intenta factorización ni canonicalización total (eso sería CAS).
+ * Aplica recursivamente hasta punto fijo (máx 10 pases).
+ */
+export declare function simplify(expr: Expr): Expr;
+export declare function exprEquals(a: Expr, b: Expr): boolean;
+//# sourceMappingURL=simplify.d.ts.map

package/dist/runtime/symbolic-diff/simplify.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"simplify.d.ts","sourceRoot":"","sources":["../../../src/runtime/symbolic-diff/simplify.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,IAAI,EAAE,MAAM,SAAS,CAAC;AA6BpC;;;;;;GAMG;AACH,wBAAgB,QAAQ,CAAC,IAAI,EAAE,IAAI,GAAG,IAAI,CAQzC;AA+GD,wBAAgB,UAAU,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC,EAAE,IAAI,GAAG,OAAO,CAqCpD"}