@cortex-js/compute-engine 0.23.1 → 0.24.0

package/dist/math-json.esm.js

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

package/dist/math-json.js

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

package/dist/math-json.min.js

@@ -1,4 +1,4 @@
-/** CortexJS MathJSON 0.23.1 */
+/** MathJSON 0.24.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 f=Object.defineProperty;var T=Object.getOwnPropertyDescriptor;var v=Object.getOwnPropertyNames;var k=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 v(t))!k.call(n,r)&&r!==e&&f(n,r,{get:()=>t[r],enumerable:!(i=T(t,r))||i.enumerable});return n};var _=n=>R(f({},"__esModule",{value:!0}),n);var z={};D(z,{applyRecursively:()=>J,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}",V="\\u{20E3}",L="\\u{200D}",P="\\p{RI}\\p{RI}",w="(?:[\\u{E0020}-\\u{E007E}]+\\u{E007F})",b=`(?:\\p{EMod}|${F}${V}?|${w})`,C="(?:(?=\\P{XIDC})\\p{Emoji})",h=`(?:${C}${b}*|\\p{Emoji}${b}+|${P})`,j=`(?:${h})(${L}${h})*`,G=new RegExp(`(?:${j})+`,"u"),O=new RegExp(`^(?:${j})+$`,"u");function q(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)&&G.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 Array.isArray(n)?typeof n[0]=="string"&&!a(n[0])?(console.error(`Invalid identifier "${n[0]}": ${q(n[0])}`),null):n[0]:n==null?null:u(n)?n.fn[0]:null}function I(n){let t=o(n);return typeof t=="string"?t:""}function H(n){return Array.isArray(n)?n.slice(1):n==null?null:u(n)?n.fn.slice(1):null}function s(n,t){return Array.isArray(n)?n[t]??null:n==null?null:u(n)?n.fn[t]??null:null}function K(n){return s(n,1)}function Z(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(typeof n=="string")return/^[+-]?[0-9\.]/.test(n)||n.length>=2&&n[0]==="'"&&n[n.length-1]==="'"?null:n;if(n==null)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(K(n));return e?[e,Z(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 J(n,t){let e=o(n);if(e!==null)return[t(e),...(H(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.23.1";return _(z);})();
+var MathJson=(()=>{var f=Object.defineProperty;var T=Object.getOwnPropertyDescriptor;var v=Object.getOwnPropertyNames;var k=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 v(t))!k.call(n,r)&&r!==e&&f(n,r,{get:()=>t[r],enumerable:!(i=T(t,r))||i.enumerable});return n};var _=n=>R(f({},"__esModule",{value:!0}),n);var z={};D(z,{applyRecursively:()=>J,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}",V="\\u{20E3}",L="\\u{200D}",P="\\p{RI}\\p{RI}",w="(?:[\\u{E0020}-\\u{E007E}]+\\u{E007F})",b=`(?:\\p{EMod}|${F}${V}?|${w})`,C="(?:(?=\\P{XIDC})\\p{Emoji})",h=`(?:${C}${b}*|\\p{Emoji}${b}+|${P})`,j=`(?:${h})(${L}${h})*`,G=new RegExp(`(?:${j})+`,"u"),O=new RegExp(`^(?:${j})+$`,"u");function q(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)&&G.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 Array.isArray(n)?typeof n[0]=="string"&&!a(n[0])?(console.error(`Invalid identifier "${n[0]}": ${q(n[0])}`),null):n[0]:n==null?null:u(n)?n.fn[0]:null}function I(n){let t=o(n);return typeof t=="string"?t:""}function H(n){return Array.isArray(n)?n.slice(1):n==null?null:u(n)?n.fn.slice(1):null}function s(n,t){return Array.isArray(n)?n[t]??null:n==null?null:u(n)?n.fn[t]??null:null}function K(n){return s(n,1)}function Z(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(typeof n=="string")return/^[+-]?[0-9\.]/.test(n)||n.length>=2&&n[0]==="'"&&n[n.length-1]==="'"?null:n;if(n==null)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(K(n));return e?[e,Z(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 J(n,t){let e=o(n);if(e!==null)return[t(e),...(H(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.24.0";return _(z);})();
 Object.assign(exports, MathJson); Object.defineProperty(exports, '__esModule', { value: true });}));

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

@@ -1,4 +1,4 @@
-/* 0.23.1 */
+/* 0.24.0 */
 export declare const BLACK = "\u001B[30;1m${s}";
 export declare const GREY = "\u001B[30;1m${s}";
 export declare const GREEN = "\u001B[32;1m";

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

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

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

@@ -1,6 +1,11 @@
-/* 0.23.1 */
+/* 0.24.0 */
+/** @category Error Handling */
+export type RuntimeSignalCode = 'timeout' | 'out-of-memory' | 'recursion-depth-exceeded' | 'iteration-limit-exceeded';
+/** @category Error Handling */
 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');
+/** @category Error Handling */
 export type SignalMessage = SignalCode | [SignalCode, ...any[]];
+/** @category Error Handling */
 export type SignalOrigin = {
     url?: string;
     source?: string;
@@ -9,6 +14,7 @@ export type SignalOrigin = {
     column?: number;
     around?: string;
 };
+/** @category Error Handling */
 export type Signal = {
     severity?: 'warning' | 'error';
     /** An error/warning code or, a code with one or more arguments specific to
@@ -22,12 +28,15 @@ export type Signal = {
     /** Location where the signal was raised. */
     origin?: SignalOrigin;
 };
+/** @category Error Handling */
 export type ErrorSignal = Signal & {
     severity: 'error';
 };
+/** @category Error Handling */
 export type WarningSignal = Signal & {
     severity: 'warning';
 };
+/** @category Error Handling */
 export type WarningSignalHandler = (warnings: WarningSignal[]) => void;
 /**
  * The error codes can be used in an `ErrorCode` expression:
@@ -82,5 +91,7 @@ export type WarningSignalHandler = (warnings: WarningSignal[]) => void;
  *
  * * `base-out-of-range`:  The base is expected to be between 2 and 36.
  *
+ * @category Error Handling
+ *
  */
 export type ErrorCode = 'expected-argument' | 'unexpected-argument' | 'expected-operator' | 'expected-operand' | 'invalid-name' | 'invalid-dictionary-entry' | 'unknown-symbol' | 'unknown-operator' | 'unknown-function' | 'unknown-command' | 'unexpected-command' | 'unbalanced-symbols' | 'unexpected-superscript' | 'unexpected-subscript' | 'unexpected-sequence' | 'non-associative-operator' | 'function-has-too-many-arguments' | 'function-has-too-few-arguments' | 'operator-requires-one-operand' | 'infix-operator-requires-two-operands' | 'prefix-operator-requires-one-operand' | 'postfix-operator-requires-one-operand' | 'associative-function-has-too-few-arguments' | 'commutative-function-has-too-few-arguments' | 'threadable-function-has-too-few-arguments' | 'hold-first-function-has-too-few-arguments' | 'hold-rest-function-has-too-few-arguments' | 'base-out-of-range' | 'syntax-error';

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

@@ -1 +1 @@
-/* 0.23.1 */
+/* 0.24.0 */

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

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

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

@@ -1,7 +1,7 @@
-/* 0.23.1 */
+/* 0.24.0 */
 import { Decimal } from 'decimal.js';
 import { Expression } from '../../math-json/math-json-format';
-import { BoxedExpression, BoxedFunctionDefinition, BoxedRuleSet, BoxedSymbolDefinition, BoxedDomain, EvaluateOptions, IComputeEngine, LatexString, Metadata, NOptions, PatternMatchOptions, 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, Rule, SemiBoxedExpression } from '../public';
 /**
  * _BoxedExpression
  */
@@ -13,7 +13,7 @@ export declare abstract class _BoxedExpression implements BoxedExpression {
     abstract set isCanonical(_val: boolean);
     abstract isSame(rhs: BoxedExpression): boolean;
     abstract isEqual(rhs: BoxedExpression): boolean;
-    abstract match(rhs: BoxedExpression, options?: PatternMatchOptions): BoxedSubstitution | null;
+    abstract match(pattern: Decimal | Complex | [num: number, denom: number] | SemiBoxedExpression | BoxedExpression, options?: PatternMatchOptions): BoxedSubstitution | null;
     readonly engine: IComputeEngine;
     /** Verbatim LaTeX, obtained from a source, i.e. from parsing,
      *  not generated synthetically
@@ -78,7 +78,7 @@ export declare abstract class _BoxedExpression implements BoxedExpression {
         canonical: boolean;
     }): BoxedExpression;
     solve(_vars: Iterable<string>): null | BoxedExpression[];
-    replace(_rules: BoxedRuleSet): null | BoxedExpression;
+    replace(_rules: BoxedRuleSet | Rule | Rule[]): null | BoxedExpression;
     has(_v: string | string[]): boolean;
     isLess(_rhs: BoxedExpression): boolean | undefined;
     isLessEqual(_rhs: BoxedExpression): boolean | undefined;

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

@@ -1,9 +1,9 @@
-/* 0.23.1 */
+/* 0.24.0 */
 import { Decimal } from 'decimal.js';
 import { IComputeEngine, SemiBoxedExpression, BoxedExpression, Metadata, Rational, CanonicalForm } 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

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

@@ -1,8 +1,12 @@
-/* 0.23.1 */
-import { BoxedExpression, IComputeEngine, EvaluateOptions, NOptions, BoxedRuleSet, SemiBoxedExpression, SimplifyOptions, ReplaceOptions, Substitution, Metadata, PatternMatchOptions, BoxedDomain, BoxedSubstitution } from '../public';
+/* 0.24.0 */
+import Decimal from 'decimal.js';
+import { Expression } from '../../math-json/math-json-format';
+import { BoxedExpression, IComputeEngine, EvaluateOptions, NOptions, BoxedRuleSet, SemiBoxedExpression, SimplifyOptions, ReplaceOptions, Substitution, Metadata, PatternMatchOptions, BoxedDomain, BoxedSubstitution, Rule } from '../public';
 import { _BoxedExpression } from './abstract-boxed-expression';
 /**
  * BoxedDictionary
+ *
+ * @noInheritDoc
  */
 export declare class BoxedDictionary extends _BoxedExpression {
     private _value;
@@ -28,7 +32,7 @@ export declare class BoxedDictionary extends _BoxedExpression {
     get json(): Expression;
     /** Structural equality */
     isSame(rhs: BoxedExpression): boolean;
-    match(rhs: BoxedExpression, _options?: PatternMatchOptions): BoxedSubstitution | null;
+    match(pattern: Decimal | Complex | [num: number, denom: number] | SemiBoxedExpression | BoxedExpression, options?: PatternMatchOptions): BoxedSubstitution | null;
     /** Mathematical equality */
     isEqual(rhs: BoxedExpression): boolean;
     evaluate(_options?: EvaluateOptions): BoxedExpression;
@@ -37,7 +41,7 @@ export declare class BoxedDictionary extends _BoxedExpression {
     get canonical(): BoxedExpression;
     simplify(_options?: SimplifyOptions): BoxedExpression;
     N(_options?: NOptions): BoxedExpression;
-    replace(rules: BoxedRuleSet, options?: ReplaceOptions): null | BoxedExpression;
+    replace(rules: BoxedRuleSet | Rule | Rule[], options?: ReplaceOptions): null | BoxedExpression;
     subs(sub: Substitution, options?: {
         canonical: boolean;
     }): BoxedExpression;

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

@@ -1,5 +1,7 @@
-/* 0.23.1 */
-import { BoxedDomain, BoxedExpression, BoxedSubstitution, DomainCompatibility, DomainConstructor, DomainExpression, DomainLiteral, IComputeEngine, Metadata, PatternMatchOptions } from '../public';
+/* 0.24.0 */
+import Decimal from 'decimal.js';
+import { Expression } from '../../math-json/math-json-format';
+import { BoxedDomain, BoxedExpression, BoxedSubstitution, DomainCompatibility, DomainConstructor, DomainExpression, DomainLiteral, IComputeEngine, Metadata, PatternMatchOptions, SemiBoxedExpression } from '../public';
 import { _BoxedExpression } from './abstract-boxed-expression';
 /**
  * A `_BoxedDomain` is a wrapper around a boxed, canonical, domain
@@ -7,6 +9,7 @@ import { _BoxedExpression } from './abstract-boxed-expression';
  *
  * It could be an invalid domain, in which case `isValid` is `false`.
  *
+ * @noInheritDoc
  */
 export declare class _BoxedDomain extends _BoxedExpression implements BoxedDomain {
     private _hash;
@@ -23,7 +26,7 @@ export declare class _BoxedDomain extends _BoxedExpression implements BoxedDomai
     isCompatible(dom: BoxedDomain | DomainLiteral, compatibility?: DomainCompatibility): boolean;
     isEqual(rhs: BoxedExpression): boolean;
     isSame(rhs: BoxedExpression): boolean;
-    match(rhs: BoxedExpression, _options?: PatternMatchOptions): BoxedSubstitution | null;
+    match(pattern: Decimal | Complex | [num: number, denom: number] | SemiBoxedExpression | BoxedExpression, _options?: PatternMatchOptions): BoxedSubstitution | null;
     get head(): string;
     get domain(): BoxedDomain;
     get isFunction(): boolean;

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

@@ -1,4 +1,4 @@
-/* 0.23.1 */
+/* 0.24.0 */
 export declare class _BoxedFunctionDefinition implements BoxedFunctionDefinition {
     engine: IComputeEngine;
     scope: RuntimeScope;

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

@@ -1,6 +1,8 @@
-/* 0.23.1 */
+/* 0.24.0 */
+import { Decimal } from 'decimal.js';
+import { _BoxedExpression } from './abstract-boxed-expression';
 import { Expression } from '../../math-json/math-json-format';
-import { BoxedExpression, BoxedFunctionDefinition, IComputeEngine, NOptions, BoxedRuleSet, SemiBoxedExpression, SimplifyOptions, Substitution, ReplaceOptions, Metadata, PatternMatchOptions, BoxedDomain, RuntimeScope, BoxedSubstitution, EvaluateOptions, BoxedBaseDefinition, Hold } from '../public';
+import { BoxedExpression, BoxedFunctionDefinition, IComputeEngine, NOptions, BoxedRuleSet, SemiBoxedExpression, SimplifyOptions, Substitution, ReplaceOptions, Metadata, PatternMatchOptions, BoxedDomain, RuntimeScope, BoxedSubstitution, EvaluateOptions, BoxedBaseDefinition, Hold, Rule } from '../public';
 /**
  * A boxed function represent an expression that can be
  * represented by a function call.
@@ -12,6 +14,8 @@ import { BoxedExpression, BoxedFunctionDefinition, IComputeEngine, NOptions, Box
  * on the head. The definition contains the signature of the function,
  * and the implementation of the function.
  *
+ * @noInheritDoc
+ *
  */
 export declare class BoxedFunction extends _BoxedExpression {
     private readonly _head;
@@ -49,11 +53,11 @@ export declare class BoxedFunction extends _BoxedExpression {
     subs(sub: Substitution, options?: {
         canonical?: boolean;
     }): BoxedExpression;
-    replace(rules: BoxedRuleSet, options?: ReplaceOptions): BoxedExpression | null;
+    replace(rules: BoxedRuleSet | Rule | Rule[], options?: ReplaceOptions): BoxedExpression | null;
     has(x: string | string[]): boolean;
     /** `isSame` is structural/symbolic equality */
     isSame(rhs: BoxedExpression): boolean;
-    match(rhs: BoxedExpression, options?: PatternMatchOptions): BoxedSubstitution | null;
+    match(pattern: Decimal | Complex | [num: number, denom: number] | SemiBoxedExpression | BoxedExpression, options?: PatternMatchOptions): BoxedSubstitution | null;
     get complexity(): number | undefined;
     get baseDefinition(): BoxedBaseDefinition | undefined;
     get functionDefinition(): BoxedFunctionDefinition | undefined;

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

@@ -1,10 +1,12 @@
-/* 0.23.1 */
+/* 0.24.0 */
 import { Decimal } from 'decimal.js';
 import { Expression } from '../../math-json/math-json-format';
-import { BoxedExpression, BoxedDomain, IComputeEngine, Metadata, NOptions, PatternMatchOptions, Rational, SimplifyOptions, BoxedSubstitution, EvaluateOptions } from '../public';
+import { BoxedExpression, BoxedDomain, IComputeEngine, Metadata, NOptions, PatternMatchOptions, Rational, SimplifyOptions, BoxedSubstitution, EvaluateOptions, SemiBoxedExpression } from '../public';
 import { _BoxedExpression } from './abstract-boxed-expression';
 /**
  * BoxedNumber
+ *
+ * @noInheritDoc
  */
 export declare class BoxedNumber extends _BoxedExpression {
     protected readonly _value: number | Decimal | Complex | Rational;
@@ -40,7 +42,7 @@ export declare class BoxedNumber extends _BoxedExpression {
     get sgn(): -1 | 0 | 1 | undefined | null;
     isSame(rhs: BoxedExpression): boolean;
     isEqual(rhs: BoxedExpression): boolean;
-    match(rhs: BoxedExpression, options?: PatternMatchOptions): BoxedSubstitution | null;
+    match(pattern: Decimal | Complex | [num: number, denom: number] | SemiBoxedExpression | BoxedExpression, options?: PatternMatchOptions): BoxedSubstitution | null;
     /** Compare this with another BoxedNumber.
      * `rhs` must be a BoxedNumber. Use `isEqualWithTolerance(rhs.N())`
      * if necessary.

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

@@ -1,22 +1,17 @@
-/* 0.23.1 */
-import { _BoxedExpression } from './abstract-boxed-expression';
-import { BoxedExpression, BoxedSubstitution, BoxedDomain, IComputeEngine, LatexString, Metadata, Pattern, PatternMatchOptions, SemiBoxedExpression, Substitution } from '../public';
-export declare class BoxedPattern extends _BoxedExpression implements Pattern {
-    _pattern: BoxedExpression;
-    constructor(ce: IComputeEngine, pattern: LatexString | SemiBoxedExpression, metadata?: Metadata);
-    get hash(): number;
-    reset(): void;
-    get json(): Expression;
-    get head(): string | BoxedExpression;
-    get domain(): BoxedDomain;
-    get isCanonical(): boolean;
-    set isCanonical(_val: boolean);
-    isSame(rhs: BoxedExpression): boolean;
-    isEqual(rhs: BoxedExpression): boolean;
-    match(expr: BoxedExpression, options?: PatternMatchOptions): BoxedSubstitution | null;
-    test(expr: BoxedExpression, options?: PatternMatchOptions): boolean;
-    count(exprs: Iterable<BoxedExpression>, options?: PatternMatchOptions): number;
-    subs(sub: Substitution, options?: {
-        canonical: boolean;
-    }): BoxedExpression;
-}
+/* 0.24.0 */
+import { BoxedSymbol } from './boxed-symbol';
+import Complex from 'complex.js';
+import Decimal from 'decimal.js';
+export declare function isWildcard(expr: BoxedExpression): expr is BoxedSymbol;
+export declare function wildcardName(expr: BoxedExpression): string | null;
+/**
+ * The function attempts to match a subject expression to a
+ * [pattern](/compute-engine/guides/patterns-and-rules/).
+ *
+ * If the match is successful, it returns a `Substitution` indicating how to
+ * transform the pattern to become the subject.
+ *
+ * If the expression does not match the pattern, it returns `null`.
+ *
+ */
+export declare function match(subject: BoxedExpression, pattern: Decimal | Complex | [num: number, denom: number] | SemiBoxedExpression | BoxedExpression, options?: PatternMatchOptions): BoxedSubstitution | null;

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

@@ -1,8 +1,12 @@
-/* 0.23.1 */
+/* 0.24.0 */
 import { _BoxedExpression } from './abstract-boxed-expression';
-import { BoxedExpression, BoxedDomain, IComputeEngine, Metadata, PatternMatchOptions, BoxedSubstitution } from '../public';
+import { BoxedExpression, BoxedDomain, IComputeEngine, Metadata, PatternMatchOptions, BoxedSubstitution, SemiBoxedExpression } from '../public';
+import Complex from 'complex.js';
+import Decimal from 'decimal.js';
 /**
  * BoxedString
+ *
+ * @noInheritDoc
  */
 export declare class BoxedString extends _BoxedExpression {
     private readonly _string;
@@ -18,5 +22,5 @@ export declare class BoxedString extends _BoxedExpression {
     get string(): string;
     isEqual(rhs: BoxedExpression): boolean;
     isSame(rhs: BoxedExpression): boolean;
-    match(rhs: BoxedExpression, _options?: PatternMatchOptions): BoxedSubstitution | null;
+    match(pattern: Decimal | Complex | [num: number, denom: number] | SemiBoxedExpression | BoxedExpression, _options?: PatternMatchOptions): BoxedSubstitution | null;
 }

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

@@ -1,6 +1,6 @@
-/* 0.23.1 */
+/* 0.24.0 */
 /**
- * ## THEORY OF OPERATIONS
+ * ### THEORY OF OPERATIONS
  *
  * - The value or domain of a constant cannot be changed.
  * - If set explicitly, the value is the source of truth: it overrides any

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

@@ -1,8 +1,8 @@
-/* 0.23.1 */
+/* 0.24.0 */
 import { Decimal } from 'decimal.js';
 import { Expression } from '../../math-json/math-json-format';
 import { _BoxedExpression } from './abstract-boxed-expression';
-import { BoxedExpression, BoxedRuleSet, BoxedSymbolDefinition, IComputeEngine, EvaluateOptions, NOptions, ReplaceOptions, SimplifyOptions, Substitution, Metadata, PatternMatchOptions, BoxedDomain, RuntimeScope, BoxedFunctionDefinition, BoxedBaseDefinition, DomainExpression, BoxedSubstitution } from '../public';
+import { BoxedExpression, BoxedRuleSet, BoxedSymbolDefinition, IComputeEngine, EvaluateOptions, NOptions, ReplaceOptions, SimplifyOptions, Substitution, Metadata, PatternMatchOptions, BoxedDomain, RuntimeScope, BoxedFunctionDefinition, BoxedBaseDefinition, DomainExpression, BoxedSubstitution, Rule, SemiBoxedExpression } from '../public';
 /**
  * BoxedSymbol
  *
@@ -15,6 +15,9 @@ import { BoxedExpression, BoxedRuleSet, BoxedSymbolDefinition, IComputeEngine, E
  * If a `BoxedFunctionDefinition`, it it a reference to a function name,
  * not a function expression, i.e. `Sin`, not `["Sin", "Pi"]`. This is used
  * for example in `["InverseFunction", "Sin"]`
+ *
+ * @noInheritDoc
+ *
  */
 export declare class BoxedSymbol extends _BoxedExpression {
     private _scope;
@@ -67,7 +70,7 @@ export declare class BoxedSymbol extends _BoxedExpression {
     get sgn(): -1 | 0 | 1 | undefined | null;
     has(x: string | string[]): boolean;
     isSame(rhs: BoxedExpression): boolean;
-    match(rhs: BoxedExpression, _options?: PatternMatchOptions): BoxedSubstitution | null;
+    match(pattern: Decimal | Complex | [num: number, denom: number] | SemiBoxedExpression | BoxedExpression, options?: PatternMatchOptions): BoxedSubstitution | null;
     isEqual(rhs: BoxedExpression): boolean;
     isLess(rhs: BoxedExpression): boolean | undefined;
     isLessEqual(rhs: BoxedExpression): boolean | undefined;
@@ -99,7 +102,7 @@ export declare class BoxedSymbol extends _BoxedExpression {
     simplify(options?: SimplifyOptions): BoxedExpression;
     evaluate(options?: EvaluateOptions): BoxedExpression;
     N(options?: NOptions): BoxedExpression;
-    replace(rules: BoxedRuleSet, options?: ReplaceOptions): BoxedExpression | null;
+    replace(rules: BoxedRuleSet | Rule | Rule[], options?: ReplaceOptions): BoxedExpression | null;
     subs(sub: Substitution, options?: {
         canonical: boolean;
     }): BoxedExpression;

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

@@ -1,5 +1,7 @@
-/* 0.23.1 */
-import { BoxedExpression, IComputeEngine, EvaluateOptions, NOptions, SimplifyOptions, Metadata, BoxedDomain, BoxedSubstitution, PatternMatchOptions, BoxedBaseDefinition, BoxedFunctionDefinition } from '../public';
+/* 0.24.0 */
+import Decimal from 'decimal.js';
+import { Expression } from '../../math-json/math-json-format';
+import { BoxedExpression, IComputeEngine, EvaluateOptions, NOptions, SimplifyOptions, Metadata, BoxedDomain, BoxedSubstitution, PatternMatchOptions, BoxedBaseDefinition, BoxedFunctionDefinition, SemiBoxedExpression } from '../public';
 import { DataTypeMap, TensorDataType } from '../symbolic/tensor-fields';
 import { AbstractTensor, TensorData } from '../symbolic/tensors';
 import { _BoxedExpression } from './abstract-boxed-expression';
@@ -14,6 +16,8 @@ import { _BoxedExpression } from './abstract-boxed-expression';
  * The counterpart (expression if input is tensor, or tensor
  * if input is expression) is created lazily.
  *
+ * @noInheritDoc
+ *
  */
 export declare class BoxedTensor extends _BoxedExpression {
     private _tensor;
@@ -56,7 +60,7 @@ export declare class BoxedTensor extends _BoxedExpression {
     isSame(rhs: BoxedExpression): boolean;
     /** Mathematical equality */
     isEqual(rhs: BoxedExpression): boolean;
-    match(rhs: BoxedExpression, options?: PatternMatchOptions): BoxedSubstitution | null;
+    match(pattern: Decimal | Complex | [num: number, denom: number] | SemiBoxedExpression | BoxedExpression, options?: PatternMatchOptions): BoxedSubstitution | null;
     evaluate(options?: EvaluateOptions): BoxedExpression;
     simplify(options?: SimplifyOptions): BoxedExpression;
     N(options?: NOptions): BoxedExpression;

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

@@ -1,2 +1,2 @@
-/* 0.23.1 */
+/* 0.24.0 */
 export declare function canonicalForm(expr: BoxedExpression, forms: boolean | CanonicalForm | CanonicalForm[]): BoxedExpression;

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

@@ -1,4 +1,4 @@
-/* 0.23.1 */
+/* 0.24.0 */
 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.23.1 */
+/* 0.24.0 */
 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.23.1 */
+/* 0.24.0 */
 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,6 +1,7 @@
-/* 0.23.1 */
+/* 0.24.0 */
 import { Expression } from '../../math-json/math-json-format';
 import { BoxedExpression, IComputeEngine } from '../public';
+export declare function isBoxedExpression(x: unknown): x is BoxedExpression;
 /**
  * For any numeric result, if `bignumPreferred()` is true, calculate using
  * bignums. If `bignumPreferred()` is false, calculate using machine numbers
@@ -33,11 +34,3 @@ export declare function asBigint(expr: BoxedExpression): bigint | null;
  * hoisted.
  *
  */
-/**
- * Assert that `expr` is  in fact canonical.
- *
- * Called for example from within a `canonical` handler.
- *
- * To make an expression whose canonical status is unknown, canonical, call
- * `expr.canonical`.
- */

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

@@ -1,4 +1,4 @@
-/* 0.23.1 */
+/* 0.24.0 */
 /**
  * Check that the number of arguments is as expected.
  *

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

@@ -1,4 +1,4 @@
-/* 0.23.1 */
+/* 0.24.0 */
 export declare function isCollection(col: BoxedExpression): boolean;
 export declare function isFiniteCollection(col: BoxedExpression): boolean;
 export declare function isIndexableCollection(col: BoxedExpression): boolean;

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

@@ -1,4 +1,4 @@
-/* 0.23.1 */
+/* 0.24.0 */
 import { BoxedExpression } from './public';
 export type CompiledType = boolean | number | string | object;
 type JSSource = string;