@cortex-js/compute-engine 0.9.0 → 0.11.0

package/dist/math-json.esm.js

@@ -1,4 +1,4 @@
-/** MathJSON 0.9.0 */
+/** MathJSON 0.11.0 */
 function isSymbolObject(expr) {
     return expr !== null && typeof expr === 'object' && 'sym' in expr;
 }
@@ -182,6 +182,6 @@ function mapArgs(expr, fn) {
 }
 
 // This is the root of the `math-json` package (i.e.  `math-json.js` and
-const version = '0.9.0';
+const version = '0.11.0';
 
 export { applyRecursively, dictionary as getDictionary, stringValue as getStringValue, head, headName, isDictionaryObject, isFunctionObject, isStringObject, isSymbolObject, mapArgs, nops, op, symbol, version };

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

@@ -1,2 +1,2 @@
-/** MathJSON 0.9.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?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 e(n){return null==n?null:Array.isArray(n)?n[0]:r(n)?n.fn[0]:null}function i(n){const t=e(n);return"string"==typeof t?t:""}function o(n){return null==n?null:Array.isArray(n)?n.slice(1):r(n)?n.fn.slice(1):null}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 f(n,2)}function s(n){return null==n?0:Array.isArray(n)?Math.max(0,n.length-1):r(n)?Math.max(0,n.fn.length-1):0}function y(t){if(null==t)return null;if("string"==typeof t){if(/^[+\-\.0-9]/.test(t))return null;if(t.length>=2&&"'"===t[0]&&"'"===t[t.length-1])return null}const r=n(t)?t.sym:t;return"string"!=typeof r?null:r}function a(n){const t=e(n);if("KeyValuePair"===t||"Tuple"===t||"Pair"===t){const t=l(function(n){return f(n,1)}(n));return t?[t,c(n)??"Nothing"]:null}return null}function g(n){if(null===n)return null;if("object"==typeof n&&"dict"in n)return n.dict;const t=a(n);if(t)return{[t[0]]:t[1]};if("Dictionary"===e(n)){const t={};for(let r=1;r<s(n);r++){const u=a(f(n,r));u&&(t[u[0]]=u[1])}return t}return null}function p(n,t){const r=e(n);if(null!==r)return[t(r),...(o(n)??[]).map(t)];const u=g(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}const A="0.9.0";export{p as applyRecursively,g as getDictionary,l as getStringValue,e as head,i as headName,u as isDictionaryObject,r as isFunctionObject,t as isStringObject,n as isSymbolObject,h as mapArgs,s as nops,f as op,y as symbol,A as version};
+/** MathJSON 0.11.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?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 e(n){return null==n?null:Array.isArray(n)?n[0]:r(n)?n.fn[0]:null}function i(n){const t=e(n);return"string"==typeof t?t:""}function o(n){return null==n?null:Array.isArray(n)?n.slice(1):r(n)?n.fn.slice(1):null}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 f(n,2)}function s(n){return null==n?0:Array.isArray(n)?Math.max(0,n.length-1):r(n)?Math.max(0,n.fn.length-1):0}function y(t){if(null==t)return null;if("string"==typeof t){if(/^[+\-\.0-9]/.test(t))return null;if(t.length>=2&&"'"===t[0]&&"'"===t[t.length-1])return null}const r=n(t)?t.sym:t;return"string"!=typeof r?null:r}function a(n){const t=e(n);if("KeyValuePair"===t||"Tuple"===t||"Pair"===t){const t=l(function(n){return f(n,1)}(n));return t?[t,c(n)??"Nothing"]:null}return null}function g(n){if(null===n)return null;if("object"==typeof n&&"dict"in n)return n.dict;const t=a(n);if(t)return{[t[0]]:t[1]};if("Dictionary"===e(n)){const t={};for(let r=1;r<s(n);r++){const u=a(f(n,r));u&&(t[u[0]]=u[1])}return t}return null}function p(n,t){const r=e(n);if(null!==r)return[t(r),...(o(n)??[]).map(t)];const u=g(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}const A="0.11.0";export{p as applyRecursively,g as getDictionary,l as getStringValue,e as head,i as headName,u as isDictionaryObject,r as isFunctionObject,t as isStringObject,n as isSymbolObject,h as mapArgs,s as nops,f as op,y as symbol,A as version};

package/dist/math-json.min.js

@@ -1,2 +1,2 @@
-/** MathJSON 0.9.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 l(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 e(n){return null==n?null:Array.isArray(n)?n[0]:r(n)?n.fn[0]:null}function u(n){return null==n?null:Array.isArray(n)?n.slice(1):r(n)?n.fn.slice(1):null}function o(n,t){var l,e;return null==n?null:Array.isArray(n)?null!==(l=n[t])&&void 0!==l?l:null:r(n)&&null!==(e=n.fn[t])&&void 0!==e?e:null}function i(n){return o(n,2)}function f(n){return null==n?0:Array.isArray(n)?Math.max(0,n.length-1):r(n)?Math.max(0,n.fn.length-1):0}function c(n){var t;const r=e(n);if("KeyValuePair"===r||"Tuple"===r||"Pair"===r){const r=l(function(n){return o(n,1)}(n));return r?[r,null!==(t=i(n))&&void 0!==t?t:"Nothing"]:null}return null}function s(n){if(null===n)return null;if("object"==typeof n&&"dict"in n)return n.dict;const t=c(n);if(t)return{[t[0]]:t[1]};if("Dictionary"===e(n)){const t={};for(let r=1;r<f(n);r++){const l=c(o(n,r));l&&(t[l[0]]=l[1])}return t}return null}n.applyRecursively=function(n,t){var r;const l=e(n);if(null!==l)return[t(l),...(null!==(r=u(n))&&void 0!==r?r:[]).map(t)];const o=s(n);if(null!==o){const n=Object.keys(o),r={};for(const l of n)r[l]=t(o[l]);return{dict:r}}return t(n)},n.getDictionary=s,n.getStringValue=l,n.head=e,n.headName=function(n){const t=e(n);return"string"==typeof t?t:""},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 l=null;if(Array.isArray(n)&&(l=n),r(n)&&(l=n.fn),null===l)return[];let e=1;const u=[];for(;e<l.length;)u.push(t(l[e])),e+=1;return u},n.nops=f,n.op=o,n.symbol=function(n){if(null==n)return null;if("string"==typeof n){if(/^[+\-\.0-9]/.test(n))return null;if(n.length>=2&&"'"===n[0]&&"'"===n[n.length-1])return null}const r=t(n)?n.sym:n;return"string"!=typeof r?null:r},n.version="0.9.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.11.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 l(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 e(n){return null==n?null:Array.isArray(n)?n[0]:r(n)?n.fn[0]:null}function u(n){return null==n?null:Array.isArray(n)?n.slice(1):r(n)?n.fn.slice(1):null}function o(n,t){var l,e;return null==n?null:Array.isArray(n)?null!==(l=n[t])&&void 0!==l?l:null:r(n)&&null!==(e=n.fn[t])&&void 0!==e?e:null}function i(n){return o(n,2)}function f(n){return null==n?0:Array.isArray(n)?Math.max(0,n.length-1):r(n)?Math.max(0,n.fn.length-1):0}function c(n){var t;const r=e(n);if("KeyValuePair"===r||"Tuple"===r||"Pair"===r){const r=l(function(n){return o(n,1)}(n));return r?[r,null!==(t=i(n))&&void 0!==t?t:"Nothing"]:null}return null}function s(n){if(null===n)return null;if("object"==typeof n&&"dict"in n)return n.dict;const t=c(n);if(t)return{[t[0]]:t[1]};if("Dictionary"===e(n)){const t={};for(let r=1;r<f(n);r++){const l=c(o(n,r));l&&(t[l[0]]=l[1])}return t}return null}n.applyRecursively=function(n,t){var r;const l=e(n);if(null!==l)return[t(l),...(null!==(r=u(n))&&void 0!==r?r:[]).map(t)];const o=s(n);if(null!==o){const n=Object.keys(o),r={};for(const l of n)r[l]=t(o[l]);return{dict:r}}return t(n)},n.getDictionary=s,n.getStringValue=l,n.head=e,n.headName=function(n){const t=e(n);return"string"==typeof t?t:""},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 l=null;if(Array.isArray(n)&&(l=n),r(n)&&(l=n.fn),null===l)return[];let e=1;const u=[];for(;e<l.length;)u.push(t(l[e])),e+=1;return u},n.nops=f,n.op=o,n.symbol=function(n){if(null==n)return null;if("string"==typeof n){if(/^[+\-\.0-9]/.test(n))return null;if(n.length>=2&&"'"===n[0]&&"'"===n[n.length-1])return null}const r=t(n)?n.sym:n;return"string"!=typeof r?null:r},n.version="0.11.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.9.0 */
+/* 0.11.0 */
 /**
  * Return a string or an array of graphemes.
  *

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

@@ -1,7 +1,7 @@
-/* 0.9.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 = {
+/* 0.11.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 = {
     url?: string;
     source?: string;
     offset?: number;
@@ -9,7 +9,7 @@ export declare type SignalOrigin = {
     column?: number;
     around?: string;
 };
-export declare type Signal = {
+export type Signal = {
     severity?: 'warning' | 'error';
     /** An error/warning code or, a code with one or more arguments specific to
      * the signal code.
@@ -22,13 +22,13 @@ export declare type Signal = {
     /** Location where the signal was raised. */
     origin?: SignalOrigin;
 };
-export declare type ErrorSignal = Signal & {
+export type ErrorSignal = Signal & {
     severity: 'error';
 };
-export declare type WarningSignal = Signal & {
+export type WarningSignal = Signal & {
     severity: 'warning';
 };
-export declare type WarningSignalHandler = (warnings: WarningSignal[]) => void;
+export type WarningSignalHandler = (warnings: WarningSignal[]) => void;
 /**
  * The error codes can be used in an `ErrorCode` expression:
  *
@@ -83,4 +83,4 @@ export declare type WarningSignalHandler = (warnings: WarningSignal[]) => void;
  * * `base-out-of-range`:  The base is expected to be between 2 and 36.
  *
  */
-export declare 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';
+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.9.0 */
+/* 0.11.0 */

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

@@ -1,4 +1,4 @@
-/* 0.9.0 */
+/* 0.11.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.9.0 */
+/* 0.11.0 */
 import { Complex } from 'complex.js';
 import { Expression } from '../../math-json/math-json-format';
 import { BoxedExpression, BoxedFunctionDefinition, BoxedRuleSet, BoxedSymbolDefinition, BoxedDomain, EvaluateOptions, IComputeEngine, LatexString, Metadata, NOptions, PatternMatchOptions, SemiBoxedExpression, SimplifyOptions, Substitution, RuntimeScope, DomainCompatibility, DomainLiteral, BoxedBaseDefinition, Rational, BoxedSubstitution } from '../public';
@@ -86,7 +86,6 @@ export declare abstract class AbstractBoxedExpression implements BoxedExpression
     isCompatible(_dom: BoxedDomain | DomainLiteral, _kind?: DomainCompatibility): boolean;
     get description(): string[] | undefined;
     get url(): string | undefined;
-    get isLiteral(): boolean;
     get wikidata(): string | undefined;
     set wikidata(val: string | undefined);
     get complexity(): number | undefined;

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

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

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

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

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

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

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

@@ -1,4 +1,4 @@
-/* 0.9.0 */
+/* 0.11.0 */
 import { Expression } from '../../math-json/math-json-format';
 import { BoxedExpression, BoxedFunctionDefinition, IComputeEngine, EvaluateOptions, NOptions, BoxedRuleSet, SemiBoxedExpression, SimplifyOptions, Substitution, ReplaceOptions, Metadata, PatternMatchOptions, BoxedDomain, RuntimeScope, BoxedSubstitution } from '../public';
 /**
@@ -27,7 +27,6 @@ export declare class BoxedFunction extends AbstractBoxedExpression {
     get hash(): number;
     get isCanonical(): boolean;
     set isCanonical(val: boolean);
-    get isLiteral(): boolean;
     get isPure(): boolean;
     get json(): Expression;
     get scope(): RuntimeScope | null;

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

@@ -1,4 +1,4 @@
-/* 0.9.0 */
+/* 0.11.0 */
 import { Complex } from 'complex.js';
 import { Expression } from '../../math-json/math-json-format';
 import { BoxedExpression, BoxedDomain, IComputeEngine, Metadata, NOptions, PatternMatchOptions, Rational, SimplifyOptions, BoxedSubstitution } from '../public';
@@ -30,7 +30,6 @@ export declare class BoxedNumber extends AbstractBoxedExpression {
     get hash(): number;
     get head(): string;
     get isPure(): boolean;
-    get isLiteral(): boolean;
     get isExact(): boolean;
     get isCanonical(): boolean;
     set isCanonical(val: boolean);

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

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

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

@@ -1,4 +1,4 @@
-/* 0.9.0 */
+/* 0.11.0 */
 import { AbstractBoxedExpression } from './abstract-boxed-expression';
 import { BoxedExpression, BoxedDomain, IComputeEngine, Metadata, PatternMatchOptions, BoxedSubstitution } from '../public';
 /**
@@ -11,7 +11,6 @@ export declare class BoxedString extends AbstractBoxedExpression {
     get json(): Expression;
     get head(): string;
     get isPure(): boolean;
-    get isLiteral(): boolean;
     get isCanonical(): boolean;
     set isCanonical(_va: boolean);
     get domain(): BoxedDomain;

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

@@ -1,55 +1,46 @@
-/* 0.9.0 */
-export declare function domainToFlags(dom: BoxedDomain | undefined | null): Partial<SymbolFlags>;
+/* 0.11.0 */
+/**
+ * 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
+ *  flags.
+ * - Once the domain has been set, it can only be changed from a numeric domain
+ * to another numeric domain (some expressions may have been validated with
+ * assumptions that the domain was numeric).
+ * - When the domain is changed, the value is preserved if it is compatible
+ *  with the new domain, otherwise it is reset to no value. Flags are adjusted
+ * to match the domain (discarded if not a numeric domain).
+ * - When the value is changed, the domain is unaffected. If the value is not
+ *  compatible with the domain (setting a def with a numeric domain to a value
+ *  of `True` for example), the value is discarded.
+ * - When getting a flag, if a value is available, it is the source of truth.
+ * Otherwise, the stored flags are (the stored flags are also set when the domain is changed)
+ *
+ */
 export declare class BoxedSymbolDefinitionImpl implements BoxedSymbolDefinition {
     readonly name: string;
-    private _def;
-    private _value;
-    private _domain;
-    private _inferedDomain;
+    readonly wikidata?: string;
+    readonly description?: string | string[];
+    readonly url?: string;
     private _engine;
     readonly scope: RuntimeScope | undefined;
-    wikidata?: string;
-    description?: string | string[];
-    private _number;
-    private _integer;
-    private _rational;
-    private _algebraic;
-    private _real;
-    private _extendedReal;
-    private _complex;
-    private _extendedComplex;
-    private _imaginary;
-    private _positive;
-    private _nonPositive;
-    private _negative;
-    private _nonNegative;
-    private _zero;
-    private _notZero;
-    private _one;
-    private _negativeOne;
-    private _infinity;
-    private _NaN;
-    private _finite;
-    private _even;
-    private _odd;
-    private _prime;
-    private _composite;
+    private _defValue?;
+    private _value;
+    private _domain;
+    private _flags;
+    readonly constant: boolean;
+    readonly holdUntil: 'never' | 'simplify' | 'evaluate' | 'N';
     private _at;
     at?: (index: string | number) => undefined | BoxedExpression;
-    readonly constant: boolean;
-    readonly hold: boolean;
     prototype?: BoxedFunctionDefinition;
     self?: unknown;
-    constructor(ce: IComputeEngine, def: SymbolDefinition);
+    constructor(ce: IComputeEngine, name: string, def: SymbolDefinition);
     reset(): void;
-    unbind(): void;
-    bind(): void;
     get value(): BoxedExpression | undefined;
-    set value(val: BoxedExpression | number | undefined);
+    set value(val: SemiBoxedExpression | number | undefined);
     get domain(): BoxedDomain | undefined;
     set domain(domain: BoxedDomain | DomainExpression | undefined);
-    updateFlags(flags: Partial<SymbolFlags>): void;
-    setProps(props: Omit<Partial<BoxedSymbolDefinition>, 'domain' | 'value'>): void;
     get number(): boolean | undefined;
     set number(val: boolean | undefined);
     get integer(): boolean | undefined;
@@ -98,4 +89,6 @@ export declare class BoxedSymbolDefinitionImpl implements BoxedSymbolDefinition
     set prime(val: boolean | undefined);
     get composite(): boolean | undefined;
     set composite(val: boolean | undefined);
+    updateFlags(flags: Partial<SymbolFlags>): void;
 }
+export declare function domainToFlags(dom: BoxedDomain | undefined | null): Partial<SymbolFlags>;

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

@@ -1,4 +1,4 @@
-/* 0.9.0 */
+/* 0.11.0 */
 import { AbstractBoxedExpression } from './abstract-boxed-expression';
 import { BoxedExpression, BoxedRuleSet, BoxedSymbolDefinition, IComputeEngine, EvaluateOptions, NOptions, ReplaceOptions, SimplifyOptions, Substitution, Metadata, PatternMatchOptions, BoxedDomain, RuntimeScope, BoxedFunctionDefinition, BoxedBaseDefinition, DomainExpression, BoxedSubstitution } from '../public';
 /**
@@ -22,6 +22,7 @@ export declare class BoxedSymbol extends AbstractBoxedExpression {
     constructor(ce: IComputeEngine, name: string, options?: {
         metadata?: Metadata;
         canonical?: boolean;
+        def?: BoxedSymbolDefinition | BoxedFunctionDefinition;
     });
     get hash(): number;
     unbind(): void;
@@ -41,7 +42,6 @@ export declare class BoxedSymbol extends AbstractBoxedExpression {
     get head(): string;
     get symbol(): string;
     get isNothing(): boolean;
-    get isLiteral(): boolean;
     get baseDefinition(): BoxedBaseDefinition | undefined;
     get symbolDefinition(): BoxedSymbolDefinition | undefined;
     get functionDefinition(): BoxedFunctionDefinition | undefined;
@@ -84,7 +84,7 @@ export declare class BoxedSymbol extends AbstractBoxedExpression {
     get isComplex(): boolean | undefined;
     get isImaginary(): boolean | undefined;
     simplify(options?: SimplifyOptions): BoxedExpression;
-    evaluate(_options?: EvaluateOptions): BoxedExpression;
+    evaluate(options?: EvaluateOptions): BoxedExpression;
     N(options?: NOptions): BoxedExpression;
     replace(rules: BoxedRuleSet, options?: ReplaceOptions): BoxedExpression | null;
     subs(sub: Substitution, options?: {

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

@@ -1,4 +1,4 @@
-/* 0.9.0 */
+/* 0.11.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,5 +1,5 @@
-/* 0.9.0 */
-export declare type Order = 'lex' | 'dexlex' | 'grevlex' | 'elim';
+/* 0.11.0 */
+export type Order = 'lex' | 'dexlex' | 'grevlex' | 'elim';
 export declare const DEFAULT_COMPLEXITY = 100000;
 /**
  * Sort by higher total degree (sum of degree), if tied, sort by max degree,

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

@@ -1,4 +1,4 @@
-/* 0.9.0 */
+/* 0.11.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,4 +1,4 @@
-/* 0.9.0 */
+/* 0.11.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.9.0 */
+/* 0.11.0 */
 export declare function validateArgumentCount(ce: IComputeEngine, ops: BoxedExpression[], count: number): BoxedExpression[];
 /**
  * Validation of arguments is normally done by checking the signature of the

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

@@ -1,9 +1,9 @@
-/* 0.9.0 */
+/* 0.11.0 */
 import { Complex } from 'complex.js';
 import { Expression, MathJsonNumber } from '../math-json/math-json-format';
 import { SignalMessage, WarningSignal } from '../common/signals';
 import type { LibraryCategory, LatexDictionary, LatexDictionaryEntry, LatexString, NumberFormattingOptions, ParseLatexOptions, SerializeLatexOptions } from './latex-syntax/public';
-import { AssumeResult, BoxedExpression, BoxedFunctionDefinition, BoxedSymbolDefinition, IComputeEngine, SymbolTable, ExpressionMapInterface, NumericMode as NumericMode, Pattern, RuntimeScope, Scope, SemiBoxedExpression, SymbolDefinition, BoxedRuleSet, Rule, JsonSerializationOptions, ComputeEngineStats, Metadata, BoxedDomain, DomainExpression, FunctionDefinition, Rational, BoxedSubstitution } from './public';
+import { AssumeResult, BoxedExpression, BoxedFunctionDefinition, BoxedSymbolDefinition, IComputeEngine, IDTable, ExpressionMapInterface, NumericMode as NumericMode, Pattern, RuntimeScope, Scope, SemiBoxedExpression, SymbolDefinition, BoxedRuleSet, Rule, JsonSerializationOptions, ComputeEngineStats, Metadata, BoxedDomain, DomainExpression, FunctionDefinition, Rational, BoxedSubstitution } from './public';
 /**
  *
  * To use the CortexJS Compute Engine, create a `ComputeEngine` instance.
@@ -108,25 +108,28 @@ export declare class ComputeEngine implements IComputeEngine {
      *
      */
     context: RuntimeScope | null;
+    strict: boolean;
     /** Absolute time beyond which evaluation should not proceed.
      * @internal
      */
     deadline?: number;
     /**
-     * Return symbol tables suitable for the specified categories, or `"all"`
+     * Return identifier tables suitable for the specified categories, or `"all"`
      * for all categories (`"arithmetic"`, `"algebra"`, etc...).
      *
-     * A symbol table defines how the symbols and function names in a MathJSON
-     * expression should be interpreted, i.e. how to evaluate and manipulate them.
+     * An identifier table defines how the symbols and function names in a
+     * MathJSON expression should be interpreted, i.e. how to evaluate and
+     * manipulate them.
      *
      */
-    static getSymbolTables(categories?: LibraryCategory[] | LibraryCategory | 'all'): Readonly<SymbolTable>[];
+    static getStandardLibrary(categories?: LibraryCategory[] | LibraryCategory | 'all'): Readonly<IDTable>[];
     /**
      * Construct a new `ComputeEngine` instance.
      *
-     * Dictionaries define functions and symbols (in `options.dictionaries`) and
-     * the LaTeX syntax (in `options.latexDictionaries`). If no dictionaries
-     * are provided, the default ones are used.
+     * Identifier tables define functions and symbols (in `options.ids`).
+     * If no table is provided the standard library is used (`ComputeEngine.getStandardLibrary()`)
+     *
+     * The LaTeX syntax dictionary is defined in `options.latexDictionary`.
      *
      * The order of the dictionaries matter: the definitions from the later ones
      * override the definitions from earlier ones. The first dictionary should
@@ -148,12 +151,11 @@ export declare class ComputeEngine implements IComputeEngine {
      * be a variable in this domain. **Default** `ExtendedRealNumber`
      */
     constructor(options?: {
-        symbolTables?: Readonly<SymbolTable>[];
-        latexDictionary?: readonly LatexDictionaryEntry[];
         numericMode?: NumericMode;
         numericPrecision?: number;
+        ids?: Readonly<IDTable>[];
+        latexDictionary?: readonly LatexDictionaryEntry[];
         tolerance?: number;
-        assumptions?: (LatexString | Expression)[];
         defaultDomain?: string;
     });
     /** After the configuration of the engine has changed, clear the caches
@@ -243,8 +245,8 @@ export declare class ComputeEngine implements IComputeEngine {
     /**
      * Add (or replace) a definition for a symbol in the current scope.
      */
-    defineSymbol(def: SymbolDefinition): BoxedSymbolDefinition;
-    defineFunction(def: FunctionDefinition): BoxedFunctionDefinition;
+    defineSymbol(name: string, def: SymbolDefinition): BoxedSymbolDefinition;
+    defineFunction(name: string, def: FunctionDefinition): BoxedFunctionDefinition;
     /**
      *
      * Create a new scope and add it to the top of the scope stack
@@ -253,16 +255,12 @@ export declare class ComputeEngine implements IComputeEngine {
      * etc... for this scope
      *
      */
-    pushScope(options?: {
-        symbolTable?: Readonly<SymbolTable> | Readonly<SymbolTable>[];
-        assumptions?: (LatexString | Expression)[];
-        scope?: Partial<Scope>;
-    }): void;
+    pushScope(ids?: Readonly<IDTable> | Readonly<IDTable>[], scope?: Partial<Scope>): void;
     /** Remove the topmost scope from the scope stack.
      */
     popScope(): void;
     set(identifiers: {
-        [identifier: string]: SemiBoxedExpression;
+        [identifier: string]: SemiBoxedExpression | null;
     }): void;
     let(identifiers: {
         [identifier: string]: SymbolDefinition | FunctionDefinition;

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

@@ -1,3 +1,3 @@
-/* 0.9.0 */
+/* 0.11.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,4 +1,4 @@
-/* 0.9.0 */
+/* 0.11.0 */
 import { Decimal } from 'decimal.js';
 import { BoxedExpression } from './public';
 /** Quickly determine the numeric domain of a number or constant
@@ -10,7 +10,7 @@ export declare function inferNumericDomain(value: number | Decimal | Complex | [
  * Simple description of a numeric domain as a base domain, a min and
  * max value, possibly open ends, and some excluded values.
  */
-export declare type NumericDomainInfo = {
+export type NumericDomainInfo = {
     domain?: string;
     min?: number;
     max?: number;

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

@@ -1,2 +1,2 @@
-/* 0.9.0 */
+/* 0.11.0 */
 export declare const DEFINITIONS_ALGEBRA: LatexDictionary;

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

@@ -1,2 +1,2 @@
-/* 0.9.0 */
+/* 0.11.0 */
 export declare const DEFINITIONS_ARITHMETIC: LatexDictionary;

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

@@ -1,2 +1,2 @@
-/* 0.9.0 */
+/* 0.11.0 */
 export declare const DEFINITIONS_CALCULUS: LatexDictionary;

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

@@ -1,2 +1,2 @@
-/* 0.9.0 */
+/* 0.11.0 */
 export declare const DEFINITIONS_CORE: LatexDictionary;

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

@@ -1,2 +1,2 @@
-/* 0.9.0 */
+/* 0.11.0 */
 export declare const DEFINITIONS_INEQUALITIES: LatexDictionary;

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

@@ -1,2 +1,2 @@
-/* 0.9.0 */
+/* 0.11.0 */
 export declare const DEFINITIONS_LOGIC: LatexDictionary;

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

@@ -1,2 +1,2 @@
-/* 0.9.0 */
+/* 0.11.0 */
 export declare const DEFINITIONS_OTHERS: LatexDictionary;

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

@@ -1,2 +1,2 @@
-/* 0.9.0 */
+/* 0.11.0 */
 export declare const DEFINITIONS_SETS: LatexDictionary;

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

@@ -1,2 +1,2 @@
-/* 0.9.0 */
+/* 0.11.0 */
 export declare const DEFINITIONS_SYMBOLS: LatexDictionary;

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

@@ -1,2 +1,2 @@
-/* 0.9.0 */
+/* 0.11.0 */
 export declare const DEFINITIONS_TRIGONOMETRY: LatexDictionary;

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

@@ -1,46 +1,46 @@
-/* 0.9.0 */
+/* 0.11.0 */
 import { WarningSignal } from '../../../common/signals';
-export declare type CommonEntry = {
+export type CommonEntry = {
     name?: string;
     serialize: SerializeHandler | LatexString;
 };
-export declare type SymbolEntry = CommonEntry & {
+export type SymbolEntry = CommonEntry & {
     kind: 'symbol';
     precedence: number;
     parse: SymbolParseHandler;
 };
-export declare type FunctionEntry = CommonEntry & {
+export type FunctionEntry = CommonEntry & {
     kind: 'function';
     parse: FunctionParseHandler;
 };
-export declare type MatchfixEntry = CommonEntry & {
+export type MatchfixEntry = CommonEntry & {
     kind: 'matchfix';
     openDelimiter: Delimiter | LatexToken[];
     closeDelimiter: Delimiter | LatexToken[];
     parse: MatchfixParseHandler;
 };
-export declare type InfixEntry = CommonEntry & {
+export type InfixEntry = CommonEntry & {
     kind: 'infix';
     associativity: 'right' | 'left' | 'non' | 'both';
     precedence: number;
     parse: InfixParseHandler;
 };
-export declare type PrefixEntry = CommonEntry & {
+export type PrefixEntry = CommonEntry & {
     kind: 'prefix';
     precedence: number;
     parse: PrefixParseHandler;
 };
-export declare type PostfixEntry = CommonEntry & {
+export type PostfixEntry = CommonEntry & {
     kind: 'postfix';
     precedence: number;
     parse: PostfixParseHandler;
 };
-export declare type EnvironmentEntry = CommonEntry & {
+export type EnvironmentEntry = CommonEntry & {
     kind: 'environment';
     parse: EnvironmentParseHandler;
 };
-export declare type IndexedLatexDictionaryEntry = FunctionEntry | SymbolEntry | MatchfixEntry | InfixEntry | PrefixEntry | PostfixEntry | EnvironmentEntry;
-export declare type IndexedLatexDictionary = {
+export type IndexedLatexDictionaryEntry = FunctionEntry | SymbolEntry | MatchfixEntry | InfixEntry | PrefixEntry | PostfixEntry | EnvironmentEntry;
+export type IndexedLatexDictionary = {
     lookahead: number;
     name: Map<string, IndexedLatexDictionaryEntry>;
     function: Map<string, FunctionEntry[]>;

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

@@ -1,4 +1,4 @@
-/* 0.9.0 */
+/* 0.11.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.d.ts

@@ -1,4 +1,4 @@
-/* 0.9.0 */
+/* 0.11.0 */
 import { IndexedLatexDictionary, InfixEntry, PostfixEntry, PrefixEntry, SymbolEntry } from './dictionary/definitions';
 import { IComputeEngine } from '../public';
 import { Expression } from '../../math-json/math-json-format';