@cortex-js/compute-engine 0.18.0 → 0.19.0

package/dist/math-json.esm.js

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

package/dist/math-json.js

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

package/dist/math-json.min.js

@@ -1,4 +1,4 @@
-/** CortexJS MathJSON 0.18.0 */
+/** CortexJS MathJSON 0.19.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 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.18.0";return _(z);})();
+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.19.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.18.0 */
+/* 0.19.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.18.0 */
+/* 0.19.0 */
 /**
  * Return a string or an array of graphemes.
  *

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

@@ -1,4 +1,4 @@
-/* 0.18.0 */
+/* 0.19.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.18.0 */
+/* 0.19.0 */

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

@@ -1,4 +1,4 @@
-/* 0.18.0 */
+/* 0.19.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,4 +1,4 @@
-/* 0.18.0 */
+/* 0.19.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, SimplifyOptions, Substitution, RuntimeScope, DomainCompatibility, DomainLiteral, BoxedBaseDefinition, Rational, BoxedSubstitution } from '../public';
@@ -20,10 +20,12 @@ export declare abstract class _BoxedExpression implements BoxedExpression {
      */
     protected _latex?: string;
     constructor(ce: IComputeEngine, metadata?: Metadata);
-    /** `Object.valueOf()`: return a primitive value for the object
+    /**
+     *
+     * `Object.valueOf()`: return a JavaScript primitive value for the expression
      *
      */
-    valueOf(): number | string | boolean;
+    valueOf(): number | any[] | string | boolean;
     /** Object.toString() */
     toString(): string;
     [Symbol.toPrimitive](hint: 'number' | 'string' | 'default'): number | string | null;
@@ -98,8 +100,8 @@ export declare abstract class _BoxedExpression implements BoxedExpression {
     get keysCount(): number;
     getKey(_key: string): BoxedExpression | undefined;
     hasKey(_key: string): boolean;
-    get value(): BoxedExpression | undefined;
-    set value(_value: BoxedExpression | number | undefined);
+    get value(): number | boolean | string | number[] | undefined;
+    set value(_value: BoxedExpression | number | boolean | string | number[] | undefined);
     get domain(): BoxedDomain | undefined;
     set domain(_domain: BoxedDomain);
     get isNumber(): boolean | undefined;

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

@@ -1,4 +1,4 @@
-/* 0.18.0 */
+/* 0.19.0 */
 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.18.0 */
+/* 0.19.0 */
 import { BoxedExpression, IComputeEngine, EvaluateOptions, NOptions, BoxedRuleSet, SemiBoxedExpression, SimplifyOptions, ReplaceOptions, Substitution, Metadata, PatternMatchOptions, BoxedDomain, BoxedSubstitution } from '../public';
 import { _BoxedExpression } from './abstract-boxed-expression';
 /**

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

@@ -1,4 +1,4 @@
-/* 0.18.0 */
+/* 0.19.0 */
 import { BoxedDomain, BoxedExpression, BoxedSubstitution, DomainCompatibility, DomainConstructor, DomainExpression, DomainLiteral, IComputeEngine, Metadata, PatternMatchOptions } from '../public';
 import { _BoxedExpression } from './abstract-boxed-expression';
 /**
@@ -12,10 +12,7 @@ export declare class _BoxedDomain extends _BoxedExpression implements BoxedDomai
     private _hash;
     readonly base: DomainLiteral;
     readonly ctor: DomainConstructor | null;
-    readonly params: BoxedDomain[];
-    readonly optParams: BoxedDomain[];
-    readonly restParam: BoxedDomain | null;
-    readonly result: BoxedDomain | null;
+    readonly params: DomainExpression<Expression>[];
     constructor(ce: IComputeEngine, dom: DomainExpression, metadata?: Metadata);
     /** Boxed domains are always canonical. */
     get isCanonical(): boolean;
@@ -34,6 +31,6 @@ export declare class _BoxedDomain extends _BoxedExpression implements BoxedDomai
 }
 /** Validate that `expr` is a Domain */
 export declare function isDomain(expr: Expression | BoxedExpression | BoxedDomain | DomainExpression): expr is BoxedDomain | DomainExpression;
-/** Return the ancestor domain that is shared by both `a` and `b` */
+/** Return the ancestor domain (Least Upper Bound) that is shared by both `a` and `b` */
 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,4 +1,4 @@
-/* 0.18.0 */
+/* 0.19.0 */
 export declare class _BoxedFunctionDefinition implements BoxedFunctionDefinition {
     engine: IComputeEngine;
     scope: RuntimeScope;

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

@@ -1,4 +1,4 @@
-/* 0.18.0 */
+/* 0.19.0 */
 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';
 /**
@@ -11,8 +11,7 @@ export declare class BoxedFunction extends _BoxedExpression {
     private _scope;
     private _def;
     private _isPure;
-    private _codomain;
-    private _value;
+    private _result;
     private _numericValue;
     private _hash;
     constructor(ce: IComputeEngine, head: string | BoxedExpression, ops: BoxedExpression[], options?: {
@@ -20,6 +19,7 @@ export declare class BoxedFunction extends _BoxedExpression {
         canonical?: boolean;
     });
     get hash(): number;
+    infer(domain: BoxedDomain): boolean;
     bind(): void;
     reset(): void;
     get isCanonical(): boolean;
@@ -48,21 +48,8 @@ export declare class BoxedFunction extends _BoxedExpression {
     get complexity(): number | undefined;
     get baseDefinition(): BoxedBaseDefinition | undefined;
     get functionDefinition(): BoxedFunctionDefinition | undefined;
-    get value(): BoxedExpression | undefined;
     /** `isEqual` is mathematical equality */
     isEqual(rhs: BoxedExpression): boolean;
-    isLess(rhs: BoxedExpression): boolean | undefined;
-    isLessEqual(rhs: BoxedExpression): boolean | undefined;
-    isGreater(rhs: BoxedExpression): boolean | undefined;
-    isGreaterEqual(rhs: BoxedExpression): boolean | undefined;
-    get isZero(): boolean | undefined;
-    get isNotZero(): boolean | undefined;
-    get isOne(): boolean | undefined;
-    get isNegativeOne(): boolean | undefined;
-    get isPositive(): boolean | undefined;
-    get isNonPositive(): boolean | undefined;
-    get isNegative(): boolean | undefined;
-    get isNonNegative(): boolean | undefined;
     get isNumber(): boolean | undefined;
     get isInteger(): boolean | undefined;
     get isRational(): boolean | undefined;
@@ -71,7 +58,6 @@ export declare class BoxedFunction extends _BoxedExpression {
     get isExtendedReal(): boolean | undefined;
     get isComplex(): boolean | undefined;
     get isImaginary(): boolean | undefined;
-    get sgn(): -1 | 0 | 1 | undefined | null;
     get domain(): BoxedDomain | undefined;
     simplify(options?: SimplifyOptions): BoxedExpression;
     evaluate(options?: EvaluateOptions): BoxedExpression;

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

@@ -1,4 +1,4 @@
-/* 0.18.0 */
+/* 0.19.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';
@@ -34,7 +34,6 @@ export declare class BoxedNumber extends _BoxedExpression {
     get isCanonical(): boolean;
     set isCanonical(val: boolean);
     get complexity(): number;
-    get value(): BoxedExpression;
     get numericValue(): number | Decimal | Complex | Rational;
     get domain(): BoxedDomain;
     get json(): Expression;

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

@@ -1,4 +1,4 @@
-/* 0.18.0 */
+/* 0.19.0 */
 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 {

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

@@ -1,4 +1,4 @@
-/* 0.18.0 */
+/* 0.19.0 */
 import { _BoxedExpression } 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.18.0 */
+/* 0.19.0 */
 /**
  * ## THEORY OF OPERATIONS
  *

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

@@ -1,4 +1,4 @@
-/* 0.18.0 */
+/* 0.19.0 */
 import { Decimal } from 'decimal.js';
 import { Expression } from '../../math-json/math-json-format';
 import { _BoxedExpression } from './abstract-boxed-expression';
@@ -53,8 +53,14 @@ export declare class BoxedSymbol extends _BoxedExpression {
      * f(x) => x:integer narrowed from integer to real
      */
     infer(domain: BoxedDomain): boolean;
-    get value(): BoxedExpression | undefined;
-    set value(value: boolean | string | Decimal | Complex | [num: number, denom: number] | BoxedExpression | number | undefined);
+    get value(): number | boolean | string | number[] | undefined;
+    set value(value: boolean | string | Decimal | Complex | {
+        re: number;
+        im: number;
+    } | {
+        num: number;
+        denom: number;
+    } | number[] | BoxedExpression | number | undefined);
     get domain(): BoxedDomain | undefined;
     set domain(inDomain: DomainExpression | BoxedDomain);
     get sgn(): -1 | 0 | 1 | undefined | null;

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

@@ -1,4 +1,4 @@
-/* 0.18.0 */
+/* 0.19.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.18.0 */
+/* 0.19.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.18.0 */
+/* 0.19.0 */
 import { Decimal } from 'decimal.js';
 import { Expression } from '../../math-json/math-json-format';
 import { BoxedExpression, IComputeEngine, Metadata, Rational } from '../public';
@@ -9,7 +9,7 @@ import { BoxedExpression, IComputeEngine, Metadata, Rational } from '../public';
  * instead of `Multiply`/`Power` when applicable.
  */
 export declare function serializeJsonCanonicalFunction(ce: IComputeEngine, head: string | BoxedExpression, args: BoxedExpression[], metadata?: Metadata): Expression;
-export declare function serializeJsonFunction(ce: IComputeEngine, head: string | BoxedExpression, args: BoxedExpression[], metadata?: Metadata): Expression;
+export declare function serializeJsonFunction(ce: IComputeEngine, head: string | BoxedExpression, args: (undefined | BoxedExpression)[], metadata?: Metadata): Expression;
 export declare function serializeJsonString(ce: IComputeEngine, s: string): Expression;
 export declare function serializeJsonSymbol(ce: IComputeEngine, sym: string, metadata?: Metadata): Expression;
 export declare function serializeJsonNumber(ce: IComputeEngine, value: number | Decimal | Complex | Rational, metadata?: Metadata): Expression;

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

@@ -1,4 +1,4 @@
-/* 0.18.0 */
+/* 0.19.0 */
 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.18.0 */
+/* 0.19.0 */
 /**
  * Check that the number of arguments is as expected.
  *
@@ -15,6 +15,8 @@ export declare function checkArity(ce: IComputeEngine, ops: BoxedExpression[], c
  * and a numeric result), we do a simple numeric check of all arguments, and
  * verify we have the number of expected arguments.
  *
+ * We also assume that the function is threadable.
+ *
  * Converts the arguments to canonical, and flattens the sequence.
  */
 export declare function checkNumericArgs(ce: IComputeEngine, ops: BoxedExpression[], options?: number | {
@@ -36,4 +38,4 @@ export declare function checkArgs(ce: IComputeEngine, args: BoxedExpression[], d
  * arguments.
  *
  */
-export declare function adjustArguments(ce: IComputeEngine, ops: BoxedExpression[], hold: Hold, params: BoxedDomain[], optParams: BoxedDomain[], restParam: BoxedDomain | null): BoxedExpression[] | null;
+export declare function adjustArguments(ce: IComputeEngine, ops: BoxedExpression[], hold: Hold, threadable: boolean, params: BoxedDomain[], optParams: BoxedDomain[], restParam: BoxedDomain | undefined): BoxedExpression[] | null;

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

@@ -0,0 +1,46 @@
+/* 0.19.0 */
+export declare function isCollection(col: BoxedExpression): boolean;
+export declare function isFiniteCollection(col: BoxedExpression): boolean;
+export declare function isIndexableCollection(col: BoxedExpression): boolean;
+export declare function isFiniteIndexableCollection(col: BoxedExpression): boolean;
+/**
+ *
+ * Iterate over all the elements of a collection. If not a collection,
+ * return the expression.
+ *
+ * The `col` argument is either a collection literal, or a symbol
+ * whose value is a collection literal.
+ *
+ * Even infinite collections are iterable. Use `isFiniteCollection()`
+ * to check if the collection is finite.
+ *
+ * The collection can have one of the following forms:
+ * - `["Range"]`, `["Interval"]`, `["Linspace"]` expressions
+ * - `["List"]` and `["Set"]` expressions
+ * - `["Tuple"]`, `["Pair"]`, `["Pair"]`, `["Triple"]` expressions
+ * - `["Sequence"]` expressions
+ * ... and more
+ *
+ * In general, `each` is easier to use than `iterator`, but they do the same
+ * thing.
+ *
+ * @param col - A potential collection
+ *
+ * @returns
+ */
+export declare function each(col: BoxedExpression): Generator<BoxedExpression>;
+/**
+ *
+ * The `col` argument is either a collection literal, or a symbol
+ * whose value is a collection literal.
+ *
+ * @returns
+ */
+export declare function length(col: BoxedExpression): number | undefined;
+/**
+ *
+ * @param expr
+ * @param index 1-based index
+ * @returns
+ */
+export declare function at(expr: BoxedExpression, index: number): BoxedExpression | undefined;

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

@@ -1,4 +1,4 @@
-/* 0.18.0 */
+/* 0.19.0 */
 import { BoxedExpression } from './public';
 export type CompiledType = boolean | number | string | object;
 type JSSource = string;
@@ -26,5 +26,5 @@ export declare class ComputeEngineFunction extends Function {
 }
 export declare function compileToTarget(expr: BoxedExpression, target: CompileTarget): ((_: Record<string, CompiledType>) => CompiledType) | undefined;
 export declare function compileToJavascript(expr: BoxedExpression): ((_: Record<string, CompiledType>) => CompiledType) | undefined;
-export declare function compile(expr: BoxedExpression, target: CompileTarget, prec?: number): JSSource;
+export declare function compile(expr: BoxedExpression | undefined, target: CompileTarget, prec?: number): JSSource;
 export {};

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

@@ -1,4 +1,4 @@
-/* 0.18.0 */
+/* 0.19.0 */
 import { Decimal } from 'decimal.js';
 import { Expression, MathJsonNumber } from '../math-json/math-json-format';
 import type { LibraryCategory, LatexDictionaryEntry, LatexString, NumberFormattingOptions, ParseLatexOptions, SerializeLatexOptions } from './latex-syntax/public';
@@ -361,6 +361,11 @@ export declare class ComputeEngine implements IComputeEngine {
      * ```
      */
     ask(pattern: SemiBoxedExpression): BoxedSubstitution[];
+    /**
+     * Answer a query based on the current assumptions.
+     *
+     */
+    verify(_query: SemiBoxedExpression): boolean;
     assume(predicate: SemiBoxedExpression): AssumeResult;
     forget(symbol: undefined | string | string[]): void;
 }

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

@@ -1,3 +1,3 @@
-/* 0.18.0 */
+/* 0.19.0 */
 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,7 +1,18 @@
-/* 0.18.0 */
+/* 0.19.0 */
 import { Decimal } from 'decimal.js';
-import { DomainLiteral, Rational } from './public';
+import { BoxedDomain, BoxedFunctionSignature, DomainLiteral, FunctionSignature, IComputeEngine, Rational } from './public';
 /**
  * Determine the numeric domain of a number.
  */
 export declare function inferNumericDomain(value: number | Decimal | Complex | Rational): DomainLiteral;
+/**
+ * Extract the parts of a function domain.
+ */
+export declare function functionDomain(dom: BoxedDomain): [
+    params: BoxedDomain[],
+    optParams: BoxedDomain[],
+    restParam: BoxedDomain | undefined,
+    result: BoxedDomain
+];
+export declare function domainToSignature(dom: BoxedDomain): Partial<FunctionSignature>;
+export declare function signatureToDomain(ce: IComputeEngine, sig: BoxedFunctionSignature): BoxedDomain;

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

@@ -1,4 +1,4 @@
-/* 0.18.0 */
+/* 0.19.0 */
 /***
  * ## THEORY OF OPERATIONS
  *
@@ -39,27 +39,6 @@
  * 7/ The result of the function body is returned
  *
  */
-/**
- * From an expression, create an iterator that can be used
- * to enumerate values.
- *
- * `expr` can be a collection, a function, an expression, a string.
- *
- * - ["Range", 5]
- * - ["List", 1, 2, 3]
- * - "'hello world'"
- *
- */
-export declare function iterable(expr: BoxedExpression): Iterator<BoxedExpression> | undefined;
-/**
- * indexable(expr) return a JS function with one argument.
- *
- * Evaluate expr.
- * If expr is indexable function (def with at handler), return handler.
- * Otherwise, call makeLambda, then return function that set scope
- * with one arg, then evaluate result of makeLambda.
- */
-export declare function indexable(expr: BoxedExpression): ((index: number) => BoxedExpression | undefined) | undefined;
 /**
  * From an expression, return a predicate function, which can be used to filter.
  */

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

@@ -1,2 +1,2 @@
-/* 0.18.0 */
+/* 0.19.0 */
 export declare const DEFINITIONS_ALGEBRA: LatexDictionary;

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

@@ -1,2 +1,2 @@
-/* 0.18.0 */
+/* 0.19.0 */
 export declare const DEFINITIONS_ARITHMETIC: LatexDictionary;

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

@@ -1,2 +1,2 @@
-/* 0.18.0 */
+/* 0.19.0 */
 export declare const DEFINITIONS_CALCULUS: LatexDictionary;

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

@@ -1,2 +1,2 @@
-/* 0.18.0 */
+/* 0.19.0 */
 export declare const DEFINITIONS_COMPLEX: LatexDictionary;

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

@@ -1,2 +1,2 @@
-/* 0.18.0 */
+/* 0.19.0 */
 export declare const DEFINITIONS_CORE: LatexDictionary;

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

@@ -1,2 +1,2 @@
-/* 0.18.0 */
+/* 0.19.0 */
 export declare const DEFINITIONS_INEQUALITIES: LatexDictionary;

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

@@ -1,2 +1,2 @@
-/* 0.18.0 */
+/* 0.19.0 */
 export declare const DEFINITIONS_LOGIC: LatexDictionary;

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

@@ -1,2 +1,2 @@
-/* 0.18.0 */
+/* 0.19.0 */
 export declare const DEFINITIONS_OTHERS: LatexDictionary;

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

@@ -1,2 +1,2 @@
-/* 0.18.0 */
+/* 0.19.0 */
 export declare const DEFINITIONS_SETS: LatexDictionary;

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

@@ -1,2 +1,2 @@
-/* 0.18.0 */
+/* 0.19.0 */
 export declare const DEFINITIONS_STATISTICS: LatexDictionary;

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

@@ -1,3 +1,3 @@
-/* 0.18.0 */
+/* 0.19.0 */
 export declare const SYMBOLS: [string, string, number][];
 export declare const DEFINITIONS_SYMBOLS: LatexDictionary;

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

@@ -1,2 +1,2 @@
-/* 0.18.0 */
+/* 0.19.0 */
 export declare const DEFINITIONS_TRIGONOMETRY: LatexDictionary;

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

@@ -1,11 +1,11 @@
-/* 0.18.0 */
+/* 0.19.0 */
 import { WarningSignal } from '../../../common/signals';
 export type CommonEntry = {
     /** Note: a name is required if a serialize handler is provided */
     name?: string;
     serialize?: SerializeHandler;
-    /** Note: not all kinds have a latexTrigger or identifierTrigger.
-     * For example, matchfix operators use openDelimiter/closeDelimiter
+    /** Note: not all kinds have a `latexTrigger` or `identifierTrigger`.
+     * For example, matchfix operators use `openTrigger`/`closeTrigger`
      */
     latexTrigger?: LatexString;
     identifierTrigger?: string;
@@ -40,8 +40,8 @@ export type IndexedFunctionEntry = CommonEntry & {
 export declare function isIndexedFunctionEntry(entry: IndexedLatexDictionaryEntry): entry is IndexedFunctionEntry;
 export type IndexedMatchfixEntry = CommonEntry & {
     kind: 'matchfix';
-    openDelimiter: Delimiter | LatexToken[];
-    closeDelimiter: Delimiter | LatexToken[];
+    openTrigger: Delimiter | LatexToken[];
+    closeTrigger: Delimiter | LatexToken[];
     parse: MatchfixParseHandler;
 };
 /** @internal */

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

@@ -1,4 +1,4 @@
-/* 0.18.0 */
+/* 0.19.0 */
 import { Serializer } from './serializer';
 import { Expression } from '../../math-json/math-json-format';
 import { WarningSignalHandler } from '../../common/signals';

package/dist/types/compute-engine/latex-syntax/parse-identifier.d.ts

@@ -1,8 +1,8 @@
-/* 0.18.0 */
+/* 0.19.0 */
 import { Parser } from './public';
 /** For error handling, if we have a identifier prefix, assume
  * the identifier is invalid (it would have been captured by
- * `mathIdentifier()` otherwise) and return an error expression */
+ * `matchIdentifier()` otherwise) and return an error expression */
 export declare function parseInvalidIdentifier(parser: Parser): Expression | null;
 /**
  * Match an identifier.