@cortex-js/compute-engine 0.5.0 → 0.6.0

package/dist/math-json.esm.js

@@ -1,4 +1,4 @@
-/** MathJSON 0.5.0 */
+/** MathJSON 0.6.0 */
 /**
  * These constants are the 'primitive' functions and constants that are used
  * for some basic manipulations such as parsing, and transforming to canonical
@@ -88,15 +88,55 @@ function nops(expr) {
 function symbol(expr) {
     if (expr === null)
         return null;
-    if (typeof expr === 'string') {
-        if (expr.length >= 2 && expr[0] === "'" && expr[expr.length - 1] === "'") {
-            // It's a string literal, not a symbol
+    const s = isSymbolObject(expr) ? expr.sym : expr;
+    if (typeof s !== 'string')
+        return null;
+    if (s.length >= 2 && s[0] === "'" && s[s.length - 1] === "'") {
+        // It's a string literal, not a symbol
+        return null;
+    }
+    return s;
+}
+function string(expr) {
+    if (expr === null)
+        return null;
+    const s = isSymbolObject(expr) ? expr.sym : expr;
+    if (typeof s !== 'string')
+        return null;
+    if (s.length < 2 || s[0] !== "'" || s[s.length - 1] !== "'") {
+        // It's a symbol
+        return null;
+    }
+    return s.slice(1, -1);
+}
+function keyValuePair(expr) {
+    const h = head(expr);
+    if (h === 'KeyValuePair' || h === 'Tuple' || h === 'Pair') {
+        const key = string(op(expr, 1));
+        if (!key)
             return null;
+        return [key, op(expr, 2) ?? '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 === 'List' || h === 'Dictionary') {
+        const result = {};
+        for (let i = 1; i < nops(expr); i++) {
+            const kv = keyValuePair(op(expr, i));
+            if (kv)
+                result[kv[0]] = kv[1];
         }
-        return expr;
+        return result;
     }
-    if (isSymbolObject(expr))
-        return expr.sym;
     return null;
 }
 /**
@@ -146,11 +186,6 @@ function mapArgs(expr, fn) {
     }
     return result;
 }
-function dictionary(expr) {
-    if (typeof expr === 'object' && 'dict' in expr)
-        return expr.dict;
-    return null;
-}
 /**
  * Return num as a number if it's a valid JSON number (that is
  * a valid JavaScript number but not NaN or +/-Infinity) or
@@ -175,6 +210,6 @@ function asValidJSONNumber(num) {
 }
 
 // This is the root of the `math-json` package (i.e.  `math-json.js` and
-const version = '0.5.0';
+const version = '0.6.0';
 
 export { applyRecursively, asValidJSONNumber, dictionary as getDictionary, stringValue as getStringValue, head, headName, isAtomic, isDictionaryObject, isFunctionObject, isStringObject, isSymbolObject, mapArgs, nops, op, symbol, tail, version };

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

@@ -1,2 +1,2 @@
-/** MathJSON 0.5.0 */
-function n(n){return null!==n&&"object"==typeof n&&"sym"in n}function t(n){return null!==n&&"object"==typeof n&&"str"in n}function r(n){return null!==n&&"object"==typeof n&&"fn"in n}function u(n){return null!==n&&"object"==typeof n&&"dict"in n}function l(n){return null===n||!Array.isArray(n)&&("object"!=typeof n||!("fn"in n||"dic"in n))}function e(n){return null===n?null:"object"==typeof n&&"str"in n?n.str:"string"!=typeof n||n.length<2||"'"!==n[0]||"'"!==n[n.length-1]?null:n.substring(1,n.length-1)}function i(n){return null===n?null:Array.isArray(n)?n[0]:r(n)?n.fn[0]:null}function o(n){const t=i(n);return"string"==typeof t?t:""}function f(n,t){return null===n?null:Array.isArray(n)?n[t]??null:r(n)?n.fn[t]??null:null}function c(n){return Array.isArray(n)?Math.max(0,n.length-1):r(n)?Math.max(0,n.fn.length-1):0}function s(t){return null===t?null:"string"==typeof t?t.length>=2&&"'"===t[0]&&"'"===t[t.length-1]?null:t:n(t)?t.sym:null}function y(n){return Array.isArray(n)?n.slice(1):r(n)?n.fn.slice(1):[]}function a(n,t){const r=i(n);if(null!==r)return[t(r),...y(n).map(t)];const u=p(n);if(null!==u){const n=Object.keys(u),r={};for(const l of n)r[l]=t(u[l]);return{dict:r}}return t(n)}function g(n,t){let u=null;if(Array.isArray(n)&&(u=n),r(n)&&(u=n.fn),null===u)return[];let l=1;const e=[];for(;l<u.length;)e.push(t(u[l])),l+=1;return e}function p(n){return"object"==typeof n&&"dict"in n?n.dict:null}function A(n){if("string"==typeof n){const t=Number(n);if("+"===n[0]&&(n=n.slice(1)),t.toString()===n)return isNaN(t)||!isFinite(t)?t.toString():t}return n}const h="0.5.0";export{a as applyRecursively,A as asValidJSONNumber,p as getDictionary,e as getStringValue,i as head,o as headName,l as isAtomic,u as isDictionaryObject,r as isFunctionObject,t as isStringObject,n as isSymbolObject,g as mapArgs,c as nops,f as op,s as symbol,y as tail,h as version};
+/** MathJSON 0.6.0 */
+function n(n){return null!==n&&"object"==typeof n&&"sym"in n}function t(n){return null!==n&&"object"==typeof n&&"str"in n}function r(n){return null!==n&&"object"==typeof n&&"fn"in n}function u(n){return null!==n&&"object"==typeof n&&"dict"in n}function l(n){return null===n||!Array.isArray(n)&&("object"!=typeof n||!("fn"in n||"dic"in n))}function e(n){return null===n?null:"object"==typeof n&&"str"in n?n.str:"string"!=typeof n||n.length<2||"'"!==n[0]||"'"!==n[n.length-1]?null:n.substring(1,n.length-1)}function i(n){return null===n?null:Array.isArray(n)?n[0]:r(n)?n.fn[0]:null}function o(n){const t=i(n);return"string"==typeof t?t:""}function c(n,t){return null===n?null:Array.isArray(n)?n[t]??null:r(n)?n.fn[t]??null:null}function f(n){return Array.isArray(n)?Math.max(0,n.length-1):r(n)?Math.max(0,n.fn.length-1):0}function s(t){if(null===t)return null;const r=n(t)?t.sym:t;return"string"!=typeof r||r.length>=2&&"'"===r[0]&&"'"===r[r.length-1]?null:r}function y(t){const r=i(t);if("KeyValuePair"===r||"Tuple"===r||"Pair"===r){const r=function(t){if(null===t)return null;const r=n(t)?t.sym:t;return"string"!=typeof r||r.length<2||"'"!==r[0]||"'"!==r[r.length-1]?null:r.slice(1,-1)}(c(t,1));return r?[r,c(t,2)??"Nothing"]:null}return null}function a(n){if(null===n)return null;if("object"==typeof n&&"dict"in n)return n.dict;const t=y(n);if(t)return{[t[0]]:t[1]};const r=i(n);if("List"===r||"Dictionary"===r){const t={};for(let r=1;r<f(n);r++){const u=y(c(n,r));u&&(t[u[0]]=u[1])}return t}return null}function g(n){return Array.isArray(n)?n.slice(1):r(n)?n.fn.slice(1):[]}function p(n,t){const r=i(n);if(null!==r)return[t(r),...g(n).map(t)];const u=a(n);if(null!==u){const n=Object.keys(u),r={};for(const l of n)r[l]=t(u[l]);return{dict:r}}return t(n)}function h(n,t){let u=null;if(Array.isArray(n)&&(u=n),r(n)&&(u=n.fn),null===u)return[];let l=1;const e=[];for(;l<u.length;)e.push(t(u[l])),l+=1;return e}function A(n){if("string"==typeof n){const t=Number(n);if("+"===n[0]&&(n=n.slice(1)),t.toString()===n)return isNaN(t)||!isFinite(t)?t.toString():t}return n}const b="0.6.0";export{p as applyRecursively,A as asValidJSONNumber,a as getDictionary,e as getStringValue,i as head,o as headName,l as isAtomic,u as isDictionaryObject,r as isFunctionObject,t as isStringObject,n as isSymbolObject,h as mapArgs,f as nops,c as op,s as symbol,g as tail,b as version};

package/dist/math-json.min.js

@@ -1,2 +1,2 @@
-/** MathJSON 0.5.0 */
-var global,factory;global=this,factory=function(n){function t(n){return null!==n&&"object"==typeof n&&"sym"in n}function r(n){return null!==n&&"object"==typeof n&&"fn"in n}function e(n){return null===n?null:Array.isArray(n)?n[0]:r(n)?n.fn[0]:null}function l(n){return Array.isArray(n)?n.slice(1):r(n)?n.fn.slice(1):[]}function i(n){return"object"==typeof n&&"dict"in n?n.dict:null}n.applyRecursively=function(n,t){const r=e(n);if(null!==r)return[t(r),...l(n).map(t)];const o=i(n);if(null!==o){const n=Object.keys(o),r={};for(const e of n)r[e]=t(o[e]);return{dict:r}}return t(n)},n.asValidJSONNumber=function(n){if("string"==typeof n){const t=Number(n);if("+"===n[0]&&(n=n.slice(1)),t.toString()===n)return isNaN(t)||!isFinite(t)?t.toString():t}return n},n.getDictionary=i,n.getStringValue=function(n){return null===n?null:"object"==typeof n&&"str"in n?n.str:"string"!=typeof n||n.length<2||"'"!==n[0]||"'"!==n[n.length-1]?null:n.substring(1,n.length-1)},n.head=e,n.headName=function(n){const t=e(n);return"string"==typeof t?t:""},n.isAtomic=function(n){return null===n||!Array.isArray(n)&&("object"!=typeof n||!("fn"in n||"dic"in n))},n.isDictionaryObject=function(n){return null!==n&&"object"==typeof n&&"dict"in n},n.isFunctionObject=r,n.isStringObject=function(n){return null!==n&&"object"==typeof n&&"str"in n},n.isSymbolObject=t,n.mapArgs=function(n,t){let e=null;if(Array.isArray(n)&&(e=n),r(n)&&(e=n.fn),null===e)return[];let l=1;const i=[];for(;l<e.length;)i.push(t(e[l])),l+=1;return i},n.nops=function(n){return Array.isArray(n)?Math.max(0,n.length-1):r(n)?Math.max(0,n.fn.length-1):0},n.op=function(n,t){var e,l;return null===n?null:Array.isArray(n)?null!==(e=n[t])&&void 0!==e?e:null:r(n)&&null!==(l=n.fn[t])&&void 0!==l?l:null},n.symbol=function(n){return null===n?null:"string"==typeof n?n.length>=2&&"'"===n[0]&&"'"===n[n.length-1]?null:n:t(n)?n.sym:null},n.tail=l,n.version="0.5.0",Object.defineProperty(n,"__esModule",{value:!0})},"object"==typeof exports&&"undefined"!=typeof module?factory(exports):"function"==typeof define&&define.amd?define(["exports"],factory):factory((global="undefined"!=typeof globalThis?globalThis:global||self).MathJson={});
+/** MathJSON 0.6.0 */
+var global,factory;global=this,factory=function(n){function t(n){return null!==n&&"object"==typeof n&&"sym"in n}function r(n){return null!==n&&"object"==typeof n&&"fn"in n}function e(n){return null===n?null:Array.isArray(n)?n[0]:r(n)?n.fn[0]:null}function l(n,t){var e,l;return null===n?null:Array.isArray(n)?null!==(e=n[t])&&void 0!==e?e:null:r(n)&&null!==(l=n.fn[t])&&void 0!==l?l:null}function i(n){return Array.isArray(n)?Math.max(0,n.length-1):r(n)?Math.max(0,n.fn.length-1):0}function o(n){var r;const i=e(n);if("KeyValuePair"===i||"Tuple"===i||"Pair"===i){const e=function(n){if(null===n)return null;const r=t(n)?n.sym:n;return"string"!=typeof r||r.length<2||"'"!==r[0]||"'"!==r[r.length-1]?null:r.slice(1,-1)}(l(n,1));return e?[e,null!==(r=l(n,2))&&void 0!==r?r:"Nothing"]:null}return null}function u(n){if(null===n)return null;if("object"==typeof n&&"dict"in n)return n.dict;const t=o(n);if(t)return{[t[0]]:t[1]};const r=e(n);if("List"===r||"Dictionary"===r){const t={};for(let r=1;r<i(n);r++){const e=o(l(n,r));e&&(t[e[0]]=e[1])}return t}return null}function f(n){return Array.isArray(n)?n.slice(1):r(n)?n.fn.slice(1):[]}n.applyRecursively=function(n,t){const r=e(n);if(null!==r)return[t(r),...f(n).map(t)];const l=u(n);if(null!==l){const n=Object.keys(l),r={};for(const e of n)r[e]=t(l[e]);return{dict:r}}return t(n)},n.asValidJSONNumber=function(n){if("string"==typeof n){const t=Number(n);if("+"===n[0]&&(n=n.slice(1)),t.toString()===n)return isNaN(t)||!isFinite(t)?t.toString():t}return n},n.getDictionary=u,n.getStringValue=function(n){return null===n?null:"object"==typeof n&&"str"in n?n.str:"string"!=typeof n||n.length<2||"'"!==n[0]||"'"!==n[n.length-1]?null:n.substring(1,n.length-1)},n.head=e,n.headName=function(n){const t=e(n);return"string"==typeof t?t:""},n.isAtomic=function(n){return null===n||!Array.isArray(n)&&("object"!=typeof n||!("fn"in n||"dic"in n))},n.isDictionaryObject=function(n){return null!==n&&"object"==typeof n&&"dict"in n},n.isFunctionObject=r,n.isStringObject=function(n){return null!==n&&"object"==typeof n&&"str"in n},n.isSymbolObject=t,n.mapArgs=function(n,t){let e=null;if(Array.isArray(n)&&(e=n),r(n)&&(e=n.fn),null===e)return[];let l=1;const i=[];for(;l<e.length;)i.push(t(e[l])),l+=1;return i},n.nops=i,n.op=l,n.symbol=function(n){if(null===n)return null;const r=t(n)?n.sym:n;return"string"!=typeof r||r.length>=2&&"'"===r[0]&&"'"===r[r.length-1]?null:r},n.tail=f,n.version="0.6.0",Object.defineProperty(n,"__esModule",{value:!0})},"object"==typeof exports&&"undefined"!=typeof module?factory(exports):"function"==typeof define&&define.amd?define(["exports"],factory):factory((global="undefined"!=typeof globalThis?globalThis:global||self).MathJson={});

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

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

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

@@ -1,4 +1,4 @@
-/* 0.5.0 */
+/* 0.6.0 */
 export declare 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 declare type SignalMessage = SignalCode | [SignalCode, ...any[]];
 export declare type SignalOrigin = {

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

@@ -1,4 +1,4 @@
-/* 0.5.0 */
+/* 0.6.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.5.0 */
+/* 0.6.0 */
 import type { Complex } from 'complex.js';
 import { Expression } from '../../math-json/math-json-format';
-import { BoxedExpression, BoxedFunctionDefinition, BoxedRuleSet, BoxedSymbolDefinition, EvaluateOptions, IComputeEngine, LatexString, Metadata, NOptions, PatternMatchOption, SemiBoxedExpression, SimplifyOptions, Substitution } from '../public';
+import { BoxedExpression, BoxedFunctionDefinition, BoxedRuleSet, BoxedSymbolDefinition, Domain, EvaluateOptions, IComputeEngine, LatexString, Metadata, NOptions, PatternMatchOption, SemiBoxedExpression, SimplifyOptions, Substitution } from '../public';
 /**
  * AbstractBoxedExpression
  */
@@ -64,9 +64,10 @@ export declare abstract class AbstractBoxedExpression implements BoxedExpression
     get value(): BoxedExpression | undefined;
     set value(_value: BoxedExpression | number | undefined);
     get numericValue(): BoxedExpression | undefined;
-    isSubsetOf(_d: BoxedExpression | string): undefined | boolean;
-    get domain(): BoxedExpression;
-    set domain(_domain: BoxedExpression);
+    isSubdomainOf(_d: BoxedExpression | string): undefined | boolean;
+    get domain(): Domain;
+    set domain(_domain: Domain);
+    get valueDomain(): Domain;
     get string(): string | null;
     isLess(_rhs: BoxedExpression): boolean | undefined;
     isLessEqual(_rhs: BoxedExpression): boolean | undefined;

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

@@ -1,4 +1,4 @@
-/* 0.5.0 */
+/* 0.6.0 */
 import { Decimal } from 'decimal.js';
 import { IComputeEngine, SemiBoxedExpression, BoxedExpression, Metadata } from '../public';
 import { Expression, MathJsonNumber } from '../../math-json/math-json-format';
@@ -36,12 +36,10 @@ export declare function box(ce: IComputeEngine, expr: Decimal | Complex | [num:
  *
  *
  * Note that `boxNumber()` should only be called from `ComputeEngine`
+ *
+ * The result may not be canonical
  */
 export declare function boxNumber(ce: IComputeEngine, num: MathJsonNumber | BoxedExpression | number | Complex | Decimal | [numer: number, denom: number], metadata?: Metadata): BoxedExpression | null;
-/**
- * Note that `boxDomain()` should only be called from `ComputeEngine`
- */
-export declare function boxDomain(ce: IComputeEngine, dom: string | BoxedExpression, metadata?: Metadata): BoxedExpression;
 /**
  * Given a head (either as a string or a lambda expression)
  * and a set of arguments, return a boxed function expression.

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

@@ -1,5 +1,5 @@
-/* 0.5.0 */
-import { BoxedExpression, IComputeEngine, EvaluateOptions, NOptions, BoxedRuleSet, SemiBoxedExpression, SimplifyOptions, ReplaceOptions, Substitution, Metadata, PatternMatchOption } from '../public';
+/* 0.6.0 */
+import { BoxedExpression, IComputeEngine, EvaluateOptions, NOptions, BoxedRuleSet, SemiBoxedExpression, SimplifyOptions, ReplaceOptions, Substitution, Metadata, PatternMatchOption, Domain } from '../public';
 import { AbstractBoxedExpression } from './abstract-boxed-expression';
 /**
  * BoxedDictionary
@@ -20,7 +20,7 @@ export declare class BoxedDictionary extends AbstractBoxedExpression {
     get keys(): IterableIterator<string>;
     get keysCount(): number;
     has(x: string | string[]): boolean;
-    get domain(): BoxedExpression;
+    get domain(): Domain;
     get json(): Expression;
     /** Structural equality */
     isSame(rhs: BoxedExpression): boolean;

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

@@ -1,8 +1,34 @@
-/* 0.5.0 */
-import { BoxedExpression, IComputeEngine, Metadata } from '../public';
-export declare class Domain extends BoxedSymbol {
-    constructor(ce: IComputeEngine, dom: string, metadata?: Metadata);
+/* 0.6.0 */
+import { BoxedExpression, Domain, DomainExpression, IComputeEngine, Metadata, PatternMatchOption, Substitution } from '../public';
+import { AbstractBoxedExpression } from './abstract-boxed-expression';
+export declare class _Domain extends AbstractBoxedExpression implements Domain {
+    _value: DomainExpression;
+    private _hash;
+    constructor(ce: IComputeEngine, dom: DomainExpression, metadata?: Metadata);
+    get domainExpression(): DomainExpression;
+    get hash(): number;
+    get isCanonical(): boolean;
+    isEqual(rhs: BoxedExpression): boolean;
+    isSame(rhs: BoxedExpression): boolean;
+    isSubdomainOf(rhs: _Domain | string): boolean;
+    isMemberOf(expr: BoxedExpression): boolean;
+    get json(): Expression;
+    match(rhs: BoxedExpression, _options?: PatternMatchOption): Substitution | null;
     get head(): string;
-    get domain(): BoxedExpression;
-    isSubsetOf(dom: BoxedExpression | string): boolean;
+    get domain(): Domain;
+    get codomain(): Domain | null;
+    is(rhs: BoxedExpression): boolean;
+    get isNothing(): boolean;
+    get isFunction(): boolean;
+    get isPredicate(): boolean;
+    get isNumericFunction(): boolean;
+    get isBoolean(): boolean;
+    get isRealFunction(): boolean;
+    get isNumeric(): boolean;
+    get isLogicOperator(): boolean;
+    get isRelationalOperator(): boolean;
 }
+/**
+ * Note that `boxDomain()` should only be called from `ComputeEngine`
+ */
+export declare function boxDomain(ce: IComputeEngine, dom: Domain | DomainExpression, metadata?: Metadata): Domain;

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

@@ -1,2 +1,2 @@
-/* 0.5.0 */
+/* 0.6.0 */
 export declare function makeFunctionDefinition(engine: IComputeEngine, def: FunctionDefinition): BoxedFunctionDefinition;

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

@@ -1,6 +1,6 @@
-/* 0.5.0 */
+/* 0.6.0 */
 import { Expression } from '../../math-json/math-json-format';
-import { BoxedExpression, BoxedFunctionDefinition, IComputeEngine, EvaluateOptions, NOptions, BoxedRuleSet, SemiBoxedExpression, SimplifyOptions, Substitution, ReplaceOptions, Metadata, PatternMatchOption } from '../public';
+import { BoxedExpression, BoxedFunctionDefinition, IComputeEngine, EvaluateOptions, NOptions, BoxedRuleSet, SemiBoxedExpression, SimplifyOptions, Substitution, ReplaceOptions, Metadata, PatternMatchOption, Domain } from '../public';
 /**
  * BoxedFunction
  */
@@ -35,8 +35,10 @@ export declare class BoxedFunction extends AbstractBoxedExpression {
     get op3(): BoxedExpression;
     get functionDefinition(): BoxedFunctionDefinition | undefined;
     _repairDefinition(): void;
+    /** Signature of the function */
+    get domain(): Domain;
     /** Domain of the value of the function */
-    get domain(): BoxedExpression;
+    get valueDomain(): Domain;
     isLess(rhs: BoxedExpression): boolean | undefined;
     isLessEqual(rhs: BoxedExpression): boolean | undefined;
     isGreater(rhs: BoxedExpression): boolean | undefined;

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

@@ -1,7 +1,7 @@
-/* 0.5.0 */
+/* 0.6.0 */
 import { Complex } from 'complex.js';
 import { Expression } from '../../math-json/math-json-format';
-import { BoxedExpression, IComputeEngine, Metadata, NOptions, PatternMatchOption, SimplifyOptions, Substitution } from '../public';
+import { BoxedExpression, Domain, IComputeEngine, Metadata, NOptions, PatternMatchOption, SimplifyOptions, Substitution } from '../public';
 import { AbstractBoxedExpression } from './abstract-boxed-expression';
 /**
  * BoxedNumber
@@ -34,7 +34,7 @@ export declare class BoxedNumber extends AbstractBoxedExpression {
     get asFloat(): number | null;
     get asSmallInteger(): number | null;
     get asRational(): [number, number] | [null, null];
-    get domain(): BoxedExpression;
+    get domain(): Domain;
     get json(): Expression;
     get sgn(): -1 | 0 | 1 | undefined | null;
     isSame(rhs: BoxedExpression): boolean;

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

@@ -1,6 +1,6 @@
-/* 0.5.0 */
+/* 0.6.0 */
 import { AbstractBoxedExpression } from './abstract-boxed-expression';
-import { BoxedExpression, IComputeEngine, LatexString, Metadata, Pattern, PatternMatchOption, SemiBoxedExpression, Substitution } from '../public';
+import { BoxedExpression, Domain, IComputeEngine, LatexString, Metadata, Pattern, PatternMatchOption, SemiBoxedExpression, Substitution } from '../public';
 export declare class BoxedPattern extends AbstractBoxedExpression implements Pattern {
     _pattern: BoxedExpression;
     _canonicalPattern: BoxedExpression | undefined;
@@ -9,7 +9,7 @@ export declare class BoxedPattern extends AbstractBoxedExpression implements Pat
     _purge(): undefined;
     get json(): Expression;
     get head(): string | BoxedExpression;
-    get domain(): BoxedExpression;
+    get valueDomain(): Domain;
     get isCanonical(): boolean;
     set isCanonical(_val: boolean);
     isSame(rhs: BoxedExpression): boolean;

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

@@ -1,6 +1,6 @@
-/* 0.5.0 */
+/* 0.6.0 */
 import { AbstractBoxedExpression } from './abstract-boxed-expression';
-import { BoxedExpression, IComputeEngine, Metadata, PatternMatchOption, Substitution } from '../public';
+import { BoxedExpression, Domain, IComputeEngine, Metadata, PatternMatchOption, Substitution } from '../public';
 /**
  * BoxedString
  */
@@ -14,7 +14,7 @@ export declare class BoxedString extends AbstractBoxedExpression {
     get isLiteral(): boolean;
     get isCanonical(): boolean;
     set isCanonical(_va: boolean);
-    get domain(): BoxedExpression;
+    get domain(): Domain;
     get complexity(): number;
     get string(): string;
     isEqual(rhs: BoxedExpression): boolean;

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

@@ -1,5 +1,5 @@
-/* 0.5.0 */
-export declare function domainToFlags(dom: BoxedExpression | undefined | null): Partial<SymbolFlags>;
+/* 0.6.0 */
+export declare function domainToFlags(dom: Domain | undefined | null): Partial<SymbolFlags>;
 export declare class BoxedSymbolDefinitionImpl implements BoxedSymbolDefinition {
     private _engine;
     private _value;
@@ -38,13 +38,13 @@ export declare class BoxedSymbolDefinitionImpl implements BoxedSymbolDefinition
     readonly hold: boolean;
     private _def;
     prototype?: BoxedFunctionDefinition;
-    self?: any;
+    self?: unknown;
     constructor(ce: IComputeEngine, def: SymbolDefinition);
     _purge(): undefined;
     get value(): BoxedExpression | undefined;
     set value(val: BoxedExpression | number | undefined);
-    get domain(): BoxedExpression | undefined;
-    set domain(domain: BoxedExpression | undefined | string);
+    get domain(): Domain | undefined;
+    set domain(domain: Domain | undefined | string);
     updateFlags(flags: Partial<SymbolFlags>): void;
     setProps(props: Omit<Partial<BoxedSymbolDefinition>, 'domain' | 'value'>): void;
     get number(): boolean | undefined;

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

@@ -1,6 +1,6 @@
-/* 0.5.0 */
+/* 0.6.0 */
 import { AbstractBoxedExpression } from './abstract-boxed-expression';
-import { BoxedExpression, BoxedRuleSet, BoxedSymbolDefinition, IComputeEngine, EvaluateOptions, NOptions, ReplaceOptions, SimplifyOptions, Substitution, Metadata, PatternMatchOption } from '../public';
+import { BoxedExpression, BoxedRuleSet, BoxedSymbolDefinition, IComputeEngine, EvaluateOptions, NOptions, ReplaceOptions, SimplifyOptions, Substitution, Metadata, PatternMatchOption, Domain } from '../public';
 /**
  * BoxedSymbol
  *
@@ -31,8 +31,8 @@ export declare class BoxedSymbol extends AbstractBoxedExpression {
     get value(): BoxedExpression | undefined;
     set value(value: BoxedExpression | number | undefined);
     get numericValue(): BoxedExpression | undefined;
-    get domain(): BoxedExpression;
-    set domain(d: BoxedExpression);
+    get domain(): Domain;
+    set domain(d: Domain);
     get json(): Expression;
     get sgn(): -1 | 0 | 1 | undefined | null;
     has(x: string | string[]): boolean;

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

@@ -1,4 +1,4 @@
-/* 0.5.0 */
+/* 0.6.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.5.0 */
+/* 0.6.0 */
 export declare 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.5.0 */
+/* 0.6.0 */
 import Decimal from 'decimal.js';
 import { Expression } from '../../math-json/math-json-format';
 import { BoxedExpression, IComputeEngine, Metadata } from '../public';

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

@@ -1,6 +1,6 @@
-/* 0.5.0 */
-export declare function isLatexString(s: any): s is string;
-export declare function latexString(s: any): string | null;
+/* 0.6.0 */
+export declare function isLatexString(s: unknown): s is string;
+export declare function latexString(s: unknown): string | null;
 /**
  * Return a multiple of the imaginary unit, e.g.
  * - 'ImaginaryUnit'

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

@@ -1,9 +1,9 @@
-/* 0.5.0 */
+/* 0.6.0 */
 import { Complex } from 'complex.js';
 import { Expression, MathJsonNumber } from '../math-json/math-json-format';
 import { SignalMessage, WarningSignal } from '../common/signals';
-import type { DictionaryCategory, LatexDictionaryEntry, LatexString, NumberFormattingOptions, ParseLatexOptions, SerializeLatexOptions } from './latex-syntax/public';
-import { AssumeResult, BoxedExpression, BoxedFunctionDefinition, BoxedSymbolDefinition, IComputeEngine, Dictionary, ExpressionMapInterface, NumericMode as NumericMode, Pattern, RuntimeScope, Scope, SemiBoxedExpression, Substitution, SymbolDefinition, BoxedRuleSet, Rule, JsonSerializationOptions, ComputeEngineStats, Metadata } from './public';
+import type { DictionaryCategory, LatexDictionary, LatexDictionaryEntry, LatexString, NumberFormattingOptions, ParseLatexOptions, SerializeLatexOptions } from './latex-syntax/public';
+import { AssumeResult, BoxedExpression, BoxedFunctionDefinition, BoxedSymbolDefinition, IComputeEngine, Dictionary, ExpressionMapInterface, NumericMode as NumericMode, Pattern, RuntimeScope, Scope, SemiBoxedExpression, Substitution, SymbolDefinition, BoxedRuleSet, Rule, JsonSerializationOptions, ComputeEngineStats, Metadata, Domain, DomainExpression } from './public';
 /**
  *
  * To use the CortexJS Compute Engine, create a `ComputeEngine` instance.
@@ -180,8 +180,8 @@ export declare class ComputeEngine implements IComputeEngine {
      *
      * **Default:** `"ExtendedRealNumber"`
      */
-    get defaultDomain(): BoxedExpression | null;
-    set defaultDomain(domain: BoxedExpression | string | null);
+    get defaultDomain(): Domain | null;
+    set defaultDomain(domain: Domain | string | null);
     /**
      * Values smaller than the tolerance are considered to be zero for the
      * purpose of comparison, i.e. if `|b - a| <= tolerance`, `b` is considered
@@ -197,6 +197,7 @@ export declare class ComputeEngine implements IComputeEngine {
     chop(n: Decimal): Decimal | 0;
     chop(n: Complex): Complex | 0;
     private get latexSyntax();
+    static getLatexDictionary(domain?: DictionaryCategory | 'all'): Readonly<LatexDictionary>;
     set costFunction(fn: ((expr: BoxedExpression) => number) | undefined);
     get costFunction(): (expr: BoxedExpression) => number;
     /**
@@ -205,11 +206,12 @@ export declare class ComputeEngine implements IComputeEngine {
      */
     getSymbolDefinition(symbol: string, wikidata?: string): undefined | BoxedSymbolDefinition;
     /**
-     * Return the definition for a function matching this head.
+     * Return the definition for a function matching this head and
+     * these arguments.
      *
      * Start looking in the current scope, than up the scope chain.
      */
-    getFunctionDefinition(head: string): undefined | BoxedFunctionDefinition;
+    getFunctionDefinition(head: string, args?: BoxedExpression[]): undefined | BoxedFunctionDefinition;
     /**
      * Add (or replace) a definition for a symbol in the current scope.
      */
@@ -273,7 +275,7 @@ export declare class ComputeEngine implements IComputeEngine {
     tuple(elements: BoxedExpression[], metadata?: Metadata): BoxedExpression;
     string(s: string, metadata?: Metadata): BoxedExpression;
     symbol(sym: string, metadata?: Metadata): BoxedExpression;
-    domain(domain: BoxedExpression | string, metadata?: Metadata): BoxedExpression;
+    domain(domain: BoxedExpression | DomainExpression | Domain, metadata?: Metadata): Domain;
     number(value: number | MathJsonNumber | Decimal | Complex | [num: number, denom: number], metadata?: Metadata): BoxedExpression;
     rules(rules: Rule[]): BoxedRuleSet;
     pattern(expr: LatexString | SemiBoxedExpression): Pattern;

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

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

package/dist/types/compute-engine/dictionary/arithmetic-add.d.ts

@@ -1,4 +1,4 @@
-/* 0.5.0 */
+/* 0.6.0 */
 /** The canonical form of `Add`:
  * - removes `0`
  * - adds up small integers and rational numbers
@@ -6,6 +6,6 @@
  * - groups repeated terms (a + a -> 2a)
  * */
 export declare function canonicalAdd(ce: IComputeEngine, ops: BoxedExpression[]): BoxedExpression;
-export declare function domainAdd(ce: IComputeEngine, args: BoxedExpression[]): BoxedExpression | string;
+export declare function domainAdd(_ce: IComputeEngine, args: BoxedExpression[]): Domain | string | null;
 export declare function numEvalAdd(ce: IComputeEngine, args: BoxedExpression[]): BoxedExpression;
 export declare function processAdd(ce: IComputeEngine, args: BoxedExpression[], _mode: 'simplify' | 'evaluate'): BoxedExpression | undefined;

package/dist/types/compute-engine/dictionary/arithmetic-divide.d.ts

@@ -1,4 +1,4 @@
-/* 0.5.0 */
+/* 0.6.0 */
 /**
  * Canonical form of 'Divide' (and 'Rational')
  * - remove denominator of 1

package/dist/types/compute-engine/dictionary/arithmetic-multiply.d.ts

@@ -1,4 +1,4 @@
-/* 0.5.0 */
+/* 0.6.0 */
 /** The canonical form of `Multiply`:
  * - remove `1`
  * - combine literal small integers and rationals

package/dist/types/compute-engine/dictionary/arithmetic-power.d.ts

@@ -1,4 +1,4 @@
-/* 0.5.0 */
+/* 0.6.0 */
 /**
  *
  * Return `null` if there is no canonicalization necessary and the result is

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

@@ -1,2 +1,2 @@
-/* 0.5.0 */
+/* 0.6.0 */
 export declare const ARITHMETIC_DICTIONARY: Dictionary[];

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

@@ -1,2 +1,2 @@
-/* 0.5.0 */
+/* 0.6.0 */
 export declare const COLLECTIONS_DICTIONARY: Dictionary;

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

@@ -1,2 +1,2 @@
-/* 0.5.0 */
+/* 0.6.0 */
 export declare const CORE_DICTIONARY: Dictionary[];

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

@@ -1,4 +1,4 @@
-/* 0.5.0 */
+/* 0.6.0 */
 import { IComputeEngine, Dictionary } from '../public';
 export declare function getDefaultDictionaries(categories?: DictionaryCategory[] | 'all'): Readonly<Dictionary>[];
 export declare const DICTIONARIES: {

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

@@ -1,2 +1,2 @@
-/* 0.5.0 */
+/* 0.6.0 */
 export declare const LOGIC_DICTIONARY: Dictionary;

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

@@ -1,2 +1,2 @@
-/* 0.5.0 */
+/* 0.6.0 */
 export declare const POLYNOMIALS_DICTIONARY: Dictionary[];

package/dist/types/compute-engine/dictionary/relational-operator.d.ts

@@ -1,2 +1,2 @@
-/* 0.5.0 */
+/* 0.6.0 */
 export declare const RELOP_DICTIONARY: Dictionary;

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

@@ -1,2 +1,2 @@
-/* 0.5.0 */
+/* 0.6.0 */
 export declare const SETS_DICTIONARY: Dictionary;

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

@@ -1,2 +1,2 @@
-/* 0.5.0 */
+/* 0.6.0 */
 export declare const TRIGONOMETRY_DICTIONARY: Dictionary[];

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

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

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

@@ -1,2 +1,2 @@
-/* 0.5.0 */
+/* 0.6.0 */
 export declare const DEFINITIONS_ALGEBRA: LatexDictionary;

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

@@ -1,2 +1,2 @@
-/* 0.5.0 */
+/* 0.6.0 */
 export declare const DEFINITIONS_ARITHMETIC: LatexDictionary;

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

@@ -1,2 +1,2 @@
-/* 0.5.0 */
+/* 0.6.0 */
 export declare const DEFINITIONS_CALCULUS: LatexDictionary;

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

@@ -1,4 +1,4 @@
-/* 0.5.0 */
+/* 0.6.0 */
 import { LatexDictionary, Serializer } from '../public';
 export declare function serializeLatex(serializer: Serializer, expr: Expression | null): string;
 export declare const DEFINITIONS_CORE: LatexDictionary;

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

@@ -1,2 +1,2 @@
-/* 0.5.0 */
+/* 0.6.0 */
 export declare const DEFINITIONS_INEQUALITIES: LatexDictionary;

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

@@ -1,2 +1,2 @@
-/* 0.5.0 */
+/* 0.6.0 */
 export declare const DEFINITIONS_LOGIC: LatexDictionary;

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

@@ -1,2 +1,2 @@
-/* 0.5.0 */
+/* 0.6.0 */
 export declare const DEFINITIONS_OTHERS: LatexDictionary;

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

@@ -1,2 +1,2 @@
-/* 0.5.0 */
+/* 0.6.0 */
 export declare const DEFINITIONS_SETS: LatexDictionary;

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

@@ -1,2 +1,2 @@
-/* 0.5.0 */
+/* 0.6.0 */
 export declare const DEFINITIONS_SYMBOLS: LatexDictionary;