@cortex-js/compute-engine 0.12.4 → 0.12.5

package/dist/compute-engine.min.js

@@ -1,4 +1,4 @@
-/** CortexJS Compute Engine 0.12.4 */
+/** CortexJS Compute Engine 0.12.5 */
     (function(global,factory){typeof exports === 'object' && typeof module !== 'undefined' ? factory(exports) : typeof define === 'function' && define.amd ? define(['exports'],factory):(global = typeof globalThis !== 'undefined' ? globalThis : global || self, factory(global.ComputeEngine = {}));})(this, (function (exports) { 'use strict';
 var ComputeEngine = (() => {
   var __create = Object.create;
@@ -4608,6 +4608,15 @@ var ComputeEngine = (() => {
       parse: "ExponentialE",
       serialize: "\\exponentialE"
     },
+    {
+      kind: "function",
+      trigger: "exp",
+      parse: (parser) => ["Exp", ...parser.matchArguments("enclosure") ?? []]
+    },
+    {
+      trigger: "\\exp",
+      parse: (parser) => ["Exp", ...parser.matchArguments("enclosure") ?? []]
+    },
     {
       name: "ImaginaryUnit",
       trigger: ["\\imaginaryI"]
@@ -4731,11 +4740,12 @@ var ComputeEngine = (() => {
     },
     {
       name: "Exp",
-      serialize: (serializer, expr) => joinLatex([
-        "\\exponentialE^{",
-        serializer.serialize(missingIfEmpty(op(expr, 1))),
-        "}"
-      ])
+      serialize: (serializer, expr) => {
+        const op12 = op(expr, 1);
+        if (symbol(op12) || machineValue(op12) !== null)
+          return joinLatex(["\\exponentialE^{", serializer.serialize(op12)]);
+        return joinLatex(["\\exp", serializer.wrap(missingIfEmpty(op12))]);
+      }
     },
     {
       name: "Factorial",
@@ -4912,7 +4922,31 @@ var ComputeEngine = (() => {
       trigger: ["\\pm"],
       kind: "infix",
       associativity: "both",
-      precedence: 270
+      precedence: 270,
+      serialize: (serializer, expr) => {
+        const op12 = op(expr, 1);
+        if (op12 === null)
+          return "\\pm";
+        if (nops(expr) === 1)
+          return joinLatex(["\\pm", serializer.serialize(op12)]);
+        const op22 = op(expr, 2);
+        return joinLatex([
+          serializer.serialize(op12),
+          "\\pm",
+          serializer.serialize(op22)
+        ]);
+      }
+    },
+    {
+      trigger: ["\\pm"],
+      kind: "prefix",
+      precedence: 270,
+      parse: (parser, terminator) => {
+        if (270 < terminator.minPrec)
+          return null;
+        const rhs = parser.matchExpression({ ...terminator, minPrec: 400 });
+        return ["PlusMinus", missingIfEmpty(rhs)];
+      }
     },
     {
       name: "Power",
@@ -5641,7 +5675,7 @@ var ComputeEngine = (() => {
       kind: "infix",
       associativity: "right",
       precedence: 241,
-      parse: "Equal"
+      parse: "LessEqual"
     },
     {
       trigger: ["\\leqslant"],
@@ -7425,7 +7459,7 @@ var ComputeEngine = (() => {
             message: [
               "invalid-dictionary-entry",
               indexedEntry.name,
-              "Duplicate definition"
+              "Duplicate definition. The name must be unique, but a trigger can be used by multiple definitions."
             ]
           });
         }
@@ -8722,6 +8756,8 @@ var ComputeEngine = (() => {
      * - 'enclosure' : will look for an argument inside an enclosure (open/close fence)
      * - 'implicit': either an expression inside a pair of `()`, or just a product
      *  (i.e. we interpret `\cos 2x + 1` as `\cos(2x) + 1`)
+     *
+     * This returns an array of arguments, or null if there is no match.
      */
     matchArguments(kind, until) {
       if (!kind)
@@ -8730,23 +8766,15 @@ var ComputeEngine = (() => {
         return null;
       const savedIndex = this.index;
       const group = this.matchEnclosure();
-      if (kind === "enclosure" && head(group) === "Delimiter") {
-        if (op(group, 1) === "Sequence")
-          return ops(op(group, 1)) ?? [];
-        return [op(group, 1) ?? ["Sequence"]];
-      }
+      if (kind === "enclosure")
+        return getSequence(group) ?? [];
       if (kind === "implicit") {
-        if (head(group) === "Delimiter") {
-          if (head(op(group, 1)) === "Sequence")
-            return getSequence(group) ?? [];
-          return [op(group, 1) ?? ["Sequence"]];
-        }
+        if (head(group) === "Delimiter")
+          return getSequence(group) ?? [];
         if (group !== null)
           return [group];
         const primary = this.matchExpression({ ...until, minPrec: 390 });
-        if (primary !== null)
-          return [primary];
-        return null;
+        return primary === null ? null : [primary];
       }
       this.index = savedIndex;
       return null;
@@ -8766,7 +8794,7 @@ var ComputeEngine = (() => {
         fn = pf;
       } while (true);
       const seq = this.matchArguments("enclosure");
-      return seq ? [fn, ...seq] : id;
+      return seq ? [fn, ...seq] : fn;
     }
     /** A prime suffix is a sequence of `'`, `\prime` or `\doubleprime`
      * after a function or in a superscript.
@@ -9175,7 +9203,7 @@ var ComputeEngine = (() => {
         this.index = index;
       return result;
     }
-    matchPostfix(lhs) {
+    matchPostfix(lhs, until) {
       /* @__PURE__ */ console.assert(lhs !== null);
       if (lhs === null)
         return null;
@@ -9185,7 +9213,7 @@ var ComputeEngine = (() => {
       const start = this.index;
       for (const [def, n] of defs) {
         this.index = start + n;
-        const result = def.parse(this, lhs);
+        const result = def.parse(this, lhs, until);
         if (result !== null)
           return result;
       }
@@ -9531,7 +9559,7 @@ var ComputeEngine = (() => {
         let postfix = null;
         let index = this.index;
         do {
-          postfix = this.matchPostfix(result);
+          postfix = this.matchPostfix(result, until);
           result = postfix ?? result;
           if (this.index === index && postfix !== null) {
             /* @__PURE__ */ console.assert(this.index !== index, "No token consumed");
@@ -15391,7 +15419,7 @@ var ComputeEngine = (() => {
     const ce = expr.engine;
     if (expr.op1.head === "Negate") {
       const sign2 = exp2 % 2 === 0 ? 1 : -1;
-      const result2 = expandMultinomial(ce.box(["Power", expr.op1.op1, expr.op2]));
+      const result2 = expandMultinomial(ce.pow(expr.op1.op1, expr.op2));
       if (result2 === null)
         return null;
       if (sign2 > 0)
@@ -15616,15 +15644,14 @@ var ComputeEngine = (() => {
       const sols = findUnivariateRoots(proposition, lhs2);
       if (sols.length === 0) {
         ce.assumptions.set(
-          ce.box([
-            "Equal",
+          ce.fn("Equal", [
             ce.add([proposition.op1.canonical, ce.neg(proposition.op2.canonical)]).simplify(),
             0
           ]),
           true
         );
       }
-      const val = sols.length === 1 ? sols[0] : ce.box(["List", ...sols]);
+      const val = sols.length === 1 ? sols[0] : ce.fn("List", sols);
       const def = ce.lookupSymbol(lhs2);
       if (!def) {
         ce.defineSymbol(lhs2, { value: val });
@@ -16605,7 +16632,6 @@ var ComputeEngine = (() => {
       return result;
     }
     solve(vars) {
-      /* @__PURE__ */ console.log("solve this:", this.toString());
       if (vars.length !== 1)
         return null;
       const roots = findUnivariateRoots(this.simplify(), vars[0]);
@@ -16684,6 +16710,8 @@ var ComputeEngine = (() => {
           xs.push(y);
       }
     }
+    if (!xs.every((x) => x.isValid))
+      return new BoxedFunction(ce, head2, xs, { metadata, canonical: false });
     const sig = def.signature;
     if (sig.canonical) {
       try {
@@ -16714,21 +16742,22 @@ var ComputeEngine = (() => {
     return new BoxedFunction(ce, head2, xs, { metadata, def, canonical: true });
   }
   function apply(fn, args) {
+    const ce = fn.engine;
     if (fn.head !== "Lambda")
-      return fn.engine._fn(fn.evaluate(), args);
+      return ce._fn(fn.evaluate(), args);
     const subs2 = {
-      "__": fn.engine.tuple(args),
-      "_#": fn.engine.number(args.length)
+      "__": ce.tuple(args),
+      "_#": ce.number(args.length)
     };
     let n = 1;
     for (const op3 of args)
       subs2[`_${n++}`] = op3;
     subs2["_"] = subs2["_1"];
-    const savedContext = this.context;
-    this.context = fn.scope ?? null;
-    const result = fn.subs(subs2).evaluate();
-    this.context = savedContext;
-    return result;
+    const savedContext = ce.context;
+    ce.context = fn.scope ?? null;
+    const result = fn.subs(subs2);
+    ce.context = savedContext;
+    return result.op1.evaluate();
   }
   function holdMap(xs, skip, associativeHead, f) {
     if (xs.length === 0)
@@ -18841,7 +18870,7 @@ var ComputeEngine = (() => {
               return ce._NEGATIVE_INFINITY;
             if (ops2.length === 1)
               return ops2[0];
-            return ce.box(["Max", ...ops2]);
+            return ce.fn("Max", ops2);
           },
           evaluate: (ce, ops2) => {
             if (ops2.length === 0)
@@ -18870,7 +18899,7 @@ var ComputeEngine = (() => {
               return ce._NEGATIVE_INFINITY;
             if (ops2.length === 1)
               return ops2[0];
-            return ce.box(["Min", ...ops2]);
+            return ce.fn("Min", ops2);
           },
           evaluate: (ce, ops2) => {
             if (ops2.length === 0)
@@ -19211,7 +19240,7 @@ var ComputeEngine = (() => {
       e: {
         domain: "TranscendentalNumber",
         constant: true,
-        holdUntil: "never",
+        holdUntil: "N",
         value: "ExponentialE"
       },
       i: {
@@ -19237,14 +19266,13 @@ var ComputeEngine = (() => {
       },
       Half: {
         constant: true,
-        holdUntil: "never",
+        holdUntil: "evaluate",
         value: ["Rational", 1, 2]
       },
       ImaginaryUnit: {
         domain: "ImaginaryNumber",
         constant: true,
-        holdUntil: "evaluate",
-        // @todo maybe?
+        holdUntil: "never",
         wikidata: "Q193796",
         flags: { imaginary: true },
         value: ["Complex", 0, 1]
@@ -20072,8 +20100,7 @@ var ComputeEngine = (() => {
         signature: {
           domain: ["Function", ["Maybe", ["Sequence", "Anything"]], "String"],
           evaluate: (ce, ops2) => {
-            return ce.box([
-              "Latex",
+            return ce.fn("Latex", [
               ce.string(tokensToString(ops2.map((x) => x.string ?? x.latex)))
             ]);
           }
@@ -20096,7 +20123,7 @@ var ComputeEngine = (() => {
         hold: "all",
         signature: {
           domain: ["Function", ["Maybe", ["Sequence", "Anything"]], "String"],
-          evaluate: (ce, ops2) => ce.box(["Latex", ce.string(joinLatex(ops2.map((x) => x.latex)))])
+          evaluate: (ce, ops2) => ce.fn("Latex", [ce.string(joinLatex(ops2.map((x) => x.latex)))])
         }
       },
       SplitAsLatexTokens: {
@@ -20933,13 +20960,13 @@ var ComputeEngine = (() => {
               "Number"
             ]);
             if (ops2.length !== 1)
-              return ce.box(["Degrees", ops2]);
+              return ce.fn("Degrees", ops2, { canonical: false });
             const arg = ops2[0];
             if (arg.numericValue === null || !arg.isValid)
-              return ce.box(["Degrees", arg]);
+              return ce.fn("Degrees", ops2, { canonical: false });
             return ce.div(ce.mul([arg, ce.symbol("Pi")]), ce.number(180));
           },
-          evaluate: (ce, ops2) => ce.mul([ops2[0], ce.box(["Divide", "Pi", 180])])
+          evaluate: (ce, ops2) => ce.mul([ops2[0], ce.div(ce.symbol("Pi"), ce.number(180))])
         }
       },
       Hypot: {
@@ -21459,6 +21486,8 @@ var ComputeEngine = (() => {
     ]
   };
   function constructibleValues(ce, head2, x) {
+    if (!x)
+      return void 0;
     const specialValues = ce.cache(
       "constructible-trigonometric-values",
       () => {
@@ -21535,6 +21564,8 @@ var ComputeEngine = (() => {
     return newHead ? ce.symbol(newHead) : void 0;
   }
   function evalTrig(ce, mode, head2, op3) {
+    if (!op3)
+      return void 0;
     if (mode === "evaluate") {
       const result = constructibleValues(ce, head2, op3)?.evaluate();
       if (result)
@@ -21732,7 +21763,7 @@ var ComputeEngine = (() => {
       this._flags = def.flags ? normalizeFlags(def.flags) : void 0;
       this._domain = def.domain ? ce.domain(def.domain) : void 0;
       this.constant = def.constant ?? false;
-      this.holdUntil = def.holdUntil ?? "simplify";
+      this.holdUntil = def.holdUntil ?? "evaluate";
       if (this.constant) {
         this._defValue = def.value;
         this._value = null;
@@ -23388,17 +23419,20 @@ ${JSON.stringify(entry)}`
     }
     simplify(options) {
       const def = this.symbolDefinition;
-      if ((def?.holdUntil === "never" || def?.holdUntil === "simplify") && def.value)
+      if (def?.holdUntil === "simplify" && def.value)
         return def.value.simplify(options);
       return options?.rules ? this.replace(options.rules) ?? this : this;
     }
     evaluate(options) {
       const def = this.symbolDefinition;
-      if (def?.holdUntil !== "N")
-        return def?.value?.evaluate(options) ?? this;
+      if (def && (def.holdUntil === "simplify" || def.holdUntil === "evaluate"))
+        return def.value?.evaluate(options) ?? this;
       return this;
     }
     N(options) {
+      const def = this.symbolDefinition;
+      if (def && def.holdUntil === "never")
+        return this;
       return this.symbolDefinition?.value?.N(options) ?? this;
     }
     replace(rules, options) {
@@ -23811,7 +23845,7 @@ ${JSON.stringify(entry)}`
           precision: this.precision,
           avoidExponentsInRange: [-6, this.precision],
           onError: (err) => {
-            throw new Error(err[0].message.toString());
+            throw new Error(JSON.stringify(err[0].message));
           }
         });
       return this._latexSyntax;
@@ -24075,8 +24109,8 @@ ${JSON.stringify(entry)}`
       const bxs = xs;
       return bxs.every((x) => x.isCanonical) ? bxs : bxs.map((x) => x.canonical);
     }
-    fn(head2, ops2, metadata) {
-      return boxFunction(this, head2, ops2, { metadata, canonical: true });
+    fn(head2, ops2, options) {
+      return boxFunction(this, head2, ops2, options ?? { canonical: true });
     }
     /** @internal */
     _fn(head2, ops2, metadata) {
@@ -24490,10 +24524,10 @@ ${JSON.stringify(entry)}`
   };
 
   // src/compute-engine.ts
-  var version = "0.12.4";
+  var version = "0.12.5";
   globalThis[Symbol.for("io.cortexjs.compute-engine")] = {
     ComputeEngine: ComputeEngine.prototype.constructor,
-    version: "0.12.4"
+    version: "0.12.5"
   };
   return __toCommonJS(compute_engine_exports);
 })();

package/dist/math-json.esm.js

@@ -1,4 +1,4 @@
-/** CortexJS Compute Engine 0.12.4 */
+/** CortexJS Compute Engine 0.12.5 */
 
 // src/math-json/utils.ts
 function isSymbolObject(expr) {
@@ -239,7 +239,7 @@ function mapArgs(expr, fn) {
 }
 
 // src/math-json.ts
-var version = "0.12.4";
+var version = "0.12.5";
 export {
   applyRecursively,
   dictionary as getDictionary,

package/dist/math-json.js

@@ -1,4 +1,4 @@
-/** CortexJS MathJSON 0.12.4 */
+/** CortexJS MathJSON 0.12.5 */
     (function(global,factory){typeof exports === 'object' && typeof module !== 'undefined' ? factory(exports) : typeof define === 'function' && define.amd ? define(['exports'],factory):(global = typeof globalThis !== 'undefined' ? globalThis : global || self, factory(global.MathJson = {}));})(this, (function (exports) { 'use strict';
 var MathJson = (() => {
   var __defProp = Object.defineProperty;
@@ -277,7 +277,7 @@ var MathJson = (() => {
   }
 
   // src/math-json.ts
-  var version = "0.12.4";
+  var version = "0.12.5";
   return __toCommonJS(math_json_exports);
 })();
 Object.assign(exports, MathJson); Object.defineProperty(exports, '__esModule', { value: true });}));

package/dist/math-json.min.esm.js

@@ -1,4 +1,4 @@
-/** CortexJS Compute Engine 0.12.4 */
+/** CortexJS Compute Engine 0.12.5 */
 
 // src/math-json/utils.ts
 function isSymbolObject(expr) {
@@ -239,7 +239,7 @@ function mapArgs(expr, fn) {
 }
 
 // src/math-json.ts
-var version = "0.12.4";
+var version = "0.12.5";
 export {
   applyRecursively,
   dictionary as getDictionary,

package/dist/math-json.min.js

@@ -1,4 +1,4 @@
-/** CortexJS MathJSON 0.12.4 */
+/** CortexJS MathJSON 0.12.5 */
     (function(global,factory){typeof exports === 'object' && typeof module !== 'undefined' ? factory(exports) : typeof define === 'function' && define.amd ? define(['exports'],factory):(global = typeof globalThis !== 'undefined' ? globalThis : global || self, factory(global.MathJson = {}));})(this, (function (exports) { 'use strict';
 var MathJson = (() => {
   var __defProp = Object.defineProperty;
@@ -277,7 +277,7 @@ var MathJson = (() => {
   }
 
   // src/math-json.ts
-  var version = "0.12.4";
+  var version = "0.12.5";
   return __toCommonJS(math_json_exports);
 })();
 Object.assign(exports, MathJson); Object.defineProperty(exports, '__esModule', { value: true });}));

package/dist/types/common/grapheme-splitter.d.ts

@@ -1,4 +1,4 @@
-/* 0.12.4 */
+/* 0.12.5 */
 /**
  * Return a string or an array of graphemes.
  *

package/dist/types/common/signals.d.ts

@@ -1,4 +1,4 @@
-/* 0.12.4 */
+/* 0.12.5 */
 export type SignalCode = RuntimeSignalCode | ('invalid-name' | 'expected-predicate' | 'expected-symbol' | 'operator-requires-one-operand' | 'postfix-operator-requires-one-operand' | 'prefix-operator-requires-one-operand' | 'unbalanced-symbols' | 'expected-argument' | 'unexpected-command' | 'cyclic-definition' | 'invalid-supersets' | 'expected-supersets' | 'unknown-domain' | 'duplicate-wikidata' | 'invalid-dictionary-entry' | 'syntax-error');
 export type SignalMessage = SignalCode | [SignalCode, ...any[]];
 export type SignalOrigin = {

package/dist/types/common/utils.d.ts

@@ -1 +1 @@
-/* 0.12.4 */
+/* 0.12.5 */

package/dist/types/compute-engine/assume.d.ts

@@ -1,4 +1,4 @@
-/* 0.12.4 */
+/* 0.12.5 */
 /**
  * Add an assumption, in the form of a predicate, for example:
  *

package/dist/types/compute-engine/boxed-expression/abstract-boxed-expression.d.ts

@@ -1,4 +1,4 @@
-/* 0.12.4 */
+/* 0.12.5 */
 import { Complex } from 'complex.js';
 import { Expression } from '../../math-json/math-json-format';
 import { BoxedExpression, BoxedFunctionDefinition, BoxedRuleSet, BoxedSymbolDefinition, BoxedDomain, EvaluateOptions, IComputeEngine, LatexString, Metadata, NOptions, PatternMatchOptions, SemiBoxedExpression, SimplifyOptions, Substitution, RuntimeScope, DomainCompatibility, DomainLiteral, BoxedBaseDefinition, Rational, BoxedSubstitution } from '../public';

package/dist/types/compute-engine/boxed-expression/box.d.ts

@@ -1,4 +1,4 @@
-/* 0.12.4 */
+/* 0.12.5 */
 import { Decimal } from 'decimal.js';
 import { IComputeEngine, SemiBoxedExpression, BoxedExpression, Metadata, Rational } from '../public';
 import { MathJsonNumber } from '../../math-json/math-json-format';

package/dist/types/compute-engine/boxed-expression/boxed-dictionary.d.ts

@@ -1,4 +1,4 @@
-/* 0.12.4 */
+/* 0.12.5 */
 import { BoxedExpression, IComputeEngine, EvaluateOptions, NOptions, BoxedRuleSet, SemiBoxedExpression, SimplifyOptions, ReplaceOptions, Substitution, Metadata, PatternMatchOptions, BoxedDomain, BoxedSubstitution } from '../public';
 import { AbstractBoxedExpression } from './abstract-boxed-expression';
 /**

package/dist/types/compute-engine/boxed-expression/boxed-domain.d.ts

@@ -1,4 +1,4 @@
-/* 0.12.4 */
+/* 0.12.5 */
 import { BoxedDomain, BoxedExpression, BoxedSubstitution, DomainCompatibility, DomainConstructor, DomainExpression, DomainLiteral, IComputeEngine, Metadata, PatternMatchOptions } from '../public';
 import { AbstractBoxedExpression } from './abstract-boxed-expression';
 /**

package/dist/types/compute-engine/boxed-expression/boxed-function-definition.d.ts

@@ -1,2 +1,2 @@
-/* 0.12.4 */
+/* 0.12.5 */
 export declare function makeFunctionDefinition(engine: IComputeEngine, name: string, def: FunctionDefinition | BoxedFunctionDefinition): BoxedFunctionDefinition;

package/dist/types/compute-engine/boxed-expression/boxed-function.d.ts

@@ -1,4 +1,4 @@
-/* 0.12.4 */
+/* 0.12.5 */
 import { Expression } from '../../math-json/math-json-format';
 import { BoxedExpression, BoxedFunctionDefinition, IComputeEngine, NOptions, BoxedRuleSet, SemiBoxedExpression, SimplifyOptions, Substitution, ReplaceOptions, Metadata, PatternMatchOptions, BoxedDomain, RuntimeScope, BoxedSubstitution, EvaluateOptions } from '../public';
 /**
@@ -87,7 +87,7 @@ export declare class BoxedFunction extends AbstractBoxedExpression {
 }
 export declare function makeCanonicalFunction(ce: IComputeEngine, head: string | BoxedExpression, ops: SemiBoxedExpression[], metadata?: Metadata): BoxedExpression;
 /** Apply arguments to an expression. If the expression is a lambda expression
- * it's wildcard arguments are substituted before being evaluated. Otherwise
+ * its wildcard arguments are substituted before being evaluated. Otherwise
  * the expression is just evaluated.
  */
 export declare function apply(fn: BoxedExpression, args: BoxedExpression[]): BoxedExpression;

package/dist/types/compute-engine/boxed-expression/boxed-number.d.ts

@@ -1,4 +1,4 @@
-/* 0.12.4 */
+/* 0.12.5 */
 import { Complex } from 'complex.js';
 import { Expression } from '../../math-json/math-json-format';
 import { BoxedExpression, BoxedDomain, IComputeEngine, Metadata, NOptions, PatternMatchOptions, Rational, SimplifyOptions, BoxedSubstitution } from '../public';

package/dist/types/compute-engine/boxed-expression/boxed-patterns.d.ts

@@ -1,4 +1,4 @@
-/* 0.12.4 */
+/* 0.12.5 */
 import { AbstractBoxedExpression } from './abstract-boxed-expression';
 import { BoxedExpression, BoxedSubstitution, BoxedDomain, IComputeEngine, LatexString, Metadata, Pattern, PatternMatchOptions, SemiBoxedExpression, Substitution } from '../public';
 export declare class BoxedPattern extends AbstractBoxedExpression implements Pattern {

package/dist/types/compute-engine/boxed-expression/boxed-string.d.ts

@@ -1,4 +1,4 @@
-/* 0.12.4 */
+/* 0.12.5 */
 import { AbstractBoxedExpression } from './abstract-boxed-expression';
 import { BoxedExpression, BoxedDomain, IComputeEngine, Metadata, PatternMatchOptions, BoxedSubstitution } from '../public';
 /**

package/dist/types/compute-engine/boxed-expression/boxed-symbol-definition.d.ts

@@ -1,4 +1,4 @@
-/* 0.12.4 */
+/* 0.12.5 */
 /**
  * THEORY OF OPERATIONS
  *

package/dist/types/compute-engine/boxed-expression/boxed-symbol.d.ts

@@ -1,4 +1,4 @@
-/* 0.12.4 */
+/* 0.12.5 */
 import { AbstractBoxedExpression } from './abstract-boxed-expression';
 import { BoxedExpression, BoxedRuleSet, BoxedSymbolDefinition, IComputeEngine, EvaluateOptions, NOptions, ReplaceOptions, SimplifyOptions, Substitution, Metadata, PatternMatchOptions, BoxedDomain, RuntimeScope, BoxedFunctionDefinition, BoxedBaseDefinition, DomainExpression, BoxedSubstitution } from '../public';
 /**

package/dist/types/compute-engine/boxed-expression/expression-map.d.ts

@@ -1,4 +1,4 @@
-/* 0.12.4 */
+/* 0.12.5 */
 export declare class ExpressionMap<U> implements ExpressionMapInterface<U> {
     readonly _items: Map<BoxedExpression, U>;
     constructor(source?: ExpressionMapInterface<U> | readonly (readonly [BoxedExpression, U])[]);

package/dist/types/compute-engine/boxed-expression/order.d.ts

@@ -1,4 +1,4 @@
-/* 0.12.4 */
+/* 0.12.5 */
 export type Order = 'lex' | 'dexlex' | 'grevlex' | 'elim';
 export declare const DEFAULT_COMPLEXITY = 100000;
 /**

package/dist/types/compute-engine/boxed-expression/serialize.d.ts

@@ -1,4 +1,4 @@
-/* 0.12.4 */
+/* 0.12.5 */
 import Decimal from 'decimal.js';
 import { Expression } from '../../math-json/math-json-format';
 import { BoxedExpression, IComputeEngine, Metadata, Rational } from '../public';

package/dist/types/compute-engine/boxed-expression/utils.d.ts

@@ -1,4 +1,4 @@
-/* 0.12.4 */
+/* 0.12.5 */
 import { Expression } from '../../math-json/math-json-format';
 import { BoxedExpression, IComputeEngine } from '../public';
 export declare function isLatexString(s: unknown): s is string;

package/dist/types/compute-engine/boxed-expression/validate.d.ts

@@ -1,4 +1,4 @@
-/* 0.12.4 */
+/* 0.12.5 */
 export declare function validateArgumentCount(ce: IComputeEngine, ops: BoxedExpression[], count: number): BoxedExpression[];
 /**
  * Validation of arguments is normally done by checking the signature of the

package/dist/types/compute-engine/compute-engine.d.ts

@@ -1,4 +1,4 @@
-/* 0.12.4 */
+/* 0.12.5 */
 import { Complex } from 'complex.js';
 import { Expression, MathJsonNumber } from '../math-json/math-json-format';
 import type { LibraryCategory, LatexDictionary, LatexDictionaryEntry, LatexString, NumberFormattingOptions, ParseLatexOptions, SerializeLatexOptions } from './latex-syntax/public';
@@ -279,7 +279,9 @@ export declare class ComputeEngine implements IComputeEngine {
         canonical?: boolean;
     }): BoxedExpression;
     canonical(xs: SemiBoxedExpression[]): BoxedExpression[];
-    fn(head: string, ops: BoxedExpression[], metadata?: Metadata): BoxedExpression;
+    fn(head: string, ops: BoxedExpression[], options?: {
+        canonical: boolean;
+    }): BoxedExpression;
     /** @internal */
     _fn(head: string | BoxedExpression, ops: BoxedExpression[], metadata?: Metadata): BoxedExpression;
     error(message: string | [string, ...SemiBoxedExpression[]], where?: SemiBoxedExpression): BoxedExpression;

package/dist/types/compute-engine/cost-function.d.ts

@@ -1,3 +1,3 @@
-/* 0.12.4 */
+/* 0.12.5 */
 export declare function costFunction(expr: BoxedExpression): number;
 export declare const DEFAULT_COST_FUNCTION: typeof costFunction;

package/dist/types/compute-engine/domain-utils.d.ts

@@ -1,4 +1,4 @@
-/* 0.12.4 */
+/* 0.12.5 */
 import { Decimal } from 'decimal.js';
 import { BoxedExpression, Rational } from './public';
 /** Quickly determine the numeric domain of a number or constant

package/dist/types/compute-engine/latex-syntax/dictionary/definitions-algebra.d.ts

@@ -1,2 +1,2 @@
-/* 0.12.4 */
+/* 0.12.5 */
 export declare const DEFINITIONS_ALGEBRA: LatexDictionary;

package/dist/types/compute-engine/latex-syntax/dictionary/definitions-arithmetic.d.ts

@@ -1,2 +1,2 @@
-/* 0.12.4 */
+/* 0.12.5 */
 export declare const DEFINITIONS_ARITHMETIC: LatexDictionary;