@cortex-js/compute-engine 0.15.0 → 0.17.0

package/dist/math-json.esm.js

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

package/dist/math-json.js

@@ -1,4 +1,4 @@
-/** CortexJS MathJSON 0.15.0 */
+/** CortexJS MathJSON 0.17.0 */
     (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.15.0";
+  var version = "0.17.0";
   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.15.0 */
+/** CortexJS Compute Engine 0.17.0 */
 
 // src/math-json/utils.ts
 function isSymbolObject(expr) {
@@ -239,7 +239,7 @@ function mapArgs(expr, fn) {
 }
 
 // src/math-json.ts
-var version = "0.15.0";
+var version = "0.17.0";
 export {
   applyRecursively,
   dictionary as getDictionary,

package/dist/math-json.min.js

@@ -1,283 +1,4 @@
-/** CortexJS MathJSON 0.15.0 */
+/** CortexJS MathJSON 0.17.0 */
     (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;
-  var __getOwnPropDesc = Object.getOwnPropertyDescriptor;
-  var __getOwnPropNames = Object.getOwnPropertyNames;
-  var __hasOwnProp = Object.prototype.hasOwnProperty;
-  var __export = (target, all) => {
-    for (var name in all)
-      __defProp(target, name, { get: all[name], enumerable: true });
-  };
-  var __copyProps = (to, from, except, desc) => {
-    if (from && typeof from === "object" || typeof from === "function") {
-      for (let key of __getOwnPropNames(from))
-        if (!__hasOwnProp.call(to, key) && key !== except)
-          __defProp(to, key, { get: () => from[key], enumerable: !(desc = __getOwnPropDesc(from, key)) || desc.enumerable });
-    }
-    return to;
-  };
-  var __toCommonJS = (mod) => __copyProps(__defProp({}, "__esModule", { value: true }), mod);
-
-  // src/math-json.ts
-  var math_json_exports = {};
-  __export(math_json_exports, {
-    applyRecursively: () => applyRecursively,
-    getDictionary: () => dictionary,
-    getStringValue: () => stringValue,
-    head: () => head,
-    headName: () => headName,
-    isDictionaryObject: () => isDictionaryObject,
-    isFunctionObject: () => isFunctionObject,
-    isStringObject: () => isStringObject,
-    isSymbolObject: () => isSymbolObject,
-    mapArgs: () => mapArgs,
-    nops: () => nops,
-    op: () => op,
-    symbol: () => symbol,
-    version: () => version
-  });
-
-  // src/math-json/utils.ts
-  function isSymbolObject(expr) {
-    return expr !== null && typeof expr === "object" && "sym" in expr;
-  }
-  function isStringObject(expr) {
-    return expr !== null && typeof expr === "object" && "str" in expr;
-  }
-  function isFunctionObject(expr) {
-    return expr !== null && typeof expr === "object" && "fn" in expr;
-  }
-  function isDictionaryObject(expr) {
-    return expr !== null && typeof expr === "object" && "dict" in expr;
-  }
-  var recommendedScriptsRegex;
-  function isRecommendedScripts(text) {
-    if (!recommendedScriptsRegex) {
-      const recommendedScripts = [
-        "Zyyy",
-        "Zinh",
-        "Arab",
-        "Armn",
-        "Beng",
-        "Bopo",
-        "Cyrl",
-        "Deva",
-        "Ethi",
-        "Geor",
-        "Grek",
-        "Gujr",
-        "Guru",
-        "Hang",
-        "Hani",
-        "Hebr",
-        "Hira",
-        "Kana",
-        "Knda",
-        "Khmr",
-        "Laoo",
-        "Latn",
-        "Mlym",
-        "Mymr",
-        "Orya",
-        "Sinh",
-        "Taml",
-        "Telu",
-        "Thaa",
-        "Thai",
-        "Tibt"
-      ];
-      const regexPattern = `^[${recommendedScripts.map((x) => `\\p{Script=${x}}`).join("")}]*$`;
-      recommendedScriptsRegex = new RegExp(regexPattern, "u");
-    }
-    return recommendedScriptsRegex.test(text);
-  }
-  function isValidIdentifier(s) {
-    if (/^[a-zA-Z_][a-zA-Z0-9_]*$/.test(s))
-      return true;
-    if (ONLY_EMOJIS.test(s))
-      return true;
-    if (!isRecommendedScripts(s))
-      return false;
-    return /^[\p{XIDS}_]\p{XIDC}*$/u.test(s);
-  }
-  var VS16 = "\\u{FE0F}";
-  var KEYCAP = "\\u{20E3}";
-  var ZWJ = "\\u{200D}";
-  var FLAG_SEQUENCE = "\\p{RI}\\p{RI}";
-  var TAG_MOD = `(?:[\\u{E0020}-\\u{E007E}]+\\u{E007F})`;
-  var EMOJI_MOD = `(?:\\p{EMod}|${VS16}${KEYCAP}?|${TAG_MOD})`;
-  var EMOJI_NOT_IDENTIFIER = `(?:(?=\\P{XIDC})\\p{Emoji})`;
-  var ZWJ_ELEMENT = `(?:${EMOJI_NOT_IDENTIFIER}${EMOJI_MOD}*|\\p{Emoji}${EMOJI_MOD}+|${FLAG_SEQUENCE})`;
-  var POSSIBLE_EMOJI = `(?:${ZWJ_ELEMENT})(${ZWJ}${ZWJ_ELEMENT})*`;
-  var SOME_EMOJI = new RegExp(`(?:${POSSIBLE_EMOJI})+`, "u");
-  var ONLY_EMOJIS = new RegExp(`^(?:${POSSIBLE_EMOJI})+$`, "u");
-  function validateIdentifier(s) {
-    if (typeof s !== "string")
-      return "not-a-string";
-    if (s === "")
-      return "empty-string";
-    if (s.normalize() !== s)
-      return "expected-nfc";
-    if (/[\u200E\u200F\u2066-\u2069\u202A-\u202E]/.test(s))
-      return "unexpected-bidi-marker";
-    if (ONLY_EMOJIS.test(s))
-      return "valid";
-    if (/\p{XIDC}/u.test(s) && SOME_EMOJI.test(s))
-      return "unexpected-mixed-emoji";
-    if (!isRecommendedScripts(s))
-      return "unexpected-script";
-    if (!isValidIdentifier(s)) {
-      if (!isValidIdentifier(s[0]))
-        return "invalid-first-char";
-      return "invalid-char";
-    }
-    return "valid";
-  }
-  function stringValue(expr) {
-    if (expr === null || expr === void 0)
-      return null;
-    if (typeof expr === "object" && "str" in expr)
-      return expr.str;
-    if (typeof expr !== "string")
-      return null;
-    if (expr.length < 2)
-      return null;
-    if (expr[0] !== "'" || expr[expr.length - 1] !== "'")
-      return null;
-    return expr.substring(1, expr.length - 1);
-  }
-  function head(expr) {
-    if (expr === null || expr === void 0)
-      return null;
-    if (Array.isArray(expr)) {
-      if (typeof expr[0] === "string" && !isValidIdentifier(expr[0])) {
-        console.error(
-          `Invalid identifier "${expr[0]}": ${validateIdentifier(expr[0])}`
-        );
-        return null;
-      }
-      return expr[0];
-    }
-    if (isFunctionObject(expr))
-      return expr.fn[0];
-    return null;
-  }
-  function headName(expr) {
-    const h = head(expr);
-    return typeof h === "string" ? h : "";
-  }
-  function ops(expr) {
-    if (expr === null || expr === void 0)
-      return null;
-    if (Array.isArray(expr))
-      return expr.slice(1);
-    if (isFunctionObject(expr))
-      return expr.fn.slice(1);
-    return null;
-  }
-  function op(expr, n) {
-    if (expr === null || expr === void 0)
-      return null;
-    if (Array.isArray(expr))
-      return expr[n] ?? null;
-    if (isFunctionObject(expr))
-      return expr.fn[n] ?? null;
-    return null;
-  }
-  function op1(expr) {
-    return op(expr, 1);
-  }
-  function op2(expr) {
-    return op(expr, 2);
-  }
-  function nops(expr) {
-    if (expr === null || expr === void 0)
-      return 0;
-    if (Array.isArray(expr))
-      return Math.max(0, expr.length - 1);
-    if (isFunctionObject(expr))
-      return Math.max(0, expr.fn.length - 1);
-    return 0;
-  }
-  function symbol(expr) {
-    if (expr === null || expr === void 0)
-      return null;
-    if (typeof expr === "string") {
-      if (/^[+\-\.0-9]/.test(expr))
-        return null;
-      if (expr.length >= 2 && expr[0] === "'" && expr[expr.length - 1] === "'")
-        return null;
-    }
-    const s = isSymbolObject(expr) ? expr.sym : expr;
-    if (typeof s !== "string")
-      return null;
-    return s;
-  }
-  function keyValuePair(expr) {
-    const h = head(expr);
-    if (h === "KeyValuePair" || h === "Tuple" || h === "Pair") {
-      const key = stringValue(op1(expr));
-      if (!key)
-        return null;
-      return [key, op2(expr) ?? "Nothing"];
-    }
-    return null;
-  }
-  function dictionary(expr) {
-    if (expr === null)
-      return null;
-    if (typeof expr === "object" && "dict" in expr)
-      return expr.dict;
-    const kv = keyValuePair(expr);
-    if (kv)
-      return { [kv[0]]: kv[1] };
-    const h = head(expr);
-    if (h === "Dictionary") {
-      const result = {};
-      for (let i = 1; i < nops(expr); i++) {
-        const kv2 = keyValuePair(op(expr, i));
-        if (kv2)
-          result[kv2[0]] = kv2[1];
-      }
-      return result;
-    }
-    return null;
-  }
-  function applyRecursively(expr, fn) {
-    const h = head(expr);
-    if (h !== null) {
-      return [fn(h), ...(ops(expr) ?? []).map(fn)];
-    }
-    const dict = dictionary(expr);
-    if (dict !== null) {
-      const keys = Object.keys(dict);
-      const result = {};
-      for (const key of keys)
-        result[key] = fn(dict[key]);
-      return { dict: result };
-    }
-    return fn(expr);
-  }
-  function mapArgs(expr, fn) {
-    let args = null;
-    if (Array.isArray(expr))
-      args = expr;
-    if (isFunctionObject(expr))
-      args = expr.fn;
-    if (args === null)
-      return [];
-    let i = 1;
-    const result = [];
-    while (i < args.length) {
-      result.push(fn(args[i]));
-      i += 1;
-    }
-    return result;
-  }
-
-  // src/math-json.ts
-  var version = "0.15.0";
-  return __toCommonJS(math_json_exports);
-})();
+var MathJson=(()=>{var f=Object.defineProperty;var J=Object.getOwnPropertyDescriptor;var k=Object.getOwnPropertyNames;var v=Object.prototype.hasOwnProperty;var D=(n,t)=>{for(var e in t)f(n,e,{get:t[e],enumerable:!0})},R=(n,t,e,i)=>{if(t&&typeof t=="object"||typeof t=="function")for(let r of k(t))!v.call(n,r)&&r!==e&&f(n,r,{get:()=>t[r],enumerable:!(i=J(t,r))||i.enumerable});return n};var _=n=>R(f({},"__esModule",{value:!0}),n);var z={};D(z,{applyRecursively:()=>T,getDictionary:()=>y,getStringValue:()=>m,head:()=>o,headName:()=>I,isDictionaryObject:()=>M,isFunctionObject:()=>u,isStringObject:()=>S,isSymbolObject:()=>d,mapArgs:()=>$,nops:()=>E,op:()=>s,symbol:()=>A,version:()=>X});function d(n){return n!==null&&typeof n=="object"&&"sym"in n}function S(n){return n!==null&&typeof n=="object"&&"str"in n}function u(n){return n!==null&&typeof n=="object"&&"fn"in n}function M(n){return n!==null&&typeof n=="object"&&"dict"in n}var c;function N(n){if(!c){let e=`^[${["Zyyy","Zinh","Arab","Armn","Beng","Bopo","Cyrl","Deva","Ethi","Geor","Grek","Gujr","Guru","Hang","Hani","Hebr","Hira","Kana","Knda","Khmr","Laoo","Latn","Mlym","Mymr","Orya","Sinh","Taml","Telu","Thaa","Thai","Tibt"].map(i=>`\\p{Script=${i}}`).join("")}]*$`;c=new RegExp(e,"u")}return c.test(n)}function a(n){return/^[a-zA-Z_][a-zA-Z0-9_]*$/.test(n)||O.test(n)?!0:N(n)?/^[\p{XIDS}_]\p{XIDC}*$/u.test(n):!1}var F="\\u{FE0F}",L="\\u{20E3}",w="\\u{200D}",V="\\p{RI}\\p{RI}",P="(?:[\\u{E0020}-\\u{E007E}]+\\u{E007F})",b=`(?:\\p{EMod}|${F}${L}?|${P})`,q="(?:(?=\\P{XIDC})\\p{Emoji})",h=`(?:${q}${b}*|\\p{Emoji}${b}+|${V})`,j=`(?:${h})(${w}${h})*`,C=new RegExp(`(?:${j})+`,"u"),O=new RegExp(`^(?:${j})+$`,"u");function G(n){return typeof n!="string"?"not-a-string":n===""?"empty-string":n.normalize()!==n?"expected-nfc":/[\u200E\u200F\u2066-\u2069\u202A-\u202E]/.test(n)?"unexpected-bidi-marker":O.test(n)?"valid":/\p{XIDC}/u.test(n)&&C.test(n)?"unexpected-mixed-emoji":N(n)?a(n)?"valid":a(n[0])?"invalid-char":"invalid-first-char":"unexpected-script"}function m(n){return n==null?null:typeof n=="object"&&"str"in n?n.str:typeof n!="string"||n.length<2||n[0]!=="'"||n[n.length-1]!=="'"?null:n.substring(1,n.length-1)}function o(n){return n==null?null:Array.isArray(n)?typeof n[0]=="string"&&!a(n[0])?(console.error(`Invalid identifier "${n[0]}": ${G(n[0])}`),null):n[0]:u(n)?n.fn[0]:null}function I(n){let t=o(n);return typeof t=="string"?t:""}function K(n){return n==null?null:Array.isArray(n)?n.slice(1):u(n)?n.fn.slice(1):null}function s(n,t){return n==null?null:Array.isArray(n)?n[t]??null:u(n)?n.fn[t]??null:null}function Z(n){return s(n,1)}function H(n){return s(n,2)}function E(n){return n==null?0:Array.isArray(n)?Math.max(0,n.length-1):u(n)?Math.max(0,n.fn.length-1):0}function A(n){if(n==null||typeof n=="string"&&(/^[+\-\.0-9]/.test(n)||n.length>=2&&n[0]==="'"&&n[n.length-1]==="'"))return null;let t=d(n)?n.sym:n;return typeof t!="string"?null:t}function p(n){let t=o(n);if(t==="KeyValuePair"||t==="Tuple"||t==="Pair"){let e=m(Z(n));return e?[e,H(n)??"Nothing"]:null}return null}function y(n){if(n===null)return null;if(typeof n=="object"&&"dict"in n)return n.dict;let t=p(n);if(t)return{[t[0]]:t[1]};if(o(n)==="Dictionary"){let i={};for(let r=1;r<E(n);r++){let l=p(s(n,r));l&&(i[l[0]]=l[1])}return i}return null}function T(n,t){let e=o(n);if(e!==null)return[t(e),...(K(n)??[]).map(t)];let i=y(n);if(i!==null){let r=Object.keys(i),l={};for(let g of r)l[g]=t(i[g]);return{dict:l}}return t(n)}function $(n,t){let e=null;if(Array.isArray(n)&&(e=n),u(n)&&(e=n.fn),e===null)return[];let i=1,r=[];for(;i<e.length;)r.push(t(e[i])),i+=1;return r}var X="0.17.0";return _(z);})();
 Object.assign(exports, MathJson); Object.defineProperty(exports, '__esModule', { value: true });}));

package/dist/types/common/ansi-codes.d.ts

@@ -0,0 +1,15 @@
+/* 0.17.0 */
+export declare const BLACK = "\u001B[30;1m${s}";
+export declare const GREY = "\u001B[30;1m${s}";
+export declare const GREEN = "\u001B[32;1m";
+export declare const RED = "\u001B[31;1m";
+export declare const YELLOW = "\u001B[33m";
+export declare const BLUE = "\u001B[34;1m";
+export declare const MAGENTA = "\u001B[35;1m";
+export declare const CYAN = "\u001B[36;1m";
+export declare const INVERSE_RED = "\u001B[101;97m";
+export declare const INVERSE_GREEN = "\u001B[102;97m";
+export declare const INVERSE_YELLOW = "\u001B[103;97m";
+export declare const INVERSE_BLUE = "\u001B[104;97m";
+export declare const BOLD = "\u001B[1m";
+export declare const GREY_BG = "\u001B[40;1m";

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

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

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

@@ -1,4 +1,4 @@
-/* 0.15.0 */
+/* 0.17.0 */
 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.15.0 */
+/* 0.17.0 */

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

@@ -1,4 +1,4 @@
-/* 0.15.0 */
+/* 0.17.0 */
 /**
  * Add an assumption, in the form of a predicate, for example:
  *
@@ -9,7 +9,7 @@
  *
  * Some assumptions are handled separately, specifically, those that can
  * be represented as a symbol definition (equality to an expression,
- * membership to Integer, RealNumber, etc..., >0, <=0, etc...). The result
+ * membership to Integers, RealNumbers, etc..., >0, <=0, etc...). The result
  * of these are stored directly in the current scope's symbols dictionary
  * (and an entry for the symbol is created if necessary).
  *

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

@@ -1,11 +1,11 @@
-/* 0.15.0 */
-import { Complex } from 'complex.js';
+/* 0.17.0 */
+import type { Decimal } from 'decimal.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';
+import { BoxedExpression, BoxedFunctionDefinition, BoxedRuleSet, BoxedSymbolDefinition, BoxedDomain, EvaluateOptions, IComputeEngine, LatexString, Metadata, NOptions, PatternMatchOptions, SimplifyOptions, Substitution, RuntimeScope, DomainCompatibility, DomainLiteral, BoxedBaseDefinition, Rational, BoxedSubstitution } from '../public';
 /**
- * AbstractBoxedExpression
+ * _BoxedExpression
  */
-export declare abstract class AbstractBoxedExpression implements BoxedExpression {
+export declare abstract class _BoxedExpression implements BoxedExpression {
     abstract readonly hash: number;
     abstract readonly json: Expression;
     abstract readonly head: BoxedExpression | string;
@@ -15,11 +15,10 @@ export declare abstract class AbstractBoxedExpression implements BoxedExpression
     abstract isEqual(rhs: BoxedExpression): boolean;
     abstract match(rhs: BoxedExpression, options?: PatternMatchOptions): BoxedSubstitution | null;
     readonly engine: IComputeEngine;
-    /** Verbatim LaTeX, obtained from a source, i.e. from parsing, not generated
-     * synthetically
+    /** Verbatim LaTeX, obtained from a source, i.e. from parsing,
+     *  not generated synthetically
      */
     protected _latex?: string;
-    protected _wikidata: string | undefined;
     constructor(ce: IComputeEngine, metadata?: Metadata);
     /** `Object.valueOf()`: return a primitive value for the object
      *
@@ -43,7 +42,8 @@ export declare abstract class AbstractBoxedExpression implements BoxedExpression
     getSubexpressions(head: string): BoxedExpression[];
     get subexpressions(): BoxedExpression[];
     get symbols(): string[];
-    get freeVars(): string[];
+    get unknowns(): string[];
+    get freeVariables(): string[];
     get errors(): BoxedExpression[];
     get ops(): null | BoxedExpression[];
     get nops(): number;
@@ -53,12 +53,9 @@ export declare abstract class AbstractBoxedExpression implements BoxedExpression
     get isValid(): boolean;
     get isPure(): boolean;
     get isExact(): boolean;
-    /** For a symbol, true if the symbol is a free variable (no value) */
-    get isFree(): boolean;
     /** For a symbol, true if the symbol is a constant (unchangeable value) */
     get isConstant(): boolean;
     get canonical(): BoxedExpression;
-    apply(_fn: (x: BoxedExpression) => SemiBoxedExpression, _head?: string): BoxedExpression;
     subs(_sub: Substitution, options?: {
         canonical: boolean;
     }): BoxedExpression;
@@ -90,22 +87,21 @@ export declare abstract class AbstractBoxedExpression implements BoxedExpression
     get description(): string[] | undefined;
     get url(): string | undefined;
     get wikidata(): string | undefined;
-    set wikidata(val: string | undefined);
     get complexity(): number | undefined;
-    get basedDefinition(): BoxedBaseDefinition | undefined;
+    get baseDefinition(): BoxedBaseDefinition | undefined;
     get symbolDefinition(): BoxedSymbolDefinition | undefined;
     get functionDefinition(): BoxedFunctionDefinition | undefined;
-    bind(_scope: RuntimeScope | null): void;
-    unbind(): void;
+    infer(_domain: BoxedDomain): boolean;
+    bind(): void;
+    reset(): void;
     get keys(): IterableIterator<string> | null;
     get keysCount(): number;
     getKey(_key: string): BoxedExpression | undefined;
     hasKey(_key: string): boolean;
     get value(): BoxedExpression | undefined;
     set value(_value: BoxedExpression | number | undefined);
-    get domain(): BoxedDomain;
+    get domain(): BoxedDomain | undefined;
     set domain(_domain: BoxedDomain);
-    get explicitDomain(): BoxedDomain | undefined;
     get isNumber(): boolean | undefined;
     get isInteger(): boolean | undefined;
     get isRational(): boolean | undefined;
@@ -116,7 +112,7 @@ export declare abstract class AbstractBoxedExpression implements BoxedExpression
     get isImaginary(): boolean | undefined;
     get isExtendedComplex(): boolean | undefined;
     simplify(_options?: SimplifyOptions): BoxedExpression;
-    evaluate(options?: EvaluateOptions): BoxedExpression;
+    evaluate(_options?: EvaluateOptions): BoxedExpression;
     N(_options?: NOptions): BoxedExpression;
     compile(to?: string, options?: {
         optimize: ('simplify' | 'evaluate')[];

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

@@ -1,9 +1,9 @@
-/* 0.15.0 */
+/* 0.17.0 */
 import { Decimal } from 'decimal.js';
 import { IComputeEngine, SemiBoxedExpression, BoxedExpression, Metadata, Rational } from '../public';
 import { MathJsonNumber } from '../../math-json/math-json-format';
 /**
- * **Theory of Operations**
+ * ## THEORY OF OPERATIONS
  *
  * 1/ Boxing does not depend on the numeric mode. The numeric mode could be
  * changed later, but the previously boxed numbers could not be retroactively
@@ -20,7 +20,12 @@ import { MathJsonNumber } from '../../math-json/math-json-format';
  * which is canonical from the start avoid going through an intermediary step
  * with a non-canonical expression.
  *
- * 3/ When implementing an `evaluate()`:
+ * 3/ When boxing (and canonicalizing), if the function is "scoped", a new
+ *    scope is created before the canonicalization, so that any declaration
+ *    are done within that scope. Example of scoped functions include `Block`
+ *    and `Sum`.
+ *
+ * 4/ When implementing an `evaluate()`:
  * - if `bignumPreferred()` all operations should be done in bignum and complex,
  *    otherwise, they should all be done in machine numbers and complex.
  * - if not `complexAllowed()`, return `NaN` if a complex value is encountered

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

@@ -1,19 +1,20 @@
-/* 0.15.0 */
+/* 0.17.0 */
 import { BoxedExpression, IComputeEngine, EvaluateOptions, NOptions, BoxedRuleSet, SemiBoxedExpression, SimplifyOptions, ReplaceOptions, Substitution, Metadata, PatternMatchOptions, BoxedDomain, BoxedSubstitution } from '../public';
-import { AbstractBoxedExpression } from './abstract-boxed-expression';
+import { _BoxedExpression } from './abstract-boxed-expression';
 /**
  * BoxedDictionary
  */
-export declare class BoxedDictionary extends AbstractBoxedExpression {
+export declare class BoxedDictionary extends _BoxedExpression {
     private _value;
     private _isCanonical;
     constructor(ce: IComputeEngine, dict: {
         [key: string]: SemiBoxedExpression;
-    }, options?: {
+    } | Map<string, BoxedExpression>, options?: {
         canonical?: boolean;
         metadata?: Metadata;
     });
-    unbind(): undefined;
+    bind(): void;
+    reset(): undefined;
     get hash(): number;
     get complexity(): number;
     get head(): 'Dictionary';
@@ -30,13 +31,12 @@ export declare class BoxedDictionary extends AbstractBoxedExpression {
     match(rhs: BoxedExpression, _options?: PatternMatchOptions): BoxedSubstitution | null;
     /** Mathematical equality */
     isEqual(rhs: BoxedExpression): boolean;
-    apply(fn: (x: BoxedExpression) => SemiBoxedExpression, head?: string): BoxedExpression;
-    evaluate(options?: EvaluateOptions): BoxedExpression;
+    evaluate(_options?: EvaluateOptions): BoxedExpression;
     get isCanonical(): boolean;
     set isCanonical(val: boolean);
     get canonical(): BoxedExpression;
-    simplify(options?: SimplifyOptions): BoxedExpression;
-    N(options?: NOptions): BoxedExpression;
+    simplify(_options?: SimplifyOptions): BoxedExpression;
+    N(_options?: NOptions): BoxedExpression;
     replace(rules: BoxedRuleSet, options?: ReplaceOptions): null | BoxedExpression;
     subs(sub: Substitution, options?: {
         canonical: boolean;

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

@@ -1,51 +1,39 @@
-/* 0.15.0 */
+/* 0.17.0 */
 import { BoxedDomain, BoxedExpression, BoxedSubstitution, DomainCompatibility, DomainConstructor, DomainExpression, DomainLiteral, IComputeEngine, Metadata, PatternMatchOptions } from '../public';
-import { AbstractBoxedExpression } from './abstract-boxed-expression';
+import { _BoxedExpression } from './abstract-boxed-expression';
 /**
- * A `_BoxedDomain` is a wrapper around a boxed, canonical, domain expression.
+ * A `_BoxedDomain` is a wrapper around a boxed, canonical, domain
+ * expression.
  *
- * If could also be an error, in which case, `isValid` is `false`.
+ * It could be an invalid domain, in which case `isValid` is `false`.
  *
  */
-export declare class _BoxedDomain extends AbstractBoxedExpression implements BoxedDomain {
-    /** The value of a boxed domain is either a string if a domain literal, or a
-     * domain constructor function.
-     * Since the domains are alway canonicalized when boxed, their value can
-     * be represented by a simple array, without the need for extra boxing.
-     */
-    _value: DomainExpression<BoxedExpression>;
+export declare class _BoxedDomain extends _BoxedExpression implements BoxedDomain {
     private _hash;
+    readonly base: DomainLiteral;
+    readonly ctor: DomainConstructor | null;
+    readonly params: BoxedDomain[];
+    readonly optParams: BoxedDomain[];
+    readonly restParam: BoxedDomain | null;
+    readonly result: BoxedDomain | null;
     constructor(ce: IComputeEngine, dom: DomainExpression, metadata?: Metadata);
-    get isCanonical(): boolean;
     /** Boxed domains are always canonical. */
+    get isCanonical(): boolean;
     get canonical(): _BoxedDomain;
     get isValid(): boolean;
     get json(): Expression;
-    get literal(): string | null;
-    get ctor(): DomainConstructor | null;
-    get domainArgs(): (string | BoxedExpression | DomainExpression<BoxedExpression>)[] | null;
-    get domainArg1(): string | BoxedExpression | DomainExpression<BoxedExpression> | null;
-    get codomain(): BoxedDomain | null;
     get hash(): number;
+    isCompatible(dom: BoxedDomain | DomainLiteral, compatibility?: DomainCompatibility): boolean;
     isEqual(rhs: BoxedExpression): boolean;
     isSame(rhs: BoxedExpression): boolean;
-    is(rhs: any): boolean;
-    isCompatible(dom: BoxedDomain | DomainLiteral, compatibility?: DomainCompatibility): boolean;
     match(rhs: BoxedExpression, _options?: PatternMatchOptions): BoxedSubstitution | null;
     get head(): string;
     get domain(): BoxedDomain;
-    get isNothing(): boolean;
     get isFunction(): boolean;
     get isNumeric(): boolean;
-    get isRelationalOperator(): boolean;
 }
-/**
- * Note that `boxDomain()` should only be called from `ComputeEngine`.
- * This gives a chance for `ComputeEngine` to substitute cached objects.
- */
-export declare function boxDomain(ce: IComputeEngine, dom: BoxedExpression | DomainExpression, metadata?: Metadata): BoxedDomain;
 /** Validate that `expr` is a Domain */
 export declare function isDomain(expr: Expression | BoxedExpression | BoxedDomain | DomainExpression): expr is BoxedDomain | DomainExpression;
-export declare function isValidDomain(expr: any): expr is BoxedDomain | DomainExpression;
 /** Return the ancestor domain that is shared by both `a` and `b` */
-export declare function sharedAncestorDomain(a: BoxedDomain, b: BoxedDomain): BoxedDomain;
+export declare function widen(a: BoxedDomain | undefined | null, b: BoxedDomain | undefined | null): BoxedDomain | undefined;
+export declare function narrow(a: BoxedDomain | undefined, b: BoxedDomain | undefined): BoxedDomain;

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

@@ -1,2 +1,28 @@
-/* 0.15.0 */
+/* 0.17.0 */
+export declare class _BoxedFunctionDefinition implements BoxedFunctionDefinition {
+    engine: IComputeEngine;
+    scope: RuntimeScope;
+    name: string;
+    description?: string | string[];
+    wikidata?: string;
+    threadable: boolean;
+    associative: boolean;
+    commutative: boolean;
+    idempotent: boolean;
+    involution: boolean;
+    pure: boolean;
+    inert: boolean;
+    numeric: boolean;
+    complexity: number;
+    hold: Hold;
+    dynamic: boolean;
+    signature: BoxedFunctionSignature;
+    iterator?: (expr: BoxedExpression, start?: number, count?: number) => Iterator<BoxedExpression>;
+    at?: (expr: BoxedExpression, index: number | string) => undefined | BoxedExpression;
+    size?: (expr: BoxedExpression) => number;
+    keys?: (expr: BoxedExpression) => undefined | Iterator<string>;
+    indexOf?: (expr: BoxedExpression, target: BoxedExpression, from?: number) => number | string | undefined;
+    constructor(ce: IComputeEngine, name: string, def: FunctionDefinition);
+    reset(): void;
+}
 export declare function makeFunctionDefinition(engine: IComputeEngine, name: string, def: FunctionDefinition | BoxedFunctionDefinition): BoxedFunctionDefinition;