@cortex-js/compute-engine 0.7.0 → 0.8.0

package/dist/math-json.esm.js

@@ -1,4 +1,4 @@
-/** MathJSON 0.7.0 */
+/** MathJSON 0.8.0 */
 /**
  * These constants are the 'primitive' functions and constants that are used
  * for some basic manipulations such as parsing, and transforming to canonical
@@ -229,6 +229,6 @@ function asValidJSONNumber(num) {
 // }
 
 // This is the root of the `math-json` package (i.e.  `math-json.js` and
-const version = '0.7.0';
+const version = '0.8.0';
 
 export { applyRecursively, asValidJSONNumber, dictionary as getDictionary, stringValue as getStringValue, head, headName, isAtomic, isDictionaryObject, isFunctionObject, isStringObject, isSymbolObject, mapArgs, nops, op, symbol, version };

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

@@ -1,2 +1,2 @@
-/** MathJSON 0.7.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 null==n?null:Array.isArray(n)?n.slice(1):r(n)?n.fn.slice(1):null}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;const r=n(t)?t.sym:t;return"string"!=typeof r||r.length>=2&&"'"===r[0]&&"'"===r[r.length-1]?null:r}function a(n){const t=i(n);if("KeyValuePair"===t||"Tuple"===t||"Pair"===t){const t=e(f(n,1));return t?[t,f(n,2)??"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"===i(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=i(n);if(null!==r)return[t(r),...(c(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}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.7.0";export{p as applyRecursively,A as asValidJSONNumber,g 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,s as nops,f as op,y as symbol,b as version};
+/** MathJSON 0.8.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 null==n?null:Array.isArray(n)?n.slice(1):r(n)?n.fn.slice(1):null}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;const r=n(t)?t.sym:t;return"string"!=typeof r||r.length>=2&&"'"===r[0]&&"'"===r[r.length-1]?null:r}function a(n){const t=i(n);if("KeyValuePair"===t||"Tuple"===t||"Pair"===t){const t=e(f(n,1));return t?[t,f(n,2)??"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"===i(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=i(n);if(null!==r)return[t(r),...(c(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}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.8.0";export{p as applyRecursively,A as asValidJSONNumber,g 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,s as nops,f as op,y as symbol,b as version};

package/dist/math-json.min.js

@@ -1,2 +1,2 @@
-/** MathJSON 0.7.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 i(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 u(n){return null==n?null:Array.isArray(n)?n.slice(1):r(n)?n.fn.slice(1):null}function o(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 f(n){var t;const r=e(n);if("KeyValuePair"===r||"Tuple"===r||"Pair"===r){const r=l(i(n,1));return r?[r,null!==(t=i(n,2))&&void 0!==t?t:"Nothing"]:null}return null}function c(n){if(null===n)return null;if("object"==typeof n&&"dict"in n)return n.dict;const t=f(n);if(t)return{[t[0]]:t[1]};if("Dictionary"===e(n)){const t={};for(let r=1;r<o(n);r++){const l=f(i(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 i=c(n);if(null!==i){const n=Object.keys(i),r={};for(const l of n)r[l]=t(i[l]);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=c,n.getStringValue=l,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 l=null;if(Array.isArray(n)&&(l=n),r(n)&&(l=n.fn),null===l)return[];let e=1;const i=[];for(;e<l.length;)i.push(t(l[e])),e+=1;return i},n.nops=o,n.op=i,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.version="0.7.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.8.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 i(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 u(n){return null==n?null:Array.isArray(n)?n.slice(1):r(n)?n.fn.slice(1):null}function o(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 f(n){var t;const r=e(n);if("KeyValuePair"===r||"Tuple"===r||"Pair"===r){const r=l(i(n,1));return r?[r,null!==(t=i(n,2))&&void 0!==t?t:"Nothing"]:null}return null}function c(n){if(null===n)return null;if("object"==typeof n&&"dict"in n)return n.dict;const t=f(n);if(t)return{[t[0]]:t[1]};if("Dictionary"===e(n)){const t={};for(let r=1;r<o(n);r++){const l=f(i(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 i=c(n);if(null!==i){const n=Object.keys(i),r={};for(const l of n)r[l]=t(i[l]);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=c,n.getStringValue=l,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 l=null;if(Array.isArray(n)&&(l=n),r(n)&&(l=n.fn),null===l)return[];let e=1;const i=[];for(;e<l.length;)i.push(t(l[e])),e+=1;return i},n.nops=o,n.op=i,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.version="0.8.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.7.0 */
+/* 0.8.0 */
 /**
  * Return a string or an array of graphemes.
  *

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

@@ -1,4 +1,4 @@
-/* 0.7.0 */
+/* 0.8.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.7.0 */
+/* 0.8.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.7.0 */
+/* 0.8.0 */
 import type { Complex } from 'complex.js';
 import { Expression } from '../../math-json/math-json-format';
 import { BoxedExpression, BoxedFunctionDefinition, BoxedRuleSet, BoxedSymbolDefinition, BoxedDomain, EvaluateOptions, IComputeEngine, LatexString, Metadata, NOptions, PatternMatchOption, SemiBoxedExpression, SimplifyOptions, Substitution, RuntimeScope, DomainCompatibility, DomainLiteral, BoxedBaseDefinition } from '../public';
@@ -6,62 +6,69 @@ import { BoxedExpression, BoxedFunctionDefinition, BoxedRuleSet, BoxedSymbolDefi
  * AbstractBoxedExpression
  */
 export declare abstract class AbstractBoxedExpression implements BoxedExpression {
-    abstract get json(): Expression;
-    abstract get head(): BoxedExpression | string;
-    abstract isSame(rhs: BoxedExpression): boolean;
-    abstract isEqual(rhs: BoxedExpression): boolean;
+    abstract readonly hash: number;
+    abstract readonly json: Expression;
+    abstract readonly head: BoxedExpression | string;
     abstract get isCanonical(): boolean;
     abstract set isCanonical(_val: boolean);
-    abstract get hash(): number;
+    abstract isSame(rhs: BoxedExpression): boolean;
+    abstract isEqual(rhs: BoxedExpression): boolean;
     abstract match(rhs: BoxedExpression, options?: PatternMatchOption): Substitution | null;
     readonly engine: IComputeEngine;
     /** Verbatim LaTeX, obtained from a source, i.e. from parsing, not generated
      * synthetically
      */
     protected _latex?: string;
-    protected _wikidata?: string;
+    protected _wikidata: string | undefined;
     constructor(ce: IComputeEngine, metadata?: Metadata);
-    /** Object.toJSON(), called by JSON.Stringify */
-    toJSON(): string;
+    /** `Object.valueOf()`: return a primitive value for the object
+     *
+     */
+    valueOf(): number | string | boolean;
     /** Object.toString() */
     toString(): string;
-    /** Object.valueOf(): return a primitive value for the object */
-    valueOf(): number | string | [number, number];
+    [Symbol.toPrimitive](hint: 'number' | 'string' | 'default'): number | string | null;
+    /** Called by `JSON.stringify()` when serializing to json */
+    toJSON(): Expression;
     /** Object.is() */
     is(rhs: any): boolean;
-    isCompatible(_dom: BoxedDomain | DomainLiteral, _kind?: DomainCompatibility): boolean;
-    has(_v: string | string[]): boolean;
-    get description(): string[];
-    get url(): string;
-    get isPure(): boolean;
-    /** For a symbol, true if the symbol is a free variable (no value) */
-    get isFree(): boolean;
-    /** For a symbol, true if the symbol is a constant (unchangeable value) */
-    get isConstant(): boolean;
-    get isLiteral(): boolean;
     get latex(): LatexString;
     set latex(val: LatexString);
-    get wikidata(): string;
-    set wikidata(val: string);
-    get complexity(): number;
-    get symbols(): BoxedExpression[];
+    get symbol(): string | null;
+    get isNothing(): boolean;
+    get string(): string | null;
     getSubexpressions(head: string): BoxedExpression[];
     get subexpressions(): BoxedExpression[];
+    get symbols(): BoxedExpression[];
     get errors(): BoxedExpression[];
     get ops(): null | BoxedExpression[];
     get nops(): number;
     get op1(): BoxedExpression;
     get op2(): BoxedExpression;
     get op3(): BoxedExpression;
-    get basedDefinition(): BoxedBaseDefinition | undefined;
-    get symbolDefinition(): BoxedSymbolDefinition | undefined;
-    get functionDefinition(): BoxedFunctionDefinition | undefined;
-    bind(_scope: RuntimeScope | null): void;
-    unbind(): void;
-    get keys(): IterableIterator<string> | null;
-    get keysCount(): number;
-    getKey(_key: string): BoxedExpression | undefined;
-    hasKey(_key: string): boolean;
+    get isValid(): boolean;
+    get isPure(): boolean;
+    /** For a symbol, true if the symbol is a free variable (no value) */
+    get isFree(): boolean;
+    /** For a symbol, true if the symbol is a constant (unchangeable value) */
+    get isConstant(): boolean;
+    get canonical(): BoxedExpression;
+    apply(_fn: (x: BoxedExpression) => SemiBoxedExpression, _head?: string): BoxedExpression;
+    subs(_sub: Substitution): BoxedExpression;
+    solve(_vars: Iterable<string>): null | BoxedExpression[];
+    replace(_rules: BoxedRuleSet): null | BoxedExpression;
+    has(_v: string | string[]): boolean;
+    get isNaN(): boolean | undefined;
+    get isZero(): boolean | undefined;
+    get isNotZero(): boolean | undefined;
+    get isOne(): boolean | undefined;
+    get isNegativeOne(): boolean | undefined;
+    get isInfinity(): boolean | undefined;
+    get isFinite(): boolean | undefined;
+    get isEven(): boolean | undefined;
+    get isOdd(): boolean | undefined;
+    get isPrime(): boolean | undefined;
+    get isComposite(): boolean | undefined;
     get machineValue(): number | null;
     get rationalValue(): [numer: number, denom: number] | [null, null];
     get decimalValue(): Decimal | null;
@@ -70,30 +77,37 @@ export declare abstract class AbstractBoxedExpression implements BoxedExpression
     get asSmallInteger(): number | null;
     get asRational(): [number, number] | [null, null];
     get sgn(): -1 | 0 | 1 | undefined | null;
-    get symbol(): string | null;
-    get isNothing(): boolean;
-    get isValid(): boolean;
-    get value(): BoxedExpression | undefined;
-    set value(_value: BoxedExpression | number | undefined);
-    get numericValue(): BoxedExpression | undefined;
-    isSubdomainOf(_d: BoxedExpression | string): undefined | boolean;
-    get domain(): BoxedDomain;
-    set domain(_domain: BoxedDomain);
-    get explicitDomain(): BoxedDomain | null;
-    get string(): string | null;
     isLess(_rhs: BoxedExpression): boolean | undefined;
     isLessEqual(_rhs: BoxedExpression): boolean | undefined;
     isGreater(_rhs: BoxedExpression): boolean | undefined;
     isGreaterEqual(_rhs: BoxedExpression): boolean | undefined;
-    get isZero(): boolean | undefined;
-    get isNotZero(): boolean | undefined;
     get isPositive(): boolean | undefined;
     get isNonNegative(): boolean | undefined;
     get isNegative(): boolean | undefined;
     get isNonPositive(): boolean | undefined;
-    get isInfinity(): boolean | undefined;
-    get isNaN(): boolean | undefined;
-    get isFinite(): boolean | undefined;
+    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;
+    get basedDefinition(): BoxedBaseDefinition | undefined;
+    get symbolDefinition(): BoxedSymbolDefinition | undefined;
+    get functionDefinition(): BoxedFunctionDefinition | undefined;
+    bind(_scope: RuntimeScope | null): void;
+    unbind(): void;
+    get keys(): IterableIterator<string> | null;
+    get keysCount(): number;
+    getKey(_key: string): BoxedExpression | undefined;
+    hasKey(_key: string): boolean;
+    get value(): BoxedExpression | undefined;
+    set value(_value: BoxedExpression | number | undefined);
+    get numericValue(): BoxedExpression | undefined;
+    isSubdomainOf(_d: BoxedExpression | string): undefined | boolean;
+    get domain(): BoxedDomain;
+    set domain(_domain: BoxedDomain);
+    get explicitDomain(): BoxedDomain | undefined;
     get isNumber(): boolean | undefined;
     get isInteger(): boolean | undefined;
     get isRational(): boolean | undefined;
@@ -103,18 +117,7 @@ export declare abstract class AbstractBoxedExpression implements BoxedExpression
     get isComplex(): boolean | undefined;
     get isImaginary(): boolean | undefined;
     get isExtendedComplex(): boolean | undefined;
-    get isOne(): boolean | undefined;
-    get isNegativeOne(): boolean | undefined;
-    get isEven(): boolean | undefined;
-    get isOdd(): boolean | undefined;
-    get isPrime(): boolean | undefined;
-    get isComposite(): boolean | undefined;
-    get canonical(): BoxedExpression;
-    apply(_fn: (x: BoxedExpression) => SemiBoxedExpression, _head?: string): BoxedExpression;
-    evaluate(options?: EvaluateOptions): BoxedExpression;
     simplify(_options?: SimplifyOptions): BoxedExpression;
+    evaluate(options?: EvaluateOptions): BoxedExpression;
     N(_options?: NOptions): BoxedExpression;
-    replace(_rules: BoxedRuleSet): null | BoxedExpression;
-    subs(_sub: Substitution): BoxedExpression;
-    solve(_vars: Iterable<string>): null | BoxedExpression[];
 }

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

@@ -1,4 +1,4 @@
-/* 0.7.0 */
+/* 0.8.0 */
 import { Decimal } from 'decimal.js';
 import { IComputeEngine, SemiBoxedExpression, BoxedExpression, Metadata } 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.7.0 */
+/* 0.8.0 */
 import { BoxedExpression, IComputeEngine, EvaluateOptions, NOptions, BoxedRuleSet, SemiBoxedExpression, SimplifyOptions, ReplaceOptions, Substitution, Metadata, PatternMatchOption, BoxedDomain } from '../public';
 import { AbstractBoxedExpression } from './abstract-boxed-expression';
 /**

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

@@ -1,4 +1,4 @@
-/* 0.7.0 */
+/* 0.8.0 */
 import { BoxedDomain, BoxedExpression, DomainCompatibility, DomainConstructor, DomainExpression, DomainLiteral, IComputeEngine, Metadata, PatternMatchOption, Substitution } 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.7.0 */
+/* 0.8.0 */
 export declare function makeFunctionDefinition(engine: IComputeEngine, def: FunctionDefinition): BoxedFunctionDefinition;

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

@@ -1,4 +1,4 @@
-/* 0.7.0 */
+/* 0.8.0 */
 import { Expression } from '../../math-json/math-json-format';
 import { BoxedExpression, BoxedFunctionDefinition, IComputeEngine, EvaluateOptions, NOptions, BoxedRuleSet, SemiBoxedExpression, SimplifyOptions, Substitution, ReplaceOptions, Metadata, PatternMatchOption, BoxedDomain, BoxedLambdaExpression, RuntimeScope } from '../public';
 /**
@@ -6,10 +6,10 @@ import { BoxedExpression, BoxedFunctionDefinition, IComputeEngine, EvaluateOptio
  */
 export declare class BoxedFunction extends AbstractBoxedExpression {
     private _scope;
-    private _head;
-    private _ops;
+    private readonly _head;
+    private readonly _ops;
+    private _canonical;
     private _def;
-    private _isCanonical;
     private _isPure;
     /** The domain of the value of the function applied to its arguments */
     private _codomain;
@@ -19,27 +19,45 @@ export declare class BoxedFunction extends AbstractBoxedExpression {
     private _value;
     private _numericValue;
     private _hash;
-    constructor(ce: IComputeEngine, head: string | BoxedExpression, ops: BoxedExpression[], metadata?: Metadata);
+    constructor(ce: IComputeEngine, head: string | BoxedExpression, ops: BoxedExpression[], options?: {
+        metadata?: Metadata;
+        canonical?: boolean;
+        def?: BoxedFunctionDefinition;
+    });
     get hash(): number;
-    unbind(): void;
-    get wikidata(): string;
-    get description(): string[];
-    get url(): string;
-    get complexity(): number;
-    get head(): string | BoxedExpression;
-    get value(): BoxedExpression | undefined;
-    get numericValue(): BoxedExpression | undefined;
-    get isPure(): boolean;
+    get isCanonical(): boolean;
+    set isCanonical(val: boolean);
     get isLiteral(): boolean;
-    get isValid(): boolean;
+    get isPure(): boolean;
+    get json(): Expression;
+    get head(): string | BoxedExpression;
     get ops(): BoxedExpression[];
     get nops(): number;
     get op1(): BoxedExpression;
     get op2(): BoxedExpression;
     get op3(): BoxedExpression;
+    get isValid(): boolean;
+    get canonical(): BoxedExpression;
+    map<T = BoxedExpression>(fn: (x: BoxedExpression) => T): IterableIterator<T>;
+    apply(fn: (x: BoxedExpression) => SemiBoxedExpression, head?: string): BoxedExpression;
+    subs(sub: Substitution): BoxedExpression;
+    replace(rules: BoxedRuleSet, options?: ReplaceOptions): BoxedExpression | null;
+    has(x: string | string[]): boolean;
+    /** `isSame` is structural/symbolic equality */
+    isSame(rhs: BoxedExpression): boolean;
+    match(rhs: BoxedExpression, options?: PatternMatchOption): Substitution | null;
+    unbind(): void;
+    get wikidata(): string | undefined;
+    get description(): string[] | undefined;
+    get url(): string | undefined;
+    get complexity(): number | undefined;
     get functionDefinition(): BoxedFunctionDefinition | undefined;
-    bind(scope: RuntimeScope | null): void;
+    bind(_scope: RuntimeScope | null): void;
+    get value(): BoxedExpression | undefined;
+    get numericValue(): BoxedExpression | undefined;
     get domain(): BoxedDomain;
+    /** `isEqual` is mathematical equality */
+    isEqual(rhs: BoxedExpression): boolean;
     isLess(rhs: BoxedExpression): boolean | undefined;
     isLessEqual(rhs: BoxedExpression): boolean | undefined;
     isGreater(rhs: BoxedExpression): boolean | undefined;
@@ -60,26 +78,16 @@ export declare class BoxedFunction extends AbstractBoxedExpression {
     get isExtendedReal(): boolean | undefined;
     get isComplex(): boolean | undefined;
     get isImaginary(): boolean | undefined;
-    get json(): Expression;
-    has(x: string | string[]): boolean;
-    /** `isSame` is structural/symbolic equality */
-    isSame(rhs: BoxedExpression): boolean;
-    match(rhs: BoxedExpression, options?: PatternMatchOption): Substitution | null;
-    /** `isEqual` is mathematical equality */
-    isEqual(rhs: BoxedExpression): boolean;
     get sgn(): -1 | 0 | 1 | undefined | null;
-    map<T = BoxedExpression>(fn: (x: BoxedExpression) => T): IterableIterator<T>;
-    get isCanonical(): boolean;
-    set isCanonical(val: boolean);
-    apply(fn: (x: BoxedExpression) => SemiBoxedExpression, head?: string): BoxedExpression;
-    get canonical(): BoxedExpression;
     simplify(options?: SimplifyOptions): BoxedExpression;
     evaluate(options?: EvaluateOptions): BoxedExpression;
     N(options?: NOptions): BoxedExpression;
     solve(_vars: Iterable<string>): null | BoxedExpression[];
-    replace(rules: BoxedRuleSet, options?: ReplaceOptions): BoxedExpression | null;
-    subs(sub: Substitution): BoxedExpression;
 }
+export declare function makeCanonicalFunction(ce: IComputeEngine, head: string | BoxedExpression, ops: BoxedExpression[], options?: {
+    [x: string]: any;
+    metadata?: Metadata;
+}): BoxedExpression;
 export declare function lambda(ce: IComputeEngine, fn: BoxedLambdaExpression, args: BoxedExpression[]): BoxedExpression;
 /** Apply the function `f` to elements of `xs`, except to the elements
  * described by `skip`:
@@ -95,4 +103,3 @@ export declare function lambda(ce: IComputeEngine, fn: BoxedLambdaExpression, ar
  * If `f` returns `null`, the element is not added to the result
  */
 export declare function holdMap(head: string, xs: BoxedExpression[], skip: 'all' | 'none' | 'first' | 'rest' | 'last' | 'most', associative: boolean, f: (x: BoxedExpression) => BoxedExpression | null): BoxedExpression[];
-export declare function canonicalHoldMap(head: string, xs: BoxedExpression[], skip: 'all' | 'none' | 'first' | 'rest' | 'last' | 'most', associative: boolean): BoxedExpression[];

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

@@ -1,4 +1,4 @@
-/* 0.7.0 */
+/* 0.8.0 */
 import { Complex } from 'complex.js';
 import { Expression } from '../../math-json/math-json-format';
 import { BoxedExpression, BoxedDomain, IComputeEngine, Metadata, NOptions, PatternMatchOption, SimplifyOptions, Substitution } from '../public';
@@ -26,7 +26,9 @@ export declare class BoxedNumber extends AbstractBoxedExpression {
     get isLiteral(): boolean;
     get isCanonical(): boolean;
     set isCanonical(val: boolean);
-    get numericValue(): BoxedExpression | undefined;
+    get complexity(): number;
+    get value(): BoxedExpression;
+    get numericValue(): BoxedExpression;
     get machineValue(): number | null;
     get decimalValue(): Decimal | null;
     get complexValue(): Complex | null;

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

@@ -1,4 +1,4 @@
-/* 0.7.0 */
+/* 0.8.0 */
 import { AbstractBoxedExpression } from './abstract-boxed-expression';
 import { BoxedExpression, BoxedSubstitution, BoxedDomain, IComputeEngine, LatexString, Metadata, Pattern, PatternMatchOption, 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.7.0 */
+/* 0.8.0 */
 import { AbstractBoxedExpression } from './abstract-boxed-expression';
 import { BoxedExpression, BoxedDomain, IComputeEngine, Metadata, PatternMatchOption, Substitution } from '../public';
 /**

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

@@ -1,14 +1,15 @@
-/* 0.7.0 */
+/* 0.8.0 */
 export declare function domainToFlags(dom: BoxedDomain | undefined | null): Partial<SymbolFlags>;
 export declare class BoxedSymbolDefinitionImpl implements BoxedSymbolDefinition {
+    readonly name: string;
+    private _def;
+    private _value;
+    private _domain;
+    private _inferedDomain;
     private _engine;
     readonly scope: RuntimeScope | undefined;
-    private _value;
-    readonly name: string;
     wikidata?: string;
     description?: string | string[];
-    private _domain;
-    private _inferedDomain;
     private _number;
     private _integer;
     private _rational;
@@ -37,7 +38,6 @@ export declare class BoxedSymbolDefinitionImpl implements BoxedSymbolDefinition
     at?: (index: string | number) => undefined | BoxedExpression;
     readonly constant: boolean;
     readonly hold: boolean;
-    private _def;
     prototype?: BoxedFunctionDefinition;
     self?: unknown;
     constructor(ce: IComputeEngine, def: SymbolDefinition);

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

@@ -1,4 +1,4 @@
-/* 0.7.0 */
+/* 0.8.0 */
 import { AbstractBoxedExpression } from './abstract-boxed-expression';
 import { BoxedExpression, BoxedRuleSet, BoxedSymbolDefinition, IComputeEngine, EvaluateOptions, NOptions, ReplaceOptions, SimplifyOptions, Substitution, Metadata, PatternMatchOption, BoxedDomain, RuntimeScope, BoxedFunctionDefinition, BoxedBaseDefinition } from '../public';
 /**
@@ -29,9 +29,9 @@ export declare class BoxedSymbol extends AbstractBoxedExpression {
     get isCanonical(): boolean;
     set isCanonical(_va: boolean);
     get canonical(): BoxedExpression;
-    get wikidata(): string;
-    get description(): string[];
-    get url(): string;
+    get wikidata(): string | undefined;
+    get description(): string[] | undefined;
+    get url(): string | undefined;
     get complexity(): number;
     get head(): string;
     get symbol(): string;
@@ -41,12 +41,12 @@ export declare class BoxedSymbol extends AbstractBoxedExpression {
     get symbolDefinition(): BoxedSymbolDefinition | undefined;
     get functionDefinition(): BoxedFunctionDefinition | undefined;
     bind(scope: RuntimeScope | null): void;
-    get value(): BoxedExpression | undefined;
+    get value(): BoxedExpression;
     set value(value: BoxedExpression | number | undefined);
     get numericValue(): BoxedExpression | undefined;
     get domain(): BoxedDomain;
     set domain(d: BoxedDomain);
-    get explicitDomain(): BoxedDomain | null;
+    get explicitDomain(): BoxedDomain | undefined;
     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.7.0 */
+/* 0.8.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.7.0 */
+/* 0.8.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.7.0 */
+/* 0.8.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,4 +1,4 @@
-/* 0.7.0 */
+/* 0.8.0 */
 import { Expression } from '../../math-json/math-json-format';
 import { BoxedExpression, IComputeEngine } from '../public';
 export declare function isLatexString(s: unknown): s is string;
@@ -25,8 +25,8 @@ export declare function getSubexpressions(expr: BoxedExpression, head: string):
  * if `preferDecimal` is false, create them as machine number
  */
 export declare function preferDecimal(ce: IComputeEngine): boolean;
-/** If result of a numeric evaluation is a complex number,
- * return `NaN` if `ce.useComplex` is false
+/** When result of a numeric evaluation is a complex number,
+ * return `NaN` if not `complexallowed()`
  */
 export declare function complexAllowed(ce: IComputeEngine): boolean;
 /**

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

@@ -1,10 +1,9 @@
-/* 0.7.0 */
+/* 0.8.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, Substitution, SymbolDefinition, BoxedRuleSet, Rule, JsonSerializationOptions, ComputeEngineStats, Metadata, BoxedDomain, DomainExpression, BoxedLambdaExpression, FunctionDefinition } from './public';
-import { BoxedFunction } from './boxed-expression/boxed-function';
 /**
  *
  * To use the CortexJS Compute Engine, create a `ComputeEngine` instance.
@@ -284,7 +283,7 @@ export declare class ComputeEngine implements IComputeEngine {
     box(expr: Decimal | Complex | [num: number, denom: number] | SemiBoxedExpression): BoxedExpression;
     fn(head: string, ops: BoxedExpression[], metadata?: Metadata): BoxedExpression;
     /** @internal */
-    _fn(head: string | BoxedExpression, ops: BoxedExpression[], metadata?: Metadata): BoxedFunction;
+    _fn(head: string | BoxedExpression, ops: BoxedExpression[], metadata?: Metadata): BoxedExpression;
     error(message: ['invalid-domain', ...SemiBoxedExpression[]], where?: SemiBoxedExpression): BoxedDomain;
     error(message: string | [string, ...SemiBoxedExpression[]], where?: SemiBoxedExpression): BoxedExpression;
     add(ops: BoxedExpression[], metadata?: Metadata): BoxedExpression;

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

@@ -1,3 +1,3 @@
-/* 0.7.0 */
+/* 0.8.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.7.0 */
+/* 0.8.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.7.0 */
+/* 0.8.0 */
 export declare const DEFINITIONS_ALGEBRA: LatexDictionary;

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

@@ -1,2 +1,2 @@
-/* 0.7.0 */
+/* 0.8.0 */
 export declare const DEFINITIONS_ARITHMETIC: LatexDictionary;

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

@@ -1,2 +1,2 @@
-/* 0.7.0 */
+/* 0.8.0 */
 export declare const DEFINITIONS_CALCULUS: LatexDictionary;

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

@@ -1,2 +1,2 @@
-/* 0.7.0 */
+/* 0.8.0 */
 export declare const DEFINITIONS_CORE: LatexDictionary;

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

@@ -1,2 +1,2 @@
-/* 0.7.0 */
+/* 0.8.0 */
 export declare const DEFINITIONS_INEQUALITIES: LatexDictionary;

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

@@ -1,2 +1,2 @@
-/* 0.7.0 */
+/* 0.8.0 */
 export declare const DEFINITIONS_LOGIC: LatexDictionary;

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

@@ -1,2 +1,2 @@
-/* 0.7.0 */
+/* 0.8.0 */
 export declare const DEFINITIONS_OTHERS: LatexDictionary;

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

@@ -1,2 +1,2 @@
-/* 0.7.0 */
+/* 0.8.0 */
 export declare const DEFINITIONS_SETS: LatexDictionary;

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

@@ -1,2 +1,2 @@
-/* 0.7.0 */
+/* 0.8.0 */
 export declare const DEFINITIONS_SYMBOLS: LatexDictionary;

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

@@ -1,2 +1,2 @@
-/* 0.7.0 */
+/* 0.8.0 */
 export declare const DEFINITIONS_TRIGONOMETRY: LatexDictionary;

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

@@ -1,4 +1,4 @@
-/* 0.7.0 */
+/* 0.8.0 */
 import { WarningSignal } from '../../../common/signals';
 export declare type CommonEntry = {
     name?: string;

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

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