@pie-framework/math-validation 1.4.2 → 2.0.0-next.20261110063142

package/lib/symbolic/index.js

@@ -1,215 +0,0 @@
-"use strict";
-Object.defineProperty(exports, "__esModule", { value: true });
-exports.isMathEqual = exports.simplify = void 0;
-const log_1 = require("../log");
-const mathjs_1 = require("../mathjs");
-const node_sort_1 = require("../node-sort");
-const compare_equations_1 = require("./compare-equations");
-const compare_compound_inequations_1 = require("./compare-compound-inequations");
-const m = mathjs_1.mathjs;
-const log = log_1.logger("mv:symbolic");
-const positiveInfinity = 1.497258191621251e6;
-const negativeInfinity = -1.497258191621251e6;
-const { simplify: ms, rationalize } = mathjs_1.mathjs;
-const SIMPLIFY_RULES = [
-    { l: "n1^(1/n2)", r: "nthRoot(n1, n2)" },
-    { l: "sqrt(n1)", r: "nthRoot(n1, 2)" },
-    { l: "nthRoot(-1, 2)", r: "i" },
-    { l: "(v1-v2)/n", r: "v1/n-v2/n" },
-    { l: "(v1-n)/n", r: "v1/n-1" },
-    { l: "n/n1-c1", r: "(n-c1*n1)/n1" },
-    { l: "i^2", r: "-1" },
-    { l: "pi", r: "3.141592653589793" },
-    { l: "n/(n*n1)", r: "1/n1" },
-    { l: "c1/(c2*(n3))", r: "(c1/c2)*(1/n3)" },
-    { l: "n1/(n(n+1)+1(n+1))", r: "n1/((n+1)^2)" },
-    // perfect square formula
-    { l: "(n1 + n2) ^ 2", r: "(n1 ^ 2) + 2*n1*n2 + (n2 ^ 2)" },
-    { l: "tzn(n1, n2)", r: "n1" },
-    { l: "n1/(-n2)", r: "-(n1/n2)" },
-    { l: "sin(n*pi)", r: "0" },
-    // logarithm rules
-    { l: "log(n1*n2, n3)", r: "log(n1, n3)+log(n2,n3)" },
-    { l: "log(n1/n2, n3)", r: "log(n1, n3)-log(n2,n3)" },
-    { l: "log(n1^n2, n3)", r: "n2*log(n1,n3)" },
-    // trigonometry: defining relations for tangent, cotangent, secant, and cosecant in terms of sine and cosine
-    { l: "sin(n)/cos(n)", r: "tan(n)" },
-    { l: "csc(n)", r: "1/sin(n)" },
-    { l: "sec(n)", r: "1/cos(n)" },
-    { l: "cot(n)", r: "1/tan(n)", r1: "cos(n)/sin(n)" },
-    { l: "1/tan(n)", r: "cos(n)/sin(n)" },
-    // TO DO: the Pythagorean formula for sines and cosines.
-    // inverse trigonometric functions relations
-    { l: "n1 == asin(n)", r: "n == sin(n1)" },
-    { l: "n1 == acos(n)", r: "n == cos(n1)" },
-    { l: "n1 == atan(n)", r: "n == tan(n1)" },
-    { l: "n1 == acot(n)", r: "n == cot(n1)" },
-    { l: "n1 == asec(n)", r: "n == sec(n1)" },
-    { l: "n1 == acsc(n)", r: "n == csc(n1)" },
-    // relationships between trigonometric functions and inverse trigonometric functions
-    { l: "sin(asin(n))", r: "n" },
-    { l: "cos(acos(n))", r: "n" },
-    { l: "tan(atan(n))", r: "n" },
-    { l: "sin(acsc(n))", r: "1/n" },
-    { l: "cos(asec(n))", r: "1/n" },
-    { l: "tan(acot(n))", r: "1/n" },
-];
-const simplify = (v) => {
-    const rules = SIMPLIFY_RULES.concat(ms.rules);
-    return ms(v, rules); //.concat(SIMPLIFY_RULES));
-};
-exports.simplify = simplify;
-const normalize = (a) => {
-    let r = a;
-    let onlyConstant = true;
-    let containsFunctionNode = false;
-    let containsArrayNode = false;
-    let pi = false;
-    let containsInverseFlag = false;
-    r.traverse(function (node, path, parent) {
-        if (node.isArrayNode) {
-            containsArrayNode = true;
-            node.items = node.items.map((item) => exports.simplify(item));
-        }
-        if (node.isSymbolNode) {
-            pi = pi || node.name === "pi";
-            containsInverseFlag = containsInverseFlag || node.name === "f^{-1}";
-        }
-    });
-    if (r.args) {
-        r.args = r.args.map((arg) => {
-            if (!arg.isFunctionNode &&
-                !arg.isArrayNode &&
-                !containsInverseFlag &&
-                !pi) {
-                try {
-                    arg = exports.simplify(arg);
-                }
-                catch (e) {
-                    // ok;
-                }
-            }
-            containsFunctionNode = containsFunctionNode || arg.isFunctionNode;
-            onlyConstant = onlyConstant && !!arg.isConstantNode;
-            return arg;
-        });
-        if (containsFunctionNode || containsInverseFlag) {
-            r.args = r.args.map((arg) => {
-                if (!arg.isFunctionNode && !arg.isArrayNode) {
-                    try {
-                        arg = rationalize(exports.simplify(arg), {}, true).expression;
-                    }
-                    catch (e) {
-                        // ok;
-                    }
-                }
-                return arg;
-            });
-        }
-    }
-    if (r.fn !== "equal") {
-        try {
-            onlyConstant = false;
-            r = rationalize(r, {}, true).expression;
-        }
-        catch (_a) { }
-    }
-    if (r.conditionals && r.params) {
-        r.params = r.params.map((param) => node_sort_1.sort(exports.simplify(param)));
-    }
-    if (!containsArrayNode && !onlyConstant) {
-        // overcome TypeError
-        try {
-            r = exports.simplify(r);
-        }
-        catch (e) { }
-    }
-    log("[normalize] input: ", a.toString(), "output: ", r.toString());
-    // check for infinity
-    if (r.toString() === "Infinity" ||
-        +r.toString() >= positiveInfinity ||
-        +r.toString() <= negativeInfinity) {
-        r = new m.SymbolNode("Infinity");
-    }
-    if (r.value) {
-        r.value = new m.Fraction(Math.round(r.value * 10000) / 10000);
-    }
-    else if (r.fn === "unaryMinus") {
-        r.args[0].value = new m.Fraction(Math.round(r.args[0].value * 10000) / 10000);
-        r = exports.simplify(r);
-    }
-    return r;
-};
-const isMathEqual = (a, b) => {
-    var _a, _b, _c, _d, _e, _f, _g, _h, _j;
-    let as;
-    let bs;
-    if ((a === null || a === void 0 ? void 0 : a.isUnit) && (b === null || b === void 0 ? void 0 : b.isUnit)) {
-        try {
-            return m.equal(a, b);
-        }
-        catch (e) {
-            log("[isMathEqual] Error comparing units:", (_a = a === null || a === void 0 ? void 0 : a.toString) === null || _a === void 0 ? void 0 : _a.call(a), (_b = b === null || b === void 0 ? void 0 : b.toString) === null || _b === void 0 ? void 0 : _b.call(b), e);
-            return false;
-        }
-    }
-    if ((a === null || a === void 0 ? void 0 : a.isUnit) || (b === null || b === void 0 ? void 0 : b.isUnit)) {
-        log("[isMathEqual] Mismatched unit comparison:", (_c = a === null || a === void 0 ? void 0 : a.toString) === null || _c === void 0 ? void 0 : _c.call(a), (_d = b === null || b === void 0 ? void 0 : b.toString) === null || _d === void 0 ? void 0 : _d.call(b));
-        return false;
-    }
-    // apply sort if we are not in a relationalNode
-    as = a.conditionals ? normalize(a) : node_sort_1.sort(normalize(a));
-    bs = b.conditionals ? normalize(b) : node_sort_1.sort(normalize(b));
-    log("[isMathEqual]", as.toString(), "==?", bs.toString());
-    const isSortingEnough = node_sort_1.sort(a).equals(node_sort_1.sort(b));
-    const isTexEnough = as.toTex().trim() === bs.toTex().trim();
-    let equality = isTexEnough || as.equals(bs) || isSortingEnough;
-    if (equality) {
-        return true;
-    }
-    // if both expressions are equations
-    if (as.fn === "equal" && bs.fn === "equal") {
-        return compare_equations_1.compareEquations(as, bs, false);
-    }
-    // if both expressions are inequalities treat greater sign as equal sign
-    if ((as.fn === "larger" && bs.fn === "larger") ||
-        (as.fn === "largerEq" && bs.fn === "largerEq")) {
-        // solving a 2 way inequality is the same as solving an equation, we can treat the greater sign as an equal sign
-        // the difference is that solution should be plotted on a number line (or interval)
-        // if we have the same signs and the same direction, the interval will always be the same, starting with the solution
-        as.fn = "equal";
-        bs.fn = "equal";
-        as.op = "=";
-        bs.op = "=";
-        return compare_equations_1.compareEquations(as, bs, true);
-    }
-    // check for compound inequalities/3-way inequalities
-    if (
-    //@ts-ignore
-    ((_e = as === null || as === void 0 ? void 0 : as.conditionals) === null || _e === void 0 ? void 0 : _e.length) === ((_f = bs === null || bs === void 0 ? void 0 : bs.conditionals) === null || _f === void 0 ? void 0 : _f.length) &&
-        //@ts-ignore
-        ((_g = as === null || as === void 0 ? void 0 : as.conditionals) === null || _g === void 0 ? void 0 : _g.length) === 2 &&
-        //@ts-ignore
-        ((_h = as === null || as === void 0 ? void 0 : as.conditionals) === null || _h === void 0 ? void 0 : _h.toString()) === ((_j = bs === null || bs === void 0 ? void 0 : bs.conditionals) === null || _j === void 0 ? void 0 : _j.toString())) {
-        const params = [
-            "smaller",
-            "smallerEq",
-            "larger",
-            "largerEq",
-            "equal",
-            "unequal",
-        ];
-        const paramsIncludedA = params.some((param) => 
-        //@ts-ignore
-        as.conditionals.includes(param));
-        const paramsIncludedB = params.some((param) => 
-        //@ts-ignore
-        bs.conditionals.includes(param));
-        if (paramsIncludedA && paramsIncludedB) {
-            return compare_compound_inequations_1.compareCompoundInequations(as, bs);
-        }
-    }
-    return equality;
-};
-exports.isMathEqual = isMathEqual;
-//# sourceMappingURL=index.js.map

package/lib/symbolic/index.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/symbolic/index.ts"],"names":[],"mappings":";;;AAAA,gCAAgC;AAChC,sCAAmC;AAEnC,4CAAoC;AACpC,2DAAuD;AACvD,iFAA4E;AAE5E,MAAM,CAAC,GAAQ,eAAM,CAAC;AACtB,MAAM,GAAG,GAAG,YAAM,CAAC,aAAa,CAAC,CAAC;AAClC,MAAM,gBAAgB,GAAG,mBAAmB,CAAC;AAC7C,MAAM,gBAAgB,GAAG,CAAC,mBAAmB,CAAC;AAI9C,MAAM,EAAE,QAAQ,EAAE,EAAE,EAAE,WAAW,EAAE,GAAG,eAAM,CAAC;AAE7C,MAAM,cAAc,GAAG;IACrB,EAAE,CAAC,EAAE,WAAW,EAAE,CAAC,EAAE,iBAAiB,EAAE;IACxC,EAAE,CAAC,EAAE,UAAU,EAAE,CAAC,EAAE,gBAAgB,EAAE;IACtC,EAAE,CAAC,EAAE,gBAAgB,EAAE,CAAC,EAAE,GAAG,EAAE;IAC/B,EAAE,CAAC,EAAE,WAAW,EAAE,CAAC,EAAE,WAAW,EAAE;IAClC,EAAE,CAAC,EAAE,UAAU,EAAE,CAAC,EAAE,QAAQ,EAAE;IAC9B,EAAE,CAAC,EAAE,SAAS,EAAE,CAAC,EAAE,cAAc,EAAE;IACnC,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,IAAI,EAAE;IACrB,EAAE,CAAC,EAAE,IAAI,EAAE,CAAC,EAAE,mBAAmB,EAAE;IACnC,EAAE,CAAC,EAAE,UAAU,EAAE,CAAC,EAAE,MAAM,EAAE;IAC5B,EAAE,CAAC,EAAE,cAAc,EAAE,CAAC,EAAE,gBAAgB,EAAE;IAC1C,EAAE,CAAC,EAAE,oBAAoB,EAAE,CAAC,EAAE,cAAc,EAAE;IAE9C,yBAAyB;IACzB,EAAE,CAAC,EAAE,eAAe,EAAE,CAAC,EAAE,+BAA+B,EAAE;IAE1D,EAAE,CAAC,EAAE,aAAa,EAAE,CAAC,EAAE,IAAI,EAAE;IAC7B,EAAE,CAAC,EAAE,UAAU,EAAE,CAAC,EAAE,UAAU,EAAE;IAChC,EAAE,CAAC,EAAE,WAAW,EAAE,CAAC,EAAE,GAAG,EAAE;IAE1B,kBAAkB;IAClB,EAAE,CAAC,EAAE,gBAAgB,EAAE,CAAC,EAAE,wBAAwB,EAAE;IACpD,EAAE,CAAC,EAAE,gBAAgB,EAAE,CAAC,EAAE,wBAAwB,EAAE;IACpD,EAAE,CAAC,EAAE,gBAAgB,EAAE,CAAC,EAAE,eAAe,EAAE;IAE3C,4GAA4G;IAC5G,EAAE,CAAC,EAAE,eAAe,EAAE,CAAC,EAAE,QAAQ,EAAE;IACnC,EAAE,CAAC,EAAE,QAAQ,EAAE,CAAC,EAAE,UAAU,EAAE;IAC9B,EAAE,CAAC,EAAE,QAAQ,EAAE,CAAC,EAAE,UAAU,EAAE;IAC9B,EAAE,CAAC,EAAE,QAAQ,EAAE,CAAC,EAAE,UAAU,EAAE,EAAE,EAAE,eAAe,EAAE;IACnD,EAAE,CAAC,EAAE,UAAU,EAAE,CAAC,EAAE,eAAe,EAAE;IAErC,wDAAwD;IAExD,4CAA4C;IAC5C,EAAE,CAAC,EAAE,eAAe,EAAE,CAAC,EAAE,cAAc,EAAE;IACzC,EAAE,CAAC,EAAE,eAAe,EAAE,CAAC,EAAE,cAAc,EAAE;IACzC,EAAE,CAAC,EAAE,eAAe,EAAE,CAAC,EAAE,cAAc,EAAE;IACzC,EAAE,CAAC,EAAE,eAAe,EAAE,CAAC,EAAE,cAAc,EAAE;IACzC,EAAE,CAAC,EAAE,eAAe,EAAE,CAAC,EAAE,cAAc,EAAE;IACzC,EAAE,CAAC,EAAE,eAAe,EAAE,CAAC,EAAE,cAAc,EAAE;IAEzC,oFAAoF;IACpF,EAAE,CAAC,EAAE,cAAc,EAAE,CAAC,EAAE,GAAG,EAAE;IAC7B,EAAE,CAAC,EAAE,cAAc,EAAE,CAAC,EAAE,GAAG,EAAE;IAC7B,EAAE,CAAC,EAAE,cAAc,EAAE,CAAC,EAAE,GAAG,EAAE;IAC7B,EAAE,CAAC,EAAE,cAAc,EAAE,CAAC,EAAE,KAAK,EAAE;IAC/B,EAAE,CAAC,EAAE,cAAc,EAAE,CAAC,EAAE,KAAK,EAAE;IAC/B,EAAE,CAAC,EAAE,cAAc,EAAE,CAAC,EAAE,KAAK,EAAE;CAChC,CAAC;AAEK,MAAM,QAAQ,GAAG,CAAC,CAAC,EAAE,EAAE;IAC5B,MAAM,KAAK,GAAG,cAAc,CAAC,MAAM,CAAE,EAAU,CAAC,KAAK,CAAC,CAAC;IACvD,OAAO,EAAE,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,CAAC,2BAA2B;AAClD,CAAC,CAAC;AAHW,QAAA,QAAQ,YAGnB;AAEF,MAAM,SAAS,GAAG,CAAC,CAA0B,EAAE,EAAE;IAC/C,IAAI,CAAC,GAA4B,CAAC,CAAC;IACnC,IAAI,YAAY,GAAG,IAAI,CAAC;IACxB,IAAI,oBAAoB,GAAG,KAAK,CAAC;IACjC,IAAI,iBAAiB,GAAG,KAAK,CAAC;IAC9B,IAAI,EAAE,GAAG,KAAK,CAAC;IACf,IAAI,mBAAmB,GAAG,KAAK,CAAC;IAEhC,CAAC,CAAC,QAAQ,CAAC,UAAU,IAAI,EAAE,IAAI,EAAE,MAAM;QACrC,IAAI,IAAI,CAAC,WAAW,EAAE;YACpB,iBAAiB,GAAG,IAAI,CAAC;YACzB,IAAI,CAAC,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,gBAAQ,CAAC,IAAI,CAAC,CAAC,CAAC;SACvD;QAED,IAAI,IAAI,CAAC,YAAY,EAAE;YACrB,EAAE,GAAG,EAAE,IAAI,IAAI,CAAC,IAAI,KAAK,IAAI,CAAC;YAC9B,mBAAmB,GAAG,mBAAmB,IAAI,IAAI,CAAC,IAAI,KAAK,QAAQ,CAAC;SACrE;IACH,CAAC,CAAC,CAAC;IAEH,IAAI,CAAC,CAAC,IAAI,EAAE;QACV,CAAC,CAAC,IAAI,GAAG,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE;YAC1B,IACE,CAAC,GAAG,CAAC,cAAc;gBACnB,CAAC,GAAG,CAAC,WAAW;gBAChB,CAAC,mBAAmB;gBACpB,CAAC,EAAE,EACH;gBACA,IAAI;oBACF,GAAG,GAAG,gBAAQ,CAAC,GAAG,CAAC,CAAC;iBACrB;gBAAC,OAAO,CAAC,EAAE;oBACV,MAAM;iBACP;aACF;YAED,oBAAoB,GAAG,oBAAoB,IAAI,GAAG,CAAC,cAAc,CAAC;YAElE,YAAY,GAAG,YAAY,IAAI,CAAC,CAAC,GAAG,CAAC,cAAc,CAAC;YAEpD,OAAO,GAAG,CAAC;QACb,CAAC,CAAC,CAAC;QAEH,IAAI,oBAAoB,IAAI,mBAAmB,EAAE;YAC/C,CAAC,CAAC,IAAI,GAAG,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE;gBAC1B,IAAI,CAAC,GAAG,CAAC,cAAc,IAAI,CAAC,GAAG,CAAC,WAAW,EAAE;oBAC3C,IAAI;wBACF,GAAG,GAAG,WAAW,CAAC,gBAAQ,CAAC,GAAG,CAAC,EAAE,EAAE,EAAE,IAAI,CAAC,CAAC,UAAU,CAAC;qBACvD;oBAAC,OAAO,CAAC,EAAE;wBACV,MAAM;qBACP;iBACF;gBAED,OAAO,GAAG,CAAC;YACb,CAAC,CAAC,CAAC;SACJ;KACF;IAED,IAAI,CAAC,CAAC,EAAE,KAAK,OAAO,EAAE;QACpB,IAAI;YACF,YAAY,GAAG,KAAK,CAAC;YACrB,CAAC,GAAG,WAAW,CAAC,CAAC,EAAE,EAAE,EAAE,IAAI,CAAC,CAAC,UAAU,CAAC;SACzC;QAAC,WAAM,GAAE;KACX;IAED,IAAI,CAAC,CAAC,YAAY,IAAI,CAAC,CAAC,MAAM,EAAE;QAC9B,CAAC,CAAC,MAAM,GAAG,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,gBAAI,CAAC,gBAAQ,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;KAC3D;IAED,IAAI,CAAC,iBAAiB,IAAI,CAAC,YAAY,EAAE;QACvC,qBAAqB;QACrB,IAAI;YACF,CAAC,GAAG,gBAAQ,CAAC,CAAC,CAAC,CAAC;SACjB;QAAC,OAAO,CAAC,EAAE,GAAE;KACf;IAED,GAAG,CAAC,qBAAqB,EAAE,CAAC,CAAC,QAAQ,EAAE,EAAE,UAAU,EAAE,CAAC,CAAC,QAAQ,EAAE,CAAC,CAAC;IAEnE,qBAAqB;IACrB,IACE,CAAC,CAAC,QAAQ,EAAE,KAAK,UAAU;QAC3B,CAAC,CAAC,CAAC,QAAQ,EAAE,IAAI,gBAAgB;QACjC,CAAC,CAAC,CAAC,QAAQ,EAAE,IAAI,gBAAgB,EACjC;QACA,CAAC,GAAG,IAAI,CAAC,CAAC,UAAU,CAAC,UAAU,CAAC,CAAC;KAClC;IAED,IAAI,CAAC,CAAC,KAAK,EAAE;QACX,CAAC,CAAC,KAAK,GAAG,IAAI,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,KAAK,GAAG,KAAK,CAAC,GAAG,KAAK,CAAC,CAAC;KAC/D;SAAM,IAAI,CAAC,CAAC,EAAE,KAAK,YAAY,EAAE;QAChC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,KAAK,GAAG,IAAI,CAAC,CAAC,QAAQ,CAC9B,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,KAAK,GAAG,KAAK,CAAC,GAAG,KAAK,CAC5C,CAAC;QACF,CAAC,GAAG,gBAAQ,CAAC,CAAC,CAAC,CAAC;KACjB;IAED,OAAO,CAAC,CAAC;AACX,CAAC,CAAC;AAEK,MAAM,WAAW,GAAG,CAAC,CAAM,EAAE,CAAM,EAAE,EAAE;;IAC5C,IAAI,EAAY,CAAC;IACjB,IAAI,EAAY,CAAC;IAEjB,IAAI,CAAA,CAAC,aAAD,CAAC,uBAAD,CAAC,CAAE,MAAM,MAAI,CAAC,aAAD,CAAC,uBAAD,CAAC,CAAE,MAAM,CAAA,EAAE;QAC1B,IAAI;YACF,OAAO,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;SACtB;QAAC,OAAO,CAAC,EAAE;YACV,GAAG,CACD,sCAAsC,EACtC,MAAA,CAAC,aAAD,CAAC,uBAAD,CAAC,CAAE,QAAQ,+CAAX,CAAC,CAAc,EACf,MAAA,CAAC,aAAD,CAAC,uBAAD,CAAC,CAAE,QAAQ,+CAAX,CAAC,CAAc,EACf,CAAC,CACF,CAAC;YACF,OAAO,KAAK,CAAC;SACd;KACF;IAED,IAAI,CAAA,CAAC,aAAD,CAAC,uBAAD,CAAC,CAAE,MAAM,MAAI,CAAC,aAAD,CAAC,uBAAD,CAAC,CAAE,MAAM,CAAA,EAAE;QAC1B,GAAG,CACD,2CAA2C,EAC3C,MAAA,CAAC,aAAD,CAAC,uBAAD,CAAC,CAAE,QAAQ,+CAAX,CAAC,CAAc,EACf,MAAA,CAAC,aAAD,CAAC,uBAAD,CAAC,CAAE,QAAQ,+CAAX,CAAC,CAAc,CAChB,CAAC;QACF,OAAO,KAAK,CAAC;KACd;IAED,+CAA+C;IAC/C,EAAE,GAAG,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,gBAAI,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC;IAExD,EAAE,GAAG,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,gBAAI,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC;IAExD,GAAG,CAAC,eAAe,EAAE,EAAE,CAAC,QAAQ,EAAE,EAAE,KAAK,EAAE,EAAE,CAAC,QAAQ,EAAE,CAAC,CAAC;IAE1D,MAAM,eAAe,GAAG,gBAAI,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,gBAAI,CAAC,CAAC,CAAC,CAAC,CAAC;IAChD,MAAM,WAAW,GAAG,EAAE,CAAC,KAAK,EAAE,CAAC,IAAI,EAAE,KAAK,EAAE,CAAC,KAAK,EAAE,CAAC,IAAI,EAAE,CAAC;IAE5D,IAAI,QAAQ,GAAG,WAAW,IAAI,EAAE,CAAC,MAAM,CAAC,EAAE,CAAC,IAAI,eAAe,CAAC;IAE/D,IAAI,QAAQ,EAAE;QACZ,OAAO,IAAI,CAAC;KACb;IAED,oCAAoC;IACpC,IAAI,EAAE,CAAC,EAAE,KAAK,OAAO,IAAI,EAAE,CAAC,EAAE,KAAK,OAAO,EAAE;QAC1C,OAAO,oCAAgB,CAAC,EAAE,EAAE,EAAE,EAAE,KAAK,CAAC,CAAC;KACxC;IAED,wEAAwE;IACxE,IACE,CAAC,EAAE,CAAC,EAAE,KAAK,QAAQ,IAAI,EAAE,CAAC,EAAE,KAAK,QAAQ,CAAC;QAC1C,CAAC,EAAE,CAAC,EAAE,KAAK,UAAU,IAAI,EAAE,CAAC,EAAE,KAAK,UAAU,CAAC,EAC9C;QACA,gHAAgH;QAChH,mFAAmF;QACnF,qHAAqH;QACrH,EAAE,CAAC,EAAE,GAAG,OAAO,CAAC;QAChB,EAAE,CAAC,EAAE,GAAG,OAAO,CAAC;QAChB,EAAE,CAAC,EAAE,GAAG,GAAG,CAAC;QACZ,EAAE,CAAC,EAAE,GAAG,GAAG,CAAC;QAEZ,OAAO,oCAAgB,CAAC,EAAE,EAAE,EAAE,EAAE,IAAI,CAAC,CAAC;KACvC;IAED,qDAAqD;IACrD;IACE,YAAY;IACZ,CAAA,MAAA,EAAE,aAAF,EAAE,uBAAF,EAAE,CAAE,YAAY,0CAAE,MAAM,OAAK,MAAA,EAAE,aAAF,EAAE,uBAAF,EAAE,CAAE,YAAY,0CAAE,MAAM,CAAA;QACrD,YAAY;QACZ,CAAA,MAAA,EAAE,aAAF,EAAE,uBAAF,EAAE,CAAE,YAAY,0CAAE,MAAM,MAAK,CAAC;QAC9B,YAAY;QACZ,CAAA,MAAA,EAAE,aAAF,EAAE,uBAAF,EAAE,CAAE,YAAY,0CAAE,QAAQ,EAAE,OAAK,MAAA,EAAE,aAAF,EAAE,uBAAF,EAAE,CAAE,YAAY,0CAAE,QAAQ,EAAE,CAAA,EAC7D;QACA,MAAM,MAAM,GAAG;YACb,SAAS;YACT,WAAW;YACX,QAAQ;YACR,UAAU;YACV,OAAO;YACP,SAAS;SACV,CAAC;QAEF,MAAM,eAAe,GAAG,MAAM,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE;QAC5C,YAAY;QACZ,EAAE,CAAC,YAAY,CAAC,QAAQ,CAAC,KAAK,CAAC,CAChC,CAAC;QAEF,MAAM,eAAe,GAAG,MAAM,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE;QAC5C,YAAY;QACZ,EAAE,CAAC,YAAY,CAAC,QAAQ,CAAC,KAAK,CAAC,CAChC,CAAC;QAEF,IAAI,eAAe,IAAI,eAAe,EAAE;YACtC,OAAO,yDAA0B,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC;SAC3C;KACF;IAED,OAAO,QAAQ,CAAC;AAClB,CAAC,CAAC;AAlGW,QAAA,WAAW,eAkGtB"}

package/lib/symbolic/utils.js

@@ -1,207 +0,0 @@
-"use strict";
-Object.defineProperty(exports, "__esModule", { value: true });
-exports.equationsHaveTheSameVariables = exports.solveLinearEquation = exports.solveQuadraticEquation = exports.setXToOne = exports.getCoefficients = exports.getVariables = exports.transformEqualityInExpression = exports.areNumericallyEquivalent = exports.hasSymbolicExponent = exports.expressionsCanBeCompared = void 0;
-const mathjs_1 = require("../mathjs");
-const _1 = require("./");
-const { simplify } = mathjs_1.mathjs;
-const m = mathjs_1.mathjs;
-let simplifyRules = [
-    { l: "-((n1)*(n2))", r: "(n1)*(n2)" },
-    { l: "(n1-n2)/n3", r: "n1/n3-n2/n3" },
-    { l: "(n1+n2)/n3", r: "n1/n3+n2/n3" },
-    { l: "(n1-n2)*n3/n4", r: "(n1*n3)/n4-(n2*n3)/n4" },
-    { l: "(n1+n2)*n3/n4", r: "(n1*n3)/n4+(n2*n3)/n4" },
-];
-const customRound = (number) => Math.round(number * 10000000000000) / 10000000000000;
-// expressions can be compared if we have at least one symbol node and has no function node or array; do not treat math series as equations
-const expressionsCanBeCompared = (firstEquation, secondEquation) => {
-    let noFunctionOrArray = true;
-    let firstSymbolNode = false;
-    let symbolNode = false;
-    let seriesNode = false;
-    firstEquation.traverse(function (node, path, parent) {
-        if (node.isSymbolNode) {
-            firstSymbolNode = true;
-            seriesNode = seriesNode || node.name.includes("[");
-        }
-        noFunctionOrArray =
-            noFunctionOrArray || node.isFunctionNode || node.isArrayNode;
-    });
-    secondEquation.traverse(function (node, path, parent) {
-        if (node.isFunctionNode || node.isArrayNode) {
-            noFunctionOrArray = false;
-        }
-        if (node.isSymbolNode && firstSymbolNode)
-            symbolNode = true;
-    });
-    return noFunctionOrArray && symbolNode && !seriesNode;
-};
-exports.expressionsCanBeCompared = expressionsCanBeCompared;
-const hasSymbolicExponent = (node) => {
-    let found = false;
-    node.traverse((n) => {
-        var _a;
-        if (n.isOperatorNode &&
-            n.op === "^" &&
-            !((_a = n.args[1]) === null || _a === void 0 ? void 0 : _a.isConstantNode) // Exponent is symbolic or compound
-        ) {
-            found = true;
-        }
-    });
-    return found;
-};
-exports.hasSymbolicExponent = hasSymbolicExponent;
-const areNumericallyEquivalent = (exprA, exprB, variables, tolerance = 1e-10) => {
-    const compiledA = m.compile(exprA.toString());
-    const compiledB = m.compile(exprB.toString());
-    const testValues = [1, 2, 3, 4, 5];
-    return testValues.every((val) => {
-        const scope = variables.reduce((acc, v) => {
-            acc[v] = val;
-            return acc;
-        }, {});
-        try {
-            const resultA = compiledA.evaluate(scope);
-            const resultB = compiledB.evaluate(scope);
-            return Math.abs(resultA - resultB) < tolerance;
-        }
-        catch (_a) {
-            return false;
-        }
-    });
-};
-exports.areNumericallyEquivalent = areNumericallyEquivalent;
-// move the terms of the equations to the left hand side
-const transformEqualityInExpression = (equality) => 
-// remove added/subtracted numbers/variables from both sides of the equation
-_1.simplify(new m.OperatorNode("-", "subtract", equality.args));
-exports.transformEqualityInExpression = transformEqualityInExpression;
-// check if equation is valid and find out the number of variables and their name
-const getVariables = (equation) => {
-    let variableNames = [];
-    equation.traverse(function (node, path, parent) {
-        if (node.isSymbolNode &&
-            (node === null || node === void 0 ? void 0 : node.name.length) === 1 &&
-            !variableNames.includes(node.name)) {
-            variableNames.push(node.name);
-        }
-    });
-    return variableNames.sort();
-};
-exports.getVariables = getVariables;
-const getCoefficients = (equation, isInequality) => {
-    // coefficients will be determined if equation has only one variable
-    try {
-        const rationalizedEquation = m.rationalize(equation, {}, true);
-        let coefficients = rationalizedEquation.coefficients;
-        let allNegatives = coefficients.every((coefficient) => coefficient < 0);
-        return allNegatives
-            ? coefficients.map((coefficient) => Math.abs(coefficient))
-            : coefficients;
-    }
-    catch (e) {
-        // rationalize may fail if variable is isolated in a fraction
-        // we give it another try to rationalize after applying a new round of simplify to separate the variable
-        if (isInequality) {
-            equation = simplify(equation, simplifyRules);
-        }
-        else {
-            simplifyRules.push({ l: "-(n)", r: "n" });
-            equation = simplify(equation, simplifyRules);
-        }
-        try {
-            const rationalizedEquation = m.rationalize(equation, {}, true);
-            return rationalizedEquation.coefficients;
-        }
-        catch (e) { }
-    }
-    return [1, 0];
-};
-exports.getCoefficients = getCoefficients;
-const setXToOne = (equation, variableName) => equation.transform(function (node, path, parent) {
-    if (node.isSymbolNode && node.name === variableName) {
-        return new m.ConstantNode(1);
-    }
-    return node;
-});
-exports.setXToOne = setXToOne;
-// quadratic equation solver for a second-order polynomial equation such as ax^2 + bx + c = 0 for x, where a is not zero
-// quadratic formula
-const solveQuadraticEquation = (coefficients) => {
-    const [c, b, a] = coefficients;
-    const discriminant = b * b - 4 * a * c;
-    let addDiscriminant;
-    let subtractDiscriminant;
-    try {
-        addDiscriminant = m.compile(m.fraction(-b + m.sqrt(discriminant)) / (2 * a));
-    }
-    catch (_a) {
-        addDiscriminant = m.compile("(-b+sqrt(discriminant))/(2*a)");
-    }
-    try {
-        subtractDiscriminant = m.compile(m.fraction(-b - m.sqrt(discriminant)) / (2 * a));
-    }
-    catch (_b) {
-        subtractDiscriminant = m.compile("(-b-sqrt(discriminant))/(2*a)");
-    }
-    let firstRoot = addDiscriminant.evaluate({
-        discriminant: discriminant,
-        a: a,
-        b: b,
-    });
-    let secondRoot = subtractDiscriminant.evaluate({
-        discriminant: discriminant,
-        a: a,
-        b: b,
-    });
-    // roots are real numbers
-    if (!firstRoot.im) {
-        firstRoot = customRound(firstRoot);
-        secondRoot = customRound(secondRoot);
-        return [
-            { re: firstRoot, im: 0 },
-            { re: secondRoot, im: 0 },
-        ];
-    }
-    return [
-        {
-            re: customRound(firstRoot.re),
-            im: customRound(firstRoot.im),
-        },
-        {
-            re: customRound(secondRoot.re),
-            im: customRound(secondRoot.im),
-        },
-    ];
-};
-exports.solveQuadraticEquation = solveQuadraticEquation;
-// solve x
-const solveLinearEquation = (coefficients) => {
-    let result;
-    if (!coefficients) {
-        return undefined;
-    }
-    if (coefficients.length === 3 && coefficients[0] === 0) {
-        coefficients = coefficients.splice(1, 2);
-    }
-    if (coefficients.length === 2) {
-        if (coefficients[0] === 0 && coefficients[1] === 0) {
-            return Infinity;
-        }
-        if (coefficients[0] === 0) {
-            return 0;
-        }
-        // equation with no solution : if coefficient for x is 0 => division by zero => result == -Infinity
-        result = customRound(m.divide(coefficients[0], -1 * coefficients[1]));
-    }
-    return result;
-};
-exports.solveLinearEquation = solveLinearEquation;
-const equationsHaveTheSameVariables = (firstEquationVariables, secondEquationVariables) => {
-    return (Array.isArray(firstEquationVariables) &&
-        Array.isArray(secondEquationVariables) &&
-        firstEquationVariables.length === secondEquationVariables.length &&
-        firstEquationVariables.every((variable, index) => variable === secondEquationVariables[index]));
-};
-exports.equationsHaveTheSameVariables = equationsHaveTheSameVariables;
-//# sourceMappingURL=utils.js.map

package/lib/symbolic/utils.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"utils.js","sourceRoot":"","sources":["../../src/symbolic/utils.ts"],"names":[],"mappings":";;;AAAA,sCAAmC;AAEnC,yBAAgD;AAChD,MAAM,EAAE,QAAQ,EAAE,GAAG,eAAM,CAAC;AAE5B,MAAM,CAAC,GAAQ,eAAM,CAAC;AAEtB,IAAI,aAAa,GAAG;IAClB,EAAE,CAAC,EAAE,cAAc,EAAE,CAAC,EAAE,WAAW,EAAE;IACrC,EAAE,CAAC,EAAE,YAAY,EAAE,CAAC,EAAE,aAAa,EAAE;IACrC,EAAE,CAAC,EAAE,YAAY,EAAE,CAAC,EAAE,aAAa,EAAE;IACrC,EAAE,CAAC,EAAE,eAAe,EAAE,CAAC,EAAE,uBAAuB,EAAE;IAClD,EAAE,CAAC,EAAE,eAAe,EAAE,CAAC,EAAE,uBAAuB,EAAE;CACnD,CAAC;AAEF,MAAM,WAAW,GAAG,CAAC,MAAc,EAAE,EAAE,CACrC,IAAI,CAAC,KAAK,CAAC,MAAM,GAAG,cAAc,CAAC,GAAG,cAAc,CAAC;AAEvD,2IAA2I;AACpI,MAAM,wBAAwB,GAAG,CACtC,aAAuB,EACvB,cAAwB,EACf,EAAE;IACX,IAAI,iBAAiB,GAAY,IAAI,CAAC;IACtC,IAAI,eAAe,GAAY,KAAK,CAAC;IACrC,IAAI,UAAU,GAAY,KAAK,CAAC;IAChC,IAAI,UAAU,GAAY,KAAK,CAAC;IAEhC,aAAa,CAAC,QAAQ,CAAC,UAAU,IAAI,EAAE,IAAI,EAAE,MAAM;QACjD,IAAI,IAAI,CAAC,YAAY,EAAE;YACrB,eAAe,GAAG,IAAI,CAAC;YACvB,UAAU,GAAG,UAAU,IAAI,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC;SACpD;QACD,iBAAiB;YACf,iBAAiB,IAAI,IAAI,CAAC,cAAc,IAAI,IAAI,CAAC,WAAW,CAAC;IACjE,CAAC,CAAC,CAAC;IAEH,cAAc,CAAC,QAAQ,CAAC,UAAU,IAAI,EAAE,IAAI,EAAE,MAAM;QAClD,IAAI,IAAI,CAAC,cAAc,IAAI,IAAI,CAAC,WAAW,EAAE;YAC3C,iBAAiB,GAAG,KAAK,CAAC;SAC3B;QAED,IAAI,IAAI,CAAC,YAAY,IAAI,eAAe;YAAE,UAAU,GAAG,IAAI,CAAC;IAC9D,CAAC,CAAC,CAAC;IAEH,OAAO,iBAAiB,IAAI,UAAU,IAAI,CAAC,UAAU,CAAC;AACxD,CAAC,CAAC;AA3BW,QAAA,wBAAwB,4BA2BnC;AAEK,MAAM,mBAAmB,GAAG,CAAC,IAAc,EAAW,EAAE;IAC7D,IAAI,KAAK,GAAG,KAAK,CAAC;IAElB,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,EAAE;;QAClB,IACE,CAAC,CAAC,cAAc;YAChB,CAAC,CAAC,EAAE,KAAK,GAAG;YACZ,CAAC,CAAA,MAAA,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,0CAAE,cAAc,CAAA,CAAC,mCAAmC;UAC9D;YACA,KAAK,GAAG,IAAI,CAAC;SACd;IACH,CAAC,CAAC,CAAC;IAEH,OAAO,KAAK,CAAC;AACf,CAAC,CAAC;AAdW,QAAA,mBAAmB,uBAc9B;AAEK,MAAM,wBAAwB,GAAG,CACtC,KAAe,EACf,KAAe,EACf,SAAmB,EACnB,YAAoB,KAAK,EAChB,EAAE;IACX,MAAM,SAAS,GAAG,CAAC,CAAC,OAAO,CAAC,KAAK,CAAC,QAAQ,EAAE,CAAC,CAAC;IAC9C,MAAM,SAAS,GAAG,CAAC,CAAC,OAAO,CAAC,KAAK,CAAC,QAAQ,EAAE,CAAC,CAAC;IAE9C,MAAM,UAAU,GAAG,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;IAEnC,OAAO,UAAU,CAAC,KAAK,CAAC,CAAC,GAAG,EAAE,EAAE;QAC9B,MAAM,KAAK,GAAG,SAAS,CAAC,MAAM,CAAC,CAAC,GAAG,EAAE,CAAC,EAAE,EAAE;YACxC,GAAG,CAAC,CAAC,CAAC,GAAG,GAAG,CAAC;YACb,OAAO,GAAG,CAAC;QACb,CAAC,EAAE,EAA4B,CAAC,CAAC;QAEjC,IAAI;YACF,MAAM,OAAO,GAAG,SAAS,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC;YAC1C,MAAM,OAAO,GAAG,SAAS,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC;YAC1C,OAAO,IAAI,CAAC,GAAG,CAAC,OAAO,GAAG,OAAO,CAAC,GAAG,SAAS,CAAC;SAChD;QAAC,WAAM;YACN,OAAO,KAAK,CAAC;SACd;IACH,CAAC,CAAC,CAAC;AACL,CAAC,CAAC;AAzBW,QAAA,wBAAwB,4BAyBnC;AAEF,wDAAwD;AACjD,MAAM,6BAA6B,GAAG,CAAC,QAAkB,EAAE,EAAE;AAClE,4EAA4E;AAC5E,WAAc,CAAC,IAAI,CAAC,CAAC,YAAY,CAAC,GAAG,EAAE,UAAU,EAAE,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC;AAFxD,QAAA,6BAA6B,iCAE2B;AAErE,iFAAiF;AAC1E,MAAM,YAAY,GAAG,CAAC,QAAkB,EAAE,EAAE;IACjD,IAAI,aAAa,GAAa,EAAE,CAAC;IAEjC,QAAQ,CAAC,QAAQ,CAAC,UAAU,IAAI,EAAE,IAAI,EAAE,MAAM;QAC5C,IACE,IAAI,CAAC,YAAY;YACjB,CAAA,IAAI,aAAJ,IAAI,uBAAJ,IAAI,CAAE,IAAI,CAAC,MAAM,MAAK,CAAC;YACvB,CAAC,aAAa,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,EAClC;YACA,aAAa,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;SAC/B;IACH,CAAC,CAAC,CAAC;IAEH,OAAO,aAAa,CAAC,IAAI,EAAE,CAAC;AAC9B,CAAC,CAAC;AAdW,QAAA,YAAY,gBAcvB;AAEK,MAAM,eAAe,GAAG,CAAC,QAAkB,EAAE,YAAqB,EAAE,EAAE;IAC3E,oEAAoE;IAEpE,IAAI;QACF,MAAM,oBAAoB,GAAG,CAAC,CAAC,WAAW,CAAC,QAAQ,EAAE,EAAE,EAAE,IAAI,CAAC,CAAC;QAE/D,IAAI,YAAY,GAAG,oBAAoB,CAAC,YAAY,CAAC;QACrD,IAAI,YAAY,GAAG,YAAY,CAAC,KAAK,CAAC,CAAC,WAAW,EAAE,EAAE,CAAC,WAAW,GAAG,CAAC,CAAC,CAAC;QAExE,OAAO,YAAY;YACjB,CAAC,CAAC,YAAY,CAAC,GAAG,CAAC,CAAC,WAAW,EAAE,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,WAAW,CAAC,CAAC;YAC1D,CAAC,CAAC,YAAY,CAAC;KAClB;IAAC,OAAO,CAAC,EAAE;QACV,6DAA6D;QAC7D,wGAAwG;QACxG,IAAI,YAAY,EAAE;YAChB,QAAQ,GAAG,QAAQ,CAAC,QAAQ,EAAE,aAAa,CAAC,CAAC;SAC9C;aAAM;YACL,aAAa,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,CAAC;YAC1C,QAAQ,GAAG,QAAQ,CAAC,QAAQ,EAAE,aAAa,CAAC,CAAC;SAC9C;QAED,IAAI;YACF,MAAM,oBAAoB,GAAG,CAAC,CAAC,WAAW,CAAC,QAAQ,EAAE,EAAE,EAAE,IAAI,CAAC,CAAC;YAC/D,OAAO,oBAAoB,CAAC,YAAY,CAAC;SAC1C;QAAC,OAAO,CAAC,EAAE,GAAE;KACf;IAED,OAAO,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;AAChB,CAAC,CAAC;AA7BW,QAAA,eAAe,mBA6B1B;AAEK,MAAM,SAAS,GAAG,CAAC,QAAa,EAAE,YAAoB,EAAE,EAAE,CAC/D,QAAQ,CAAC,SAAS,CAAC,UAAU,IAAI,EAAE,IAAI,EAAE,MAAM;IAC7C,IAAI,IAAI,CAAC,YAAY,IAAI,IAAI,CAAC,IAAI,KAAK,YAAY,EAAE;QACnD,OAAO,IAAI,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;KAC9B;IAED,OAAO,IAAI,CAAC;AACd,CAAC,CAAC,CAAC;AAPQ,QAAA,SAAS,aAOjB;AAEL,wHAAwH;AACxH,oBAAoB;AACb,MAAM,sBAAsB,GAAG,CAAC,YAAsB,EAAE,EAAE;IAC/D,MAAM,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,GAAG,YAAY,CAAC;IAC/B,MAAM,YAAY,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;IAEvC,IAAI,eAAoB,CAAC;IACzB,IAAI,oBAAyB,CAAC;IAE9B,IAAI;QACF,eAAe,GAAG,CAAC,CAAC,OAAO,CACzB,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,CAChD,CAAC;KACH;IAAC,WAAM;QACN,eAAe,GAAG,CAAC,CAAC,OAAO,CAAC,+BAA+B,CAAC,CAAC;KAC9D;IAED,IAAI;QACF,oBAAoB,GAAG,CAAC,CAAC,OAAO,CAC9B,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,CAChD,CAAC;KACH;IAAC,WAAM;QACN,oBAAoB,GAAG,CAAC,CAAC,OAAO,CAAC,+BAA+B,CAAC,CAAC;KACnE;IAED,IAAI,SAAS,GAAG,eAAe,CAAC,QAAQ,CAAC;QACvC,YAAY,EAAE,YAAY;QAC1B,CAAC,EAAE,CAAC;QACJ,CAAC,EAAE,CAAC;KACL,CAAC,CAAC;IAEH,IAAI,UAAU,GAAG,oBAAoB,CAAC,QAAQ,CAAC;QAC7C,YAAY,EAAE,YAAY;QAC1B,CAAC,EAAE,CAAC;QACJ,CAAC,EAAE,CAAC;KACL,CAAC,CAAC;IAEH,yBAAyB;IACzB,IAAI,CAAC,SAAS,CAAC,EAAE,EAAE;QACjB,SAAS,GAAG,WAAW,CAAC,SAAS,CAAC,CAAC;QACnC,UAAU,GAAG,WAAW,CAAC,UAAU,CAAC,CAAC;QACrC,OAAO;YACL,EAAE,EAAE,EAAE,SAAS,EAAE,EAAE,EAAE,CAAC,EAAE;YACxB,EAAE,EAAE,EAAE,UAAU,EAAE,EAAE,EAAE,CAAC,EAAE;SAC1B,CAAC;KACH;IAED,OAAO;QACL;YACE,EAAE,EAAE,WAAW,CAAC,SAAS,CAAC,EAAE,CAAC;YAC7B,EAAE,EAAE,WAAW,CAAC,SAAS,CAAC,EAAE,CAAC;SAC9B;QACD;YACE,EAAE,EAAE,WAAW,CAAC,UAAU,CAAC,EAAE,CAAC;YAC9B,EAAE,EAAE,WAAW,CAAC,UAAU,CAAC,EAAE,CAAC;SAC/B;KACF,CAAC;AACJ,CAAC,CAAC;AAvDW,QAAA,sBAAsB,0BAuDjC;AAEF,UAAU;AACH,MAAM,mBAAmB,GAAG,CAAC,YAAsB,EAAE,EAAE;IAC5D,IAAI,MAAc,CAAC;IAEnB,IAAI,CAAC,YAAY,EAAE;QACjB,OAAO,SAAS,CAAC;KAClB;IAED,IAAI,YAAY,CAAC,MAAM,KAAK,CAAC,IAAI,YAAY,CAAC,CAAC,CAAC,KAAK,CAAC,EAAE;QACtD,YAAY,GAAG,YAAY,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;KAC1C;IAED,IAAI,YAAY,CAAC,MAAM,KAAK,CAAC,EAAE;QAC7B,IAAI,YAAY,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,YAAY,CAAC,CAAC,CAAC,KAAK,CAAC,EAAE;YAClD,OAAO,QAAQ,CAAC;SACjB;QAED,IAAI,YAAY,CAAC,CAAC,CAAC,KAAK,CAAC,EAAE;YACzB,OAAO,CAAC,CAAC;SACV;QAED,mGAAmG;QACnG,MAAM,GAAG,WAAW,CAAC,CAAC,CAAC,MAAM,CAAC,YAAY,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,YAAY,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;KACvE;IAED,OAAO,MAAM,CAAC;AAChB,CAAC,CAAC;AAzBW,QAAA,mBAAmB,uBAyB9B;AAEK,MAAM,6BAA6B,GAAG,CAC3C,sBAAgC,EAChC,uBAAiC,EACjC,EAAE;IACF,OAAO,CACL,KAAK,CAAC,OAAO,CAAC,sBAAsB,CAAC;QACrC,KAAK,CAAC,OAAO,CAAC,uBAAuB,CAAC;QACtC,sBAAsB,CAAC,MAAM,KAAK,uBAAuB,CAAC,MAAM;QAChE,sBAAsB,CAAC,KAAK,CAC1B,CAAC,QAAQ,EAAE,KAAK,EAAE,EAAE,CAAC,QAAQ,KAAK,uBAAuB,CAAC,KAAK,CAAC,CACjE,CACF,CAAC;AACJ,CAAC,CAAC;AAZW,QAAA,6BAA6B,iCAYxC"}