symbolicjs 0.0.1 → 0.1.0

package/README.md

@@ -3,8 +3,7 @@
 Computer algebra extensions for [MathJS](https://mathjs.org/), beginning with
 first-class equations.
 
-> Early development release. The initial package provides the equation node and
-> parser boundary; solving is the next milestone.
+> Early development release. The package API may change before 1.0.0.
 
 ## Install
 
@@ -24,6 +23,9 @@ first-class equations.
     equation.toString();     // 'x + 1 =:= y / 2'
     equation.toTex();        // MathJS LaTeX joined by '='
 
+    const result = math.solveEquation('x*x - 5*x + 6 =:= 0', 'x');
+    // result.kind === 'finite'; roots are 2 and 3
+
 The lower-level factory array can be imported directly when an application
 manages its own MathJS instance typing:
 
@@ -54,7 +56,7 @@ The package does not monkey-patch or silently replace **math.parse**. Ordinary
 MathJS parsing, including assignment parsing, remains unchanged.
 Assignments and function assignments are rejected inside equation sides.
 
-## Initial API
+## API
 
 - **importsymbolicjs(math)** imports the symbolicjs factories and returns the same
   instance with typed **EqualityNode** and **parseEquation** members.
@@ -63,25 +65,32 @@ Assignments and function assignments are rejected inside equation sides.
 - **splitEquation(expression)** validates and splits one top-level **=:=**.
 - **isEqualityNode(value)** is the runtime type guard.
 - **EQUALITY_OPERATOR** is the canonical **=:=** token.
+- **equationSymbols(equation)** returns sorted free member symbols.
+- **solveEquation(equation, target, options?)** solves for one target.
+- **solveEquationForAll(equation, options?)** independently attempts every
+  member symbol and returns an immutable result map.
 
 **EqualityNode** supports MathJS traversal, transformation, cloning,
 compilation, equality evaluation, string output, LaTeX output, HTML output, and
 its own JSON codec.
 
-## Roadmap
+See the [API guide](docs/api.md), [implementation plan](docs/implementation-plan.md),
+and [security guidance](docs/security.md) for result types, supported families,
+limits, and integration details.
+
+## Implemented solver scope
 
-1. First-class equality node, parser boundary, formatting, and serialization.
-2. Symbol discovery, immutable substitution, conservative simplification,
-   domain conditions, and candidate verification.
-3. Single-occurrence isolation for arithmetic, powers, roots, exponential,
-   logarithm, and absolute value.
-4. Target-relative rational and polynomial normalization, with symbolic linear
-   and quadratic solving.
-5. Typed solve cases for finite roots, identities, contradictions, conditions,
-   partial results, unsupported families, and complexity limits.
-6. Numeric cubic fallback when all coefficients are numeric.
+- First-class equality nodes, parsing, formatting, and serialization.
+- Symbol discovery, immutable substitution, conservative simplification,
+  domain conditions, candidate verification, and deterministic limits.
+- Single-occurrence isolation for arithmetic, powers, roots, exponential,
+  logarithm, and absolute value.
+- Target-relative rational normalization and symbolic affine/quadratic solving.
+- Numeric cubic fallback when every coefficient is numeric.
+- Typed finite, identity, contradiction, partial, unsupported, and limit results.
+- Independent solve-for-all orchestration and opt-in diagnostics.
 
-The initial solver domain will be real scalar equations. Periodic
+The solver domain is real scalar equations. Periodic
 trigonometric families, simultaneous systems, matrices, units, and a general
 equivalence prover are not part of the first solver release.
 
@@ -91,12 +100,16 @@ Requires Node 22 or newer.
 
     npm install
     npm run check
+    npm run test:benchmark
     npm run pack:dry
 
 The package is tested independently of any consuming application. MathJS is a
 peer dependency and is pinned to 15.2.0 in development so the node contract is
 tested against a known implementation.
 
+The stable-release requirements are tracked in the
+[release checklist](docs/release-checklist.md).
+
 ## Publishing
 
 The repository includes a tag-triggered GitHub Actions publishing workflow.

package/dist/analysis.d.ts

@@ -0,0 +1,6 @@
+import type { MathNode } from 'mathjs';
+import type { EqualityNode } from './types.js';
+export declare function nodeSymbols(node: MathNode): readonly string[];
+export declare function equationSymbols(equation: EqualityNode): readonly string[];
+export declare const createEquationSymbols: import("mathjs").FactoryFunction<unknown>;
+//# sourceMappingURL=analysis.d.ts.map

package/dist/analysis.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"analysis.d.ts","sourceRoot":"","sources":["../src/analysis.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAC,QAAQ,EAAC,MAAM,QAAQ,CAAC;AAErC,OAAO,KAAK,EAAC,YAAY,EAAC,MAAM,YAAY,CAAC;AAmB7C,wBAAgB,WAAW,CAAC,IAAI,EAAE,QAAQ,GAAG,SAAS,MAAM,EAAE,CAc7D;AAED,wBAAgB,eAAe,CAAC,QAAQ,EAAE,YAAY,GAAG,SAAS,MAAM,EAAE,CAOzE;AAED,eAAO,MAAM,qBAAqB,2CAIjC,CAAC"}

package/dist/analysis.js

@@ -0,0 +1,43 @@
+import { isFunctionNode, isSymbolNode } from 'mathjs';
+import { customFactory } from './custom-factory.js';
+const BUILTIN_CONSTANTS = new Set([
+    'e',
+    'false',
+    'i',
+    'Infinity',
+    'NaN',
+    'null',
+    'phi',
+    'pi',
+    'SQRT1_2',
+    'SQRT2',
+    'tau',
+    'true',
+    'undefined',
+    'version'
+]);
+export function nodeSymbols(node) {
+    const symbols = new Set();
+    node.traverse((candidate, path, parent) => {
+        if (!isSymbolNode(candidate)) {
+            return;
+        }
+        if (parent && isFunctionNode(parent) && path === 'fn') {
+            return;
+        }
+        if (!BUILTIN_CONSTANTS.has(candidate.name)) {
+            symbols.add(candidate.name);
+        }
+    });
+    return Object.freeze([...symbols].sort());
+}
+export function equationSymbols(equation) {
+    if (!equation?.isEqualityNode) {
+        throw new TypeError('EqualityNode expected');
+    }
+    return Object.freeze([
+        ...new Set([...nodeSymbols(equation.lhs), ...nodeSymbols(equation.rhs)])
+    ].sort());
+}
+export const createEquationSymbols = customFactory('equationSymbols', [], () => equationSymbols);
+//# sourceMappingURL=analysis.js.map

package/dist/analysis.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"analysis.js","sourceRoot":"","sources":["../src/analysis.ts"],"names":[],"mappings":"AAAA,OAAO,EAAC,cAAc,EAAE,YAAY,EAAC,MAAM,QAAQ,CAAC;AAEpD,OAAO,EAAC,aAAa,EAAC,MAAM,qBAAqB,CAAC;AAGlD,MAAM,iBAAiB,GAAG,IAAI,GAAG,CAAC;IAChC,GAAG;IACH,OAAO;IACP,GAAG;IACH,UAAU;IACV,KAAK;IACL,MAAM;IACN,KAAK;IACL,IAAI;IACJ,SAAS;IACT,OAAO;IACP,KAAK;IACL,MAAM;IACN,WAAW;IACX,SAAS;CACV,CAAC,CAAC;AAEH,MAAM,UAAU,WAAW,CAAC,IAAc;IACxC,MAAM,OAAO,GAAG,IAAI,GAAG,EAAU,CAAC;IAClC,IAAI,CAAC,QAAQ,CAAC,CAAC,SAAS,EAAE,IAAI,EAAE,MAAM,EAAE,EAAE;QACxC,IAAI,CAAC,YAAY,CAAC,SAAS,CAAC,EAAE,CAAC;YAC7B,OAAO;QACT,CAAC;QACD,IAAI,MAAM,IAAI,cAAc,CAAC,MAAM,CAAC,IAAI,IAAI,KAAK,IAAI,EAAE,CAAC;YACtD,OAAO;QACT,CAAC;QACD,IAAI,CAAC,iBAAiB,CAAC,GAAG,CAAC,SAAS,CAAC,IAAI,CAAC,EAAE,CAAC;YAC3C,OAAO,CAAC,GAAG,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC;QAC9B,CAAC;IACH,CAAC,CAAC,CAAC;IACH,OAAO,MAAM,CAAC,MAAM,CAAC,CAAC,GAAG,OAAO,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC;AAC5C,CAAC;AAED,MAAM,UAAU,eAAe,CAAC,QAAsB;IACpD,IAAI,CAAC,QAAQ,EAAE,cAAc,EAAE,CAAC;QAC9B,MAAM,IAAI,SAAS,CAAC,uBAAuB,CAAC,CAAC;IAC/C,CAAC;IACD,OAAO,MAAM,CAAC,MAAM,CAAC;QACnB,GAAG,IAAI,GAAG,CAAC,CAAC,GAAG,WAAW,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,GAAG,WAAW,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC;KACzE,CAAC,IAAI,EAAE,CAAC,CAAC;AACZ,CAAC;AAED,MAAM,CAAC,MAAM,qBAAqB,GAAG,aAAa,CAChD,iBAAiB,EACjB,EAAE,EACF,GAAG,EAAE,CAAC,eAAe,CACtB,CAAC"}

package/dist/budget.d.ts

@@ -0,0 +1,15 @@
+import type { MathNode } from 'mathjs';
+import type { LimitKind, LimitResult, SolveOptions, SolverLimits } from './solve-types.js';
+type ConsumableLimit = Exclude<LimitKind, 'input-nodes' | 'polynomial-degree'>;
+export declare function resolveLimits(options?: SolveOptions): SolverLimits;
+export declare class SolverContext {
+    readonly target: string;
+    readonly limits: SolverLimits;
+    readonly used: Record<ConsumableLimit, number>;
+    constructor(target: string, options?: SolveOptions);
+    preflight(node: MathNode): LimitResult | null;
+    checkPolynomialDegree(degree: number): LimitResult | null;
+    consume(kind: ConsumableLimit, amount?: number): LimitResult | null;
+}
+export {};
+//# sourceMappingURL=budget.d.ts.map

package/dist/budget.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"budget.d.ts","sourceRoot":"","sources":["../src/budget.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAC,QAAQ,EAAC,MAAM,QAAQ,CAAC;AAKrC,OAAO,KAAK,EACV,SAAS,EACT,WAAW,EACX,YAAY,EACZ,YAAY,EACb,MAAM,kBAAkB,CAAC;AAE1B,KAAK,eAAe,GAAG,OAAO,CAAC,SAAS,EAAE,aAAa,GAAG,mBAAmB,CAAC,CAAC;AAkB/E,wBAAgB,aAAa,CAAC,OAAO,CAAC,EAAE,YAAY,GAAG,YAAY,CASlE;AAED,qBAAa,aAAa;IACxB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,MAAM,EAAE,YAAY,CAAC;IAC9B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC,eAAe,EAAE,MAAM,CAAC,CAO5C;IAEF,YAAY,MAAM,EAAE,MAAM,EAAE,OAAO,CAAC,EAAE,YAAY,EAGjD;IAED,SAAS,CAAC,IAAI,EAAE,QAAQ,GAAG,WAAW,GAAG,IAAI,CAQ5C;IAED,qBAAqB,CAAC,MAAM,EAAE,MAAM,GAAG,WAAW,GAAG,IAAI,CAIxD;IAED,OAAO,CAAC,IAAI,EAAE,eAAe,EAAE,MAAM,SAAI,GAAG,WAAW,GAAG,IAAI,CAO7D;CACF"}

package/dist/budget.js

@@ -0,0 +1,62 @@
+import { DEFAULT_SOLVER_LIMITS, limitResult } from './solve-types.js';
+const LIMIT_PROPERTY = {
+    'rewrite-steps': 'rewriteSteps',
+    'recursion-depth': 'recursionDepth',
+    branches: 'branches',
+    candidates: 'candidates',
+    'numeric-iterations': 'numericIterations',
+    'total-work': 'totalWork'
+};
+function validateLimit(name, value) {
+    if (!Number.isSafeInteger(value) || value < 0) {
+        throw new RangeError('Solver limit "' + name + '" must be a nonnegative safe integer');
+    }
+    return value;
+}
+export function resolveLimits(options) {
+    const supplied = options?.limits ?? {};
+    const limits = { ...DEFAULT_SOLVER_LIMITS, ...supplied };
+    for (const [name, value] of Object.entries(limits)) {
+        validateLimit(name, value);
+    }
+    return Object.freeze(limits);
+}
+export class SolverContext {
+    target;
+    limits;
+    used = {
+        'rewrite-steps': 0,
+        'recursion-depth': 0,
+        branches: 0,
+        candidates: 0,
+        'numeric-iterations': 0,
+        'total-work': 0
+    };
+    constructor(target, options) {
+        this.target = target;
+        this.limits = resolveLimits(options);
+    }
+    preflight(node) {
+        let count = 0;
+        node.traverse(() => {
+            count += 1;
+        });
+        return count > this.limits.inputNodes
+            ? limitResult(this.target, 'input-nodes')
+            : null;
+    }
+    checkPolynomialDegree(degree) {
+        return degree > this.limits.polynomialDegree
+            ? limitResult(this.target, 'polynomial-degree')
+            : null;
+    }
+    consume(kind, amount = 1) {
+        validateLimit('amount', amount);
+        this.used[kind] += amount;
+        const property = LIMIT_PROPERTY[kind];
+        return this.used[kind] > this.limits[property]
+            ? limitResult(this.target, kind)
+            : null;
+    }
+}
+//# sourceMappingURL=budget.js.map

package/dist/budget.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"budget.js","sourceRoot":"","sources":["../src/budget.ts"],"names":[],"mappings":"AACA,OAAO,EACL,qBAAqB,EACrB,WAAW,EACZ,MAAM,kBAAkB,CAAC;AAU1B,MAAM,cAAc,GAA0D;IAC5E,eAAe,EAAE,cAAc;IAC/B,iBAAiB,EAAE,gBAAgB;IACnC,QAAQ,EAAE,UAAU;IACpB,UAAU,EAAE,YAAY;IACxB,oBAAoB,EAAE,mBAAmB;IACzC,YAAY,EAAE,WAAW;CAC1B,CAAC;AAEF,SAAS,aAAa,CAAC,IAAY,EAAE,KAAa;IAChD,IAAI,CAAC,MAAM,CAAC,aAAa,CAAC,KAAK,CAAC,IAAI,KAAK,GAAG,CAAC,EAAE,CAAC;QAC9C,MAAM,IAAI,UAAU,CAAC,gBAAgB,GAAG,IAAI,GAAG,sCAAsC,CAAC,CAAC;IACzF,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED,MAAM,UAAU,aAAa,CAAC,OAAsB;IAClD,MAAM,QAAQ,GAAG,OAAO,EAAE,MAAM,IAAI,EAAE,CAAC;IACvC,MAAM,MAAM,GAAG,EAAC,GAAG,qBAAqB,EAAE,GAAG,QAAQ,EAAC,CAAC;IAEvD,KAAK,MAAM,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,EAAE,CAAC;QACnD,aAAa,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;IAC7B,CAAC;IAED,OAAO,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;AAC/B,CAAC;AAED,MAAM,OAAO,aAAa;IACf,MAAM,CAAS;IACf,MAAM,CAAe;IACrB,IAAI,GAAoC;QAC/C,eAAe,EAAE,CAAC;QAClB,iBAAiB,EAAE,CAAC;QACpB,QAAQ,EAAE,CAAC;QACX,UAAU,EAAE,CAAC;QACb,oBAAoB,EAAE,CAAC;QACvB,YAAY,EAAE,CAAC;KAChB,CAAC;IAEF,YAAY,MAAc,EAAE,OAAsB;QAChD,IAAI,CAAC,MAAM,GAAG,MAAM,CAAC;QACrB,IAAI,CAAC,MAAM,GAAG,aAAa,CAAC,OAAO,CAAC,CAAC;IACvC,CAAC;IAED,SAAS,CAAC,IAAc;QACtB,IAAI,KAAK,GAAG,CAAC,CAAC;QACd,IAAI,CAAC,QAAQ,CAAC,GAAG,EAAE;YACjB,KAAK,IAAI,CAAC,CAAC;QACb,CAAC,CAAC,CAAC;QACH,OAAO,KAAK,GAAG,IAAI,CAAC,MAAM,CAAC,UAAU;YACnC,CAAC,CAAC,WAAW,CAAC,IAAI,CAAC,MAAM,EAAE,aAAa,CAAC;YACzC,CAAC,CAAC,IAAI,CAAC;IACX,CAAC;IAED,qBAAqB,CAAC,MAAc;QAClC,OAAO,MAAM,GAAG,IAAI,CAAC,MAAM,CAAC,gBAAgB;YAC1C,CAAC,CAAC,WAAW,CAAC,IAAI,CAAC,MAAM,EAAE,mBAAmB,CAAC;YAC/C,CAAC,CAAC,IAAI,CAAC;IACX,CAAC;IAED,OAAO,CAAC,IAAqB,EAAE,MAAM,GAAG,CAAC;QACvC,aAAa,CAAC,QAAQ,EAAE,MAAM,CAAC,CAAC;QAChC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,MAAM,CAAC;QAC1B,MAAM,QAAQ,GAAG,cAAc,CAAC,IAAI,CAAC,CAAC;QACtC,OAAO,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC;YAC5C,CAAC,CAAC,WAAW,CAAC,IAAI,CAAC,MAAM,EAAE,IAAI,CAAC;YAChC,CAAC,CAAC,IAAI,CAAC;IACX,CAAC;CACF"}

package/dist/constants.d.ts

@@ -0,0 +1,3 @@
+export declare const EQUALITY_OPERATOR: '=:=';
+export declare const EQUALITY_NODE_NAME: 'EqualityNode';
+//# sourceMappingURL=constants.d.ts.map

package/dist/constants.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"constants.d.ts","sourceRoot":"","sources":["../src/constants.ts"],"names":[],"mappings":"AAAA,eAAO,MAAM,iBAAiB,EAAG,KAAc,CAAC;AAChD,eAAO,MAAM,kBAAkB,EAAG,cAAuB,CAAC"}

package/dist/constants.js

@@ -0,0 +1,3 @@
+export const EQUALITY_OPERATOR = '=:=';
+export const EQUALITY_NODE_NAME = 'EqualityNode';
+//# sourceMappingURL=constants.js.map

package/dist/constants.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"constants.js","sourceRoot":"","sources":["../src/constants.ts"],"names":[],"mappings":"AAAA,MAAM,CAAC,MAAM,iBAAiB,GAAG,KAAc,CAAC;AAChD,MAAM,CAAC,MAAM,kBAAkB,GAAG,cAAuB,CAAC"}

package/dist/custom-factory.d.ts

@@ -0,0 +1,5 @@
+import { factory } from 'mathjs';
+type CustomFactory = (name: string, dependencies: string[], create: (dependencies: Record<string, unknown>) => unknown, meta?: Record<string, unknown>) => ReturnType<typeof factory>;
+export declare const customFactory: CustomFactory;
+export {};
+//# sourceMappingURL=custom-factory.d.ts.map

package/dist/custom-factory.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"custom-factory.d.ts","sourceRoot":"","sources":["../src/custom-factory.ts"],"names":[],"mappings":"AAAA,OAAO,EAAC,OAAO,EAAC,MAAM,QAAQ,CAAC;AAE/B,KAAK,aAAa,GAAG,CACnB,IAAI,EAAE,MAAM,EACZ,YAAY,EAAE,MAAM,EAAE,EACtB,MAAM,EAAE,CAAC,YAAY,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,KAAK,OAAO,EAC1D,IAAI,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,KAC3B,UAAU,CAAC,OAAO,OAAO,CAAC,CAAC;AAEhC,eAAO,MAAM,aAAa,EAAyB,aAAa,CAAC"}

package/dist/custom-factory.js

@@ -0,0 +1,3 @@
+import { factory } from 'mathjs';
+export const customFactory = factory;
+//# sourceMappingURL=custom-factory.js.map

package/dist/custom-factory.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"custom-factory.js","sourceRoot":"","sources":["../src/custom-factory.ts"],"names":[],"mappings":"AAAA,OAAO,EAAC,OAAO,EAAC,MAAM,QAAQ,CAAC;AAS/B,MAAM,CAAC,MAAM,aAAa,GAAG,OAAmC,CAAC"}

package/dist/equality-node.d.ts

@@ -0,0 +1,4 @@
+import type { EqualityNode, EqualityNodeConstructor } from './types.js';
+export declare const createEqualityNode: import("mathjs").FactoryFunction<EqualityNodeConstructor>;
+export declare function isEqualityNode(node: unknown): node is EqualityNode;
+//# sourceMappingURL=equality-node.d.ts.map

package/dist/equality-node.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"equality-node.d.ts","sourceRoot":"","sources":["../src/equality-node.ts"],"names":[],"mappings":"AAGA,OAAO,KAAK,EACV,YAAY,EACZ,uBAAuB,EAGxB,MAAM,YAAY,CAAC;AA0BpB,eAAO,MAAM,kBAAkB,2DAkG9B,CAAC;AAEF,wBAAgB,cAAc,CAAC,IAAI,EAAE,OAAO,GAAG,IAAI,IAAI,YAAY,CAMlE"}

package/dist/equality-node.js

@@ -0,0 +1,79 @@
+import { factory } from 'mathjs';
+import { EQUALITY_NODE_NAME, EQUALITY_OPERATOR } from './constants.js';
+function assertNode(node, name) {
+    if (!node?.isNode) {
+        throw new TypeError('MathJS Node expected for parameter "' + name + '"');
+    }
+}
+export const createEqualityNode = factory(EQUALITY_NODE_NAME, ['Node', 'equal'], ({ Node, equal }) => {
+    // MathJS exposes NodeCtor as constructing MathNode, while custom node
+    // implementations also need its protected runtime hooks. Keep that
+    // unavoidable type assertion confined to this factory.
+    const MathJsNode = Node;
+    class EqualityNodeImpl extends MathJsNode {
+        static name = EQUALITY_NODE_NAME;
+        lhs;
+        rhs;
+        constructor(lhs, rhs) {
+            super();
+            assertNode(lhs, 'lhs');
+            assertNode(rhs, 'rhs');
+            this.lhs = lhs;
+            this.rhs = rhs;
+        }
+        get type() {
+            return EQUALITY_NODE_NAME;
+        }
+        get isEqualityNode() {
+            return true;
+        }
+        _compile(math, argNames) {
+            const evalLhs = this.lhs._compile(math, argNames);
+            const evalRhs = this.rhs._compile(math, argNames);
+            return (scope, args, context) => equal(evalLhs(scope, args, context), evalRhs(scope, args, context));
+        }
+        forEach(callback) {
+            callback(this.lhs, 'lhs', this);
+            callback(this.rhs, 'rhs', this);
+        }
+        map(callback) {
+            const lhs = this._ifNode(callback(this.lhs, 'lhs', this));
+            const rhs = this._ifNode(callback(this.rhs, 'rhs', this));
+            return new EqualityNodeImpl(lhs, rhs);
+        }
+        clone() {
+            return new EqualityNodeImpl(this.lhs, this.rhs);
+        }
+        _toString(options) {
+            return (this.lhs.toString(options) +
+                ' ' + EQUALITY_OPERATOR + ' ' +
+                this.rhs.toString(options));
+        }
+        _toTex(options) {
+            return this.lhs.toTex(options) + '=' + this.rhs.toTex(options);
+        }
+        _toHTML(options) {
+            return (this.lhs.toHTML(options) +
+                '<span class="math-operator math-binary-operator">=:=' +
+                '</span>' +
+                this.rhs.toHTML(options));
+        }
+        toJSON() {
+            return {
+                mathjs: EQUALITY_NODE_NAME,
+                lhs: this.lhs,
+                rhs: this.rhs
+            };
+        }
+        static fromJSON(json) {
+            return new EqualityNodeImpl(json.lhs, json.rhs);
+        }
+    }
+    return EqualityNodeImpl;
+}, { isClass: true, isNode: true });
+export function isEqualityNode(node) {
+    return Boolean(node &&
+        typeof node === 'object' &&
+        node.isEqualityNode === true);
+}
+//# sourceMappingURL=equality-node.js.map

package/dist/equality-node.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"equality-node.js","sourceRoot":"","sources":["../src/equality-node.ts"],"names":[],"mappings":"AAAA,OAAO,EAAC,OAAO,EAAC,MAAM,QAAQ,CAAC;AAE/B,OAAO,EAAC,kBAAkB,EAAE,iBAAiB,EAAC,MAAM,gBAAgB,CAAC;AA0BrE,SAAS,UAAU,CAAC,IAAc,EAAE,IAAY;IAC9C,IAAI,CAAC,IAAI,EAAE,MAAM,EAAE,CAAC;QAClB,MAAM,IAAI,SAAS,CAAC,sCAAsC,GAAG,IAAI,GAAG,GAAG,CAAC,CAAC;IAC3E,CAAC;AACH,CAAC;AAED,MAAM,CAAC,MAAM,kBAAkB,GAAG,OAAO,CACvC,kBAAkB,EAClB,CAAC,MAAM,EAAE,OAAO,CAAC,EACjB,CAAC,EAAC,IAAI,EAAE,KAAK,EAA2B,EAA2B,EAAE;IACnE,sEAAsE;IACtE,mEAAmE;IACnE,uDAAuD;IACvD,MAAM,UAAU,GAAG,IAA0C,CAAC;IAE9D,MAAM,gBAAiB,SAAQ,UAAU;QACvC,MAAM,CAAU,IAAI,GAAG,kBAAkB,CAAC;QAEjC,GAAG,CAAW;QACd,GAAG,CAAW;QAEvB,YAAY,GAAa,EAAE,GAAa;YACtC,KAAK,EAAE,CAAC;YACR,UAAU,CAAC,GAAG,EAAE,KAAK,CAAC,CAAC;YACvB,UAAU,CAAC,GAAG,EAAE,KAAK,CAAC,CAAC;YACvB,IAAI,CAAC,GAAG,GAAG,GAAG,CAAC;YACf,IAAI,CAAC,GAAG,GAAG,GAAG,CAAC;QACjB,CAAC;QAED,IAAI,IAAI;YACN,OAAO,kBAAkB,CAAC;QAC5B,CAAC;QAED,IAAI,cAAc;YAChB,OAAO,IAAI,CAAC;QACd,CAAC;QAED,QAAQ,CAAC,IAAoB,EAAE,QAAkB;YAC/C,MAAM,OAAO,GAAI,IAAI,CAAC,GAAwB,CAAC,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;YACxE,MAAM,OAAO,GAAI,IAAI,CAAC,GAAwB,CAAC,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;YAExE,OAAO,CAAC,KAAK,EAAE,IAAI,EAAE,OAAO,EAAE,EAAE,CAC9B,KAAK,CACH,OAAO,CAAC,KAAK,EAAE,IAAI,EAAE,OAAO,CAAkB,EAC9C,OAAO,CAAC,KAAK,EAAE,IAAI,EAAE,OAAO,CAAkB,CAC/C,CAAC;QACN,CAAC;QAED,OAAO,CACL,QAAkE;YAElE,QAAQ,CAAC,IAAI,CAAC,GAAG,EAAE,KAAK,EAAE,IAAI,CAAC,CAAC;YAChC,QAAQ,CAAC,IAAI,CAAC,GAAG,EAAE,KAAK,EAAE,IAAI,CAAC,CAAC;QAClC,CAAC;QAED,GAAG,CACD,QAAsE;YAEtE,MAAM,GAAG,GAAG,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC,IAAI,CAAC,GAAG,EAAE,KAAK,EAAE,IAAI,CAAC,CAAC,CAAC;YAC1D,MAAM,GAAG,GAAG,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC,IAAI,CAAC,GAAG,EAAE,KAAK,EAAE,IAAI,CAAC,CAAC,CAAC;YAC1D,OAAO,IAAI,gBAAgB,CAAC,GAAG,EAAE,GAAG,CAAS,CAAC;QAChD,CAAC;QAED,KAAK;YACH,OAAO,IAAI,gBAAgB,CAAC,IAAI,CAAC,GAAG,EAAE,IAAI,CAAC,GAAG,CAAS,CAAC;QAC1D,CAAC;QAED,SAAS,CAAC,OAAgB;YACxB,OAAO,CACL,IAAI,CAAC,GAAG,CAAC,QAAQ,CAAC,OAAO,CAAC;gBAC1B,GAAG,GAAG,iBAAiB,GAAG,GAAG;gBAC7B,IAAI,CAAC,GAAG,CAAC,QAAQ,CAAC,OAAO,CAAC,CAC3B,CAAC;QACJ,CAAC;QAED,MAAM,CAAC,OAAgB;YACrB,OAAO,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,OAAO,CAAC,GAAG,GAAG,GAAG,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;QACjE,CAAC;QAED,OAAO,CAAC,OAAgB;YACtB,OAAO,CACL,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,OAAO,CAAC;gBACxB,sDAAsD;gBACtD,SAAS;gBACT,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,OAAO,CAAC,CACzB,CAAC;QACJ,CAAC;QAED,MAAM;YACJ,OAAO;gBACL,MAAM,EAAE,kBAAkB;gBAC1B,GAAG,EAAE,IAAI,CAAC,GAAG;gBACb,GAAG,EAAE,IAAI,CAAC,GAAG;aACd,CAAC;QACJ,CAAC;QAED,MAAM,CAAC,QAAQ,CAAC,IAAsB;YACpC,OAAO,IAAI,gBAAgB,CAAC,IAAI,CAAC,GAAG,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC;QAClD,CAAC;KACF;IAED,OAAO,gBAAgB,CAAC;AAC1B,CAAC,EACD,EAAC,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAC,CAC9B,CAAC;AAEF,MAAM,UAAU,cAAc,CAAC,IAAa;IAC1C,OAAO,OAAO,CACZ,IAAI;QACJ,OAAO,IAAI,KAAK,QAAQ;QACvB,IAA8B,CAAC,cAAc,KAAK,IAAI,CACxD,CAAC;AACJ,CAAC"}

package/dist/index.d.ts

@@ -0,0 +1,14 @@
+export { EQUALITY_NODE_NAME, EQUALITY_OPERATOR } from './constants.js';
+export { createEqualityNode, isEqualityNode } from './equality-node.js';
+export { createParseEquation, splitEquation } from './parse-equation.js';
+export { createEquationSymbols, equationSymbols, nodeSymbols } from './analysis.js';
+export { createSymbolicKernel, SymbolicKernel } from './kernel.js';
+export { createIsolateEquation, IsolationEngine } from './isolate.js';
+export { createPolynomialSolve, PolynomialEngine } from './polynomial.js';
+export { createSolveEquation, solveEquation } from './solve.js';
+export { createSolveEquationForAll, ReadonlyResultMap, solveEquationForAll } from './solve-all.js';
+export { DEFAULT_SOLVER_LIMITS, DEFAULT_SOLVE_TOLERANCE } from './solve-types.js';
+export { symbolicjsFactories, importsymbolicjs } from './install.js';
+export type { symbolicjsInstance, EqualityNode, EqualityNodeConstructor, EqualityNodeJSON } from './types.js';
+export type { Condition, ConditionKind, ContradictionResult, FiniteSolutions, IdentityResult, LimitKind, LimitResult, PartialResult, Solution, SolveDiagnostics, SolveOptions, SolveResult, SolveTraceStage, SolveTraceStep, SolverLimits, UnsupportedReason, UnsupportedResult, VerificationResult, VerificationStatus } from './solve-types.js';
+//# sourceMappingURL=index.d.ts.map

package/dist/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,kBAAkB,EAClB,iBAAiB,EAClB,MAAM,gBAAgB,CAAC;AACxB,OAAO,EACL,kBAAkB,EAClB,cAAc,EACf,MAAM,oBAAoB,CAAC;AAC5B,OAAO,EACL,mBAAmB,EACnB,aAAa,EACd,MAAM,qBAAqB,CAAC;AAC7B,OAAO,EACL,qBAAqB,EACrB,eAAe,EACf,WAAW,EACZ,MAAM,eAAe,CAAC;AACvB,OAAO,EAAC,oBAAoB,EAAE,cAAc,EAAC,MAAM,aAAa,CAAC;AACjE,OAAO,EAAC,qBAAqB,EAAE,eAAe,EAAC,MAAM,cAAc,CAAC;AACpE,OAAO,EAAC,qBAAqB,EAAE,gBAAgB,EAAC,MAAM,iBAAiB,CAAC;AACxE,OAAO,EAAC,mBAAmB,EAAE,aAAa,EAAC,MAAM,YAAY,CAAC;AAC9D,OAAO,EACL,yBAAyB,EACzB,iBAAiB,EACjB,mBAAmB,EACpB,MAAM,gBAAgB,CAAC;AACxB,OAAO,EACL,qBAAqB,EACrB,uBAAuB,EACxB,MAAM,kBAAkB,CAAC;AAC1B,OAAO,EACL,mBAAmB,EACnB,gBAAgB,EACjB,MAAM,cAAc,CAAC;AACtB,YAAY,EACV,kBAAkB,EAClB,YAAY,EACZ,uBAAuB,EACvB,gBAAgB,EACjB,MAAM,YAAY,CAAC;AACpB,YAAY,EACV,SAAS,EACT,aAAa,EACb,mBAAmB,EACnB,eAAe,EACf,cAAc,EACd,SAAS,EACT,WAAW,EACX,aAAa,EACb,QAAQ,EACR,gBAAgB,EAChB,YAAY,EACZ,WAAW,EACX,eAAe,EACf,cAAc,EACd,YAAY,EACZ,iBAAiB,EACjB,iBAAiB,EACjB,kBAAkB,EAClB,kBAAkB,EACnB,MAAM,kBAAkB,CAAC"}

package/dist/index.js

@@ -0,0 +1,12 @@
+export { EQUALITY_NODE_NAME, EQUALITY_OPERATOR } from './constants.js';
+export { createEqualityNode, isEqualityNode } from './equality-node.js';
+export { createParseEquation, splitEquation } from './parse-equation.js';
+export { createEquationSymbols, equationSymbols, nodeSymbols } from './analysis.js';
+export { createSymbolicKernel, SymbolicKernel } from './kernel.js';
+export { createIsolateEquation, IsolationEngine } from './isolate.js';
+export { createPolynomialSolve, PolynomialEngine } from './polynomial.js';
+export { createSolveEquation, solveEquation } from './solve.js';
+export { createSolveEquationForAll, ReadonlyResultMap, solveEquationForAll } from './solve-all.js';
+export { DEFAULT_SOLVER_LIMITS, DEFAULT_SOLVE_TOLERANCE } from './solve-types.js';
+export { symbolicjsFactories, importsymbolicjs } from './install.js';
+//# sourceMappingURL=index.js.map

package/dist/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,kBAAkB,EAClB,iBAAiB,EAClB,MAAM,gBAAgB,CAAC;AACxB,OAAO,EACL,kBAAkB,EAClB,cAAc,EACf,MAAM,oBAAoB,CAAC;AAC5B,OAAO,EACL,mBAAmB,EACnB,aAAa,EACd,MAAM,qBAAqB,CAAC;AAC7B,OAAO,EACL,qBAAqB,EACrB,eAAe,EACf,WAAW,EACZ,MAAM,eAAe,CAAC;AACvB,OAAO,EAAC,oBAAoB,EAAE,cAAc,EAAC,MAAM,aAAa,CAAC;AACjE,OAAO,EAAC,qBAAqB,EAAE,eAAe,EAAC,MAAM,cAAc,CAAC;AACpE,OAAO,EAAC,qBAAqB,EAAE,gBAAgB,EAAC,MAAM,iBAAiB,CAAC;AACxE,OAAO,EAAC,mBAAmB,EAAE,aAAa,EAAC,MAAM,YAAY,CAAC;AAC9D,OAAO,EACL,yBAAyB,EACzB,iBAAiB,EACjB,mBAAmB,EACpB,MAAM,gBAAgB,CAAC;AACxB,OAAO,EACL,qBAAqB,EACrB,uBAAuB,EACxB,MAAM,kBAAkB,CAAC;AAC1B,OAAO,EACL,mBAAmB,EACnB,gBAAgB,EACjB,MAAM,cAAc,CAAC"}

package/dist/install.d.ts

@@ -0,0 +1,5 @@
+import type { MathJsInstance } from 'mathjs';
+import type { symbolicjsInstance } from './types.js';
+export declare const symbolicjsFactories: readonly [import("mathjs").FactoryFunction<import("./types.js").EqualityNodeConstructor>, import("mathjs").FactoryFunction<unknown>, import("mathjs").FactoryFunction<unknown>, import("mathjs").FactoryFunction<unknown>, import("mathjs").FactoryFunction<unknown>, import("mathjs").FactoryFunction<unknown>, import("mathjs").FactoryFunction<unknown>, import("mathjs").FactoryFunction<unknown>];
+export declare function importsymbolicjs(math: MathJsInstance): symbolicjsInstance;
+//# sourceMappingURL=install.d.ts.map

package/dist/install.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"install.d.ts","sourceRoot":"","sources":["../src/install.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAC,cAAc,EAAC,MAAM,QAAQ,CAAC;AAS3C,OAAO,KAAK,EAAC,kBAAkB,EAAC,MAAM,YAAY,CAAC;AAEnD,eAAO,MAAM,mBAAmB,wYAStB,CAAC;AAEX,wBAAgB,gBAAgB,CAAC,IAAI,EAAE,cAAc,GAAG,kBAAkB,CAGzE"}

package/dist/install.js

@@ -0,0 +1,23 @@
+import { createEqualityNode } from './equality-node.js';
+import { createParseEquation } from './parse-equation.js';
+import { createEquationSymbols } from './analysis.js';
+import { createSolveEquation } from './solve.js';
+import { createSymbolicKernel } from './kernel.js';
+import { createIsolateEquation } from './isolate.js';
+import { createPolynomialSolve } from './polynomial.js';
+import { createSolveEquationForAll } from './solve-all.js';
+export const symbolicjsFactories = [
+    createEqualityNode,
+    createParseEquation,
+    createEquationSymbols,
+    createSymbolicKernel,
+    createIsolateEquation,
+    createPolynomialSolve,
+    createSolveEquation,
+    createSolveEquationForAll
+];
+export function importsymbolicjs(math) {
+    math.import([...symbolicjsFactories]);
+    return math;
+}
+//# sourceMappingURL=install.js.map

package/dist/install.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"install.js","sourceRoot":"","sources":["../src/install.ts"],"names":[],"mappings":"AACA,OAAO,EAAC,kBAAkB,EAAC,MAAM,oBAAoB,CAAC;AACtD,OAAO,EAAC,mBAAmB,EAAC,MAAM,qBAAqB,CAAC;AACxD,OAAO,EAAC,qBAAqB,EAAC,MAAM,eAAe,CAAC;AACpD,OAAO,EAAC,mBAAmB,EAAC,MAAM,YAAY,CAAC;AAC/C,OAAO,EAAC,oBAAoB,EAAC,MAAM,aAAa,CAAC;AACjD,OAAO,EAAC,qBAAqB,EAAC,MAAM,cAAc,CAAC;AACnD,OAAO,EAAC,qBAAqB,EAAC,MAAM,iBAAiB,CAAC;AACtD,OAAO,EAAC,yBAAyB,EAAC,MAAM,gBAAgB,CAAC;AAGzD,MAAM,CAAC,MAAM,mBAAmB,GAAG;IACjC,kBAAkB;IAClB,mBAAmB;IACnB,qBAAqB;IACrB,oBAAoB;IACpB,qBAAqB;IACrB,qBAAqB;IACrB,mBAAmB;IACnB,yBAAyB;CACjB,CAAC;AAEX,MAAM,UAAU,gBAAgB,CAAC,IAAoB;IACnD,IAAI,CAAC,MAAM,CAAC,CAAC,GAAG,mBAAmB,CAAC,CAAC,CAAC;IACtC,OAAO,IAA0B,CAAC;AACpC,CAAC"}

package/dist/isolate.d.ts

@@ -0,0 +1,19 @@
+import type { MathJsInstance } from 'mathjs';
+import type { SymbolicKernel } from './kernel.js';
+import type { SolveOptions, SolveResult } from './solve-types.js';
+import type { EqualityNode } from './types.js';
+interface IsolationDependencies {
+    ConstantNode: MathJsInstance['ConstantNode'];
+    FunctionNode: MathJsInstance['FunctionNode'];
+    OperatorNode: MathJsInstance['OperatorNode'];
+    SymbolNode: MathJsInstance['SymbolNode'];
+    symbolicKernel: SymbolicKernel;
+}
+export declare class IsolationEngine {
+    #private;
+    constructor(dependencies: IsolationDependencies);
+    solve(equation: EqualityNode, target: string, options?: SolveOptions): SolveResult;
+}
+export declare const createIsolateEquation: import("mathjs").FactoryFunction<unknown>;
+export {};
+//# sourceMappingURL=isolate.d.ts.map

package/dist/isolate.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"isolate.d.ts","sourceRoot":"","sources":["../src/isolate.ts"],"names":[],"mappings":"AAMA,OAAO,KAAK,EAAC,cAAc,EAAW,MAAM,QAAQ,CAAC;AAIrD,OAAO,KAAK,EAAC,cAAc,EAAC,MAAM,aAAa,CAAC;AAMhD,OAAO,KAAK,EAQV,YAAY,EACZ,WAAW,EAEZ,MAAM,kBAAkB,CAAC;AAC1B,OAAO,KAAK,EAAC,YAAY,EAAC,MAAM,YAAY,CAAC;AAE7C,UAAU,qBAAqB;IAC7B,YAAY,EAAE,cAAc,CAAC,cAAc,CAAC,CAAC;IAC7C,YAAY,EAAE,cAAc,CAAC,cAAc,CAAC,CAAC;IAC7C,YAAY,EAAE,cAAc,CAAC,cAAc,CAAC,CAAC;IAC7C,UAAU,EAAE,cAAc,CAAC,YAAY,CAAC,CAAC;IACzC,cAAc,EAAE,cAAc,CAAC;CAChC;AAyCD,qBAAa,eAAe;;IAG1B,YAAY,YAAY,EAAE,qBAAqB,EAE9C;IA2TD,KAAK,CACH,QAAQ,EAAE,YAAY,EACtB,MAAM,EAAE,MAAM,EACd,OAAO,CAAC,EAAE,YAAY,GACrB,WAAW,CA6Fb;CACF;AAED,eAAO,MAAM,qBAAqB,2CAmBjC,CAAC"}