@cortex-js/compute-engine 0.10.0 → 0.12.0

package/dist/math-json.esm.js

@@ -1,4 +1,4 @@
-/** MathJSON 0.10.0 */
+/** MathJSON 0.12.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.10.0';
+const version = '0.12.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.10.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.10.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.12.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.12.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.10.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.10.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.12.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.12.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.10.0 */
+/* 0.12.0 */
 /**
  * Return a string or an array of graphemes.
  *

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

@@ -1,7 +1,7 @@
-/* 0.10.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.12.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.10.0 */
+/* 0.12.0 */

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

@@ -1,4 +1,4 @@
-/* 0.10.0 */
+/* 0.12.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.10.0 */
+/* 0.12.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';
@@ -40,7 +40,8 @@ export declare abstract class AbstractBoxedExpression implements BoxedExpression
     get string(): string | null;
     getSubexpressions(head: string): BoxedExpression[];
     get subexpressions(): BoxedExpression[];
-    get symbols(): BoxedExpression[];
+    get symbols(): string[];
+    get freeVars(): string[];
     get errors(): BoxedExpression[];
     get ops(): null | BoxedExpression[];
     get nops(): number;

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

@@ -1,4 +1,4 @@
-/* 0.10.0 */
+/* 0.12.0 */
 import { Decimal } from 'decimal.js';
 import { IComputeEngine, SemiBoxedExpression, BoxedExpression, Metadata, Rational } from '../public';
 import { MathJsonNumber } from '../../math-json/math-json-format';
@@ -54,7 +54,7 @@ import { MathJsonNumber } from '../../math-json/math-json-format';
  * Note: `boxNumber()` should only be called from `ce.number()` in order to
  * benefit from number expression caching.
  */
-export declare function boxNumber(ce: IComputeEngine, num: MathJsonNumber | number | string | Complex | Decimal | Rational, options?: {
+export declare function boxNumber(ce: IComputeEngine, num: MathJsonNumber | number | string | Complex | Decimal | Rational | [Decimal, Decimal], options?: {
     metadata?: Metadata;
     canonical?: boolean;
 }): BoxedExpression | null;

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

@@ -1,4 +1,4 @@
-/* 0.10.0 */
+/* 0.12.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.10.0 */
+/* 0.12.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.10.0 */
-export declare function makeFunctionDefinition(engine: IComputeEngine, def: FunctionDefinition): BoxedFunctionDefinition;
+/* 0.12.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.10.0 */
+/* 0.12.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';
 /**

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

@@ -1,4 +1,4 @@
-/* 0.10.0 */
+/* 0.12.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';

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

@@ -1,4 +1,4 @@
-/* 0.10.0 */
+/* 0.12.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.10.0 */
+/* 0.12.0 */
 import { AbstractBoxedExpression } 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,54 +1,46 @@
-/* 0.10.0 */
-export declare function domainToFlags(dom: BoxedDomain | undefined | null): Partial<SymbolFlags>;
+/* 0.12.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;
+    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: 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;
@@ -97,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.10.0 */
+/* 0.12.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;
@@ -83,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.10.0 */
+/* 0.12.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.10.0 */
-export declare type Order = 'lex' | 'dexlex' | 'grevlex' | 'elim';
+/* 0.12.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.10.0 */
+/* 0.12.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.10.0 */
+/* 0.12.0 */
 import { Expression } from '../../math-json/math-json-format';
 import { BoxedExpression, IComputeEngine } from '../public';
 export declare function isLatexString(s: unknown): s is string;
@@ -15,9 +15,12 @@ export declare function getImaginaryCoef(expr: BoxedExpression): number | null;
 /**
  * Return the free symbols in the expression, recursively.
  * A variable, or free symbol, is a symbol that is not bound to a value.
+ * Note: do not use `isFree`: it has a side effect of creating a definition
+ * if one does not exist, and we want to avoid that. For example, `assume()`
+ * relies on `expr.freeVars` *not* creating a definition.
  */
-export declare function getVars(expr: BoxedExpression): string[];
-export declare function getSymbols(expr: BoxedExpression, set: Set<string>): Set<string>;
+export declare function getFreeVars(expr: BoxedExpression, set: Set<string>): void;
+export declare function getSymbols(expr: BoxedExpression, set: Set<string>): void;
 export declare function getSubexpressions(expr: BoxedExpression, head: string): BoxedExpression[];
 /**
  * For any numeric result, if `bignumPreferred()` is true, calculate using
@@ -52,3 +55,5 @@ export declare function getListLike(expr: BoxedExpression): BoxedExpression[];
  * truncate bignums to machine numbers
  */
 export declare function bignumValue(ce: IComputeEngine, expr: Expression | null | undefined): Decimal | null;
+export declare function bigintValue(ce: IComputeEngine, expr: Expression | null | undefined): bigint | null;
+export declare function asBigint(expr: BoxedExpression): bigint | null;

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

@@ -1,4 +1,4 @@
-/* 0.10.0 */
+/* 0.12.0 */
 export declare function validateArgumentCount(ce: IComputeEngine, ops: BoxedExpression[], count: number): BoxedExpression[];
 /**
  * Validation of arguments is normally done by checking the signature of the
@@ -9,10 +9,11 @@ export declare function validateArgumentCount(ce: IComputeEngine, ops: BoxedExpr
  * value), we do a simple numeric check of all arguments, and verify we have
  * the number of expected arguments.
  */
-export declare function validateNumericArgs(ce: IComputeEngine, ops: SemiBoxedExpression[], count?: number): BoxedExpression[];
+export declare function validateNumericArgs(ce: IComputeEngine, ops: BoxedExpression[], count?: number): BoxedExpression[];
 /** Return `null` if the `ops` match the sig. Otherwise, return an array
  * of expressions indicating the mismatched arguments.
  *
  */
 export declare function validateSignature(sig: BoxedDomain, ops: BoxedExpression[], codomain?: BoxedExpression): BoxedExpression[] | null;
-export declare function validateArgument(ce: IComputeEngine, arg: BoxedExpression | undefined, expect: DomainExpression<BoxedExpression> | undefined): BoxedExpression;
+export declare function validateArgument(ce: IComputeEngine, arg: BoxedExpression | undefined, dom: BoxedDomain | DomainLiteral | undefined): BoxedExpression;
+export declare function validateArguments(ce: IComputeEngine, args: BoxedExpression[], doms: (BoxedDomain | DomainLiteral)[]): BoxedExpression[];

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

@@ -1,9 +1,8 @@
-/* 0.10.0 */
+/* 0.12.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, Pattern, RuntimeScope, Scope, SemiBoxedExpression, SymbolDefinition, BoxedRuleSet, Rule, JsonSerializationOptions, ComputeEngineStats, Metadata, BoxedDomain, DomainExpression, FunctionDefinition, Rational, BoxedSubstitution, Substitution } from './public';
 /**
  *
  * To use the CortexJS Compute Engine, create a `ComputeEngine` instance.
@@ -114,20 +113,22 @@ export declare class ComputeEngine implements IComputeEngine {
      */
     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
@@ -149,12 +150,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
@@ -211,7 +211,7 @@ export declare class ComputeEngine implements IComputeEngine {
     get tolerance(): number;
     set tolerance(val: number);
     /** @internal */
-    bignum(a: Decimal.Value): Decimal;
+    bignum(a: Decimal.Value | bigint): Decimal;
     /** @internal */
     complex(a: number | Complex, b?: number): Complex;
     /** Replace a number that is close to 0 with the exact integer 0.
@@ -244,8 +244,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
@@ -254,20 +254,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 | null;
-    }): void;
-    let(identifiers: {
-        [identifier: string]: SymbolDefinition | FunctionDefinition;
-    }): void;
+    set(identifiers: Substitution<SemiBoxedExpression | null | undefined>): void;
+    let(identifiers: IdTable): void;
     get assumptions(): ExpressionMapInterface<boolean>;
     /**
      * Return false if the execution should stop.
@@ -281,24 +273,12 @@ export declare class ComputeEngine implements IComputeEngine {
     shouldContinueExecution(): boolean;
     /** @internal */
     checkContinueExecution(): void;
-    assert(condition: boolean, expr: BoxedExpression, msg: string, code?: SignalMessage): void;
-    /**
-     * Call this function if an unexpected condition occurs during execution of a
-     * function in the engine.
-     *
-     * An `ErrorSignal` is a problem that cannot be recovered from.
-     *
-     * A `WarningSignal` indicates a minor problem that does not prevent the
-     * execution to continue.
-     *
-     */
-    signal(expr: BoxedExpression, msg: string, code?: SignalMessage): void;
-    signal(sig: WarningSignal): void;
     /** @internal */
     cache<T>(cacheName: string, build: () => T, purge: (T: any) => T | undefined): T;
     box(expr: Decimal | Complex | [num: number, denom: number] | SemiBoxedExpression, options?: {
         canonical?: boolean;
     }): BoxedExpression;
+    canonical(xs: SemiBoxedExpression[]): BoxedExpression[];
     fn(head: string, ops: BoxedExpression[], metadata?: Metadata): BoxedExpression;
     /** @internal */
     _fn(head: string | BoxedExpression, ops: BoxedExpression[], metadata?: Metadata): BoxedExpression;
@@ -306,12 +286,12 @@ export declare class ComputeEngine implements IComputeEngine {
     error(message: string | [string, ...SemiBoxedExpression[]], where?: SemiBoxedExpression): BoxedExpression;
     hold(expr: SemiBoxedExpression): BoxedExpression;
     add(ops: BoxedExpression[], metadata?: Metadata): BoxedExpression;
-    negate(expr: BoxedExpression, metadata?: Metadata): BoxedExpression;
+    neg(expr: BoxedExpression, metadata?: Metadata): BoxedExpression;
     mul(ops: BoxedExpression[], metadata?: Metadata): BoxedExpression;
-    divide(num: BoxedExpression, denom: BoxedExpression, metadata?: Metadata): BoxedExpression;
+    div(num: BoxedExpression, denom: BoxedExpression, metadata?: Metadata): BoxedExpression;
     sqrt(base: BoxedExpression, metadata?: Metadata): BoxedExpression;
-    power(base: BoxedExpression, exponent: number | Rational | BoxedExpression, metadata?: Metadata): BoxedExpression;
-    inverse(expr: BoxedExpression, metadata?: Metadata): BoxedExpression;
+    pow(base: BoxedExpression, exponent: number | Rational | BoxedExpression, metadata?: Metadata): BoxedExpression;
+    inv(expr: BoxedExpression, metadata?: Metadata): BoxedExpression;
     pair(first: BoxedExpression, second: BoxedExpression, metadata?: Metadata): BoxedExpression;
     tuple(elements: BoxedExpression[], metadata?: Metadata): BoxedExpression;
     string(s: string, metadata?: Metadata): BoxedExpression;
@@ -320,7 +300,7 @@ export declare class ComputeEngine implements IComputeEngine {
         canonical?: boolean;
     }): BoxedExpression;
     domain(domain: BoxedExpression | DomainExpression | BoxedDomain, metadata?: Metadata): BoxedDomain;
-    number(value: number | string | MathJsonNumber | Decimal | Complex | Rational, options?: {
+    number(value: number | bigint | string | MathJsonNumber | Decimal | Complex | Rational, options?: {
         canonical?: boolean;
         metadata?: Metadata;
     }): BoxedExpression;
@@ -352,7 +332,7 @@ export declare class ComputeEngine implements IComputeEngine {
      */
     ask(pattern: LatexString | SemiBoxedExpression): BoxedSubstitution[];
     infer(symbol: BoxedExpression | string, _domain: BoxedDomain | DomainExpression): AssumeResult;
-    assume(symbol: LatexString | SemiBoxedExpression, domainValue: BoxedDomain | DomainExpression | Expression | BoxedExpression): AssumeResult;
+    assume(symbol: LatexString | SemiBoxedExpression, domainValue: BoxedDomain | Expression | BoxedExpression): AssumeResult;
     assume(predicate: LatexString | SemiBoxedExpression): AssumeResult;
     forget(symbol: undefined | string | string[]): void;
 }

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

@@ -1,3 +1,3 @@
-/* 0.10.0 */
+/* 0.12.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,16 +1,16 @@
-/* 0.10.0 */
+/* 0.12.0 */
 import { Decimal } from 'decimal.js';
-import { BoxedExpression } from './public';
+import { BoxedExpression, Rational } from './public';
 /** Quickly determine the numeric domain of a number or constant
  * For the symbols, this is a hard-coded optimization that doesn't rely on the
  * dictionaries. The regular path is in `internalDomain()`
  */
-export declare function inferNumericDomain(value: number | Decimal | Complex | [numer: number, denom: number] | [numer: Decimal, denom: Decimal]): string;
+export declare function inferNumericDomain(value: number | Decimal | Complex | Rational): string;
 /**
  * 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.10.0 */
+/* 0.12.0 */
 export declare const DEFINITIONS_ALGEBRA: LatexDictionary;

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

@@ -1,2 +1,2 @@
-/* 0.10.0 */
+/* 0.12.0 */
 export declare const DEFINITIONS_ARITHMETIC: LatexDictionary;

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

@@ -1,2 +1,2 @@
-/* 0.10.0 */
+/* 0.12.0 */
 export declare const DEFINITIONS_CALCULUS: LatexDictionary;

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

@@ -1,2 +1,2 @@
-/* 0.10.0 */
+/* 0.12.0 */
 export declare const DEFINITIONS_CORE: LatexDictionary;

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

@@ -1,2 +1,2 @@
-/* 0.10.0 */
+/* 0.12.0 */
 export declare const DEFINITIONS_INEQUALITIES: LatexDictionary;

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

@@ -1,2 +1,2 @@
-/* 0.10.0 */
+/* 0.12.0 */
 export declare const DEFINITIONS_LOGIC: LatexDictionary;

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

@@ -1,2 +1,2 @@
-/* 0.10.0 */
+/* 0.12.0 */
 export declare const DEFINITIONS_OTHERS: LatexDictionary;

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

@@ -1,2 +1,2 @@
-/* 0.10.0 */
+/* 0.12.0 */
 export declare const DEFINITIONS_SETS: LatexDictionary;

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

@@ -1,2 +1,2 @@
-/* 0.10.0 */
+/* 0.12.0 */
 export declare const DEFINITIONS_SYMBOLS: LatexDictionary;