@cortex-js/compute-engine 0.28.0 → 0.29.0

package/dist/{math-json.js → math-json.cjs}

@@ -1,4 +1,4 @@
-/** MathJSON 0.28.0 */
+/** MathJSON 0.29.0 */
     (function(global,factory){typeof exports === 'object' && typeof module !== 'undefined' ? factory(exports) : typeof define === 'function' && define.amd ? define(['exports'],factory):(global = typeof globalThis !== 'undefined' ? globalThis : global || self, factory(global.MathJson = {}));})(this, (function (exports) { 'use strict';
 var MathJson = (() => {
   var __defProp = Object.defineProperty;
@@ -407,7 +407,7 @@ var MathJson = (() => {
   }
 
   // src/math-json.ts
-  var version = "0.28.0";
+  var version = "{{SDK_VERSION}}";
   return __toCommonJS(math_json_exports);
 })();
 Object.assign(exports, MathJson); Object.defineProperty(exports, '__esModule', { value: true });}));

package/dist/math-json.esm.js

@@ -1,4 +1,4 @@
-/** Compute Engine 0.28.0 */
+/** Compute Engine 0.29.0 */
 
 // src/common/json5.ts
 var JSON5 = class {
@@ -373,7 +373,7 @@ function mapArgs(expr, fn) {
 }
 
 // src/math-json.ts
-var version = "0.28.0";
+var version = "0.29.0";
 export {
   dictionaryFromExpression,
   isFunctionObject,

package/dist/{math-json.min.js → math-json.min.cjs}

@@ -1,6 +1,6 @@
-/** MathJSON 0.28.0 */
+/** MathJSON 0.29.0 */
     (function(global,factory){typeof exports === 'object' && typeof module !== 'undefined' ? factory(exports) : typeof define === 'function' && define.amd ? define(['exports'],factory):(global = typeof globalThis !== 'undefined' ? globalThis : global || self, factory(global.MathJson = {}));})(this, (function (exports) { 'use strict';
 var MathJson=(()=>{var a=Object.defineProperty;var k=Object.getOwnPropertyDescriptor;var C=Object.getOwnPropertyNames;var x=Object.prototype.hasOwnProperty;var A=(n,t)=>{for(var i in t)a(n,i,{get:t[i],enumerable:!0})},w=(n,t,i,e)=>{if(t&&typeof t=="object"||typeof t=="function")for(let r of C(t))!x.call(n,r)&&r!==i&&a(n,r,{get:()=>t[r],enumerable:!(e=k(t,r))||e.enumerable});return n};var I=n=>w(a({},"__esModule",{value:!0}),n);var S={};A(S,{dictionaryFromExpression:()=>g,isFunctionObject:()=>u,isStringObject:()=>y,isSymbolObject:()=>f,mapArgs:()=>E,operand:()=>b,operator:()=>l,stringValue:()=>c,symbol:()=>m,version:()=>v});var o=class{static parse(t){let i=new h(t),e=i.parseValue();if(i.skipWhitespace(),!i.isAtEnd())throw i.error(`Unexpected token '${i.currentChar()}' after parsing complete value`);return e}},h=class{constructor(t){this.index=0;this.text=t}parseValue(){if(this.skipWhitespace(),this.isAtEnd())throw this.error("Unexpected end of input");let t=this.currentChar();return t==="{"?this.parseObject():t==="["?this.parseArray():t==='"'||t==="'"?this.parseString():t==="-"||t==="+"||t>="0"&&t<="9"||t==="."?this.parseNumber():this.parseIdentifier()}parseObject(){let t={};if(this.expectChar("{"),this.skipWhitespace(),this.currentChar()==="}")return this.index++,t;for(;;){this.skipWhitespace();let i,e=this.currentChar();e==='"'||e==="'"?i=this.parseString():i=this.parseIdentifier(),this.skipWhitespace(),this.expectChar(":"),this.skipWhitespace();let r=this.parseValue();if(t[i]=r,this.skipWhitespace(),this.currentChar()===","){if(this.index++,this.skipWhitespace(),this.currentChar()==="}"){this.index++;break}}else if(this.currentChar()==="}"){this.index++;break}else throw this.error(`Expected ',' or '}' in object but found '${this.currentChar()}'`)}return t}parseArray(){let t=[];if(this.expectChar("["),this.skipWhitespace(),this.currentChar()==="]")return this.index++,t;for(;;)if(this.skipWhitespace(),t.push(this.parseValue()),this.skipWhitespace(),this.currentChar()===","){if(this.index++,this.skipWhitespace(),this.currentChar()==="]"){this.index++;break}}else if(this.currentChar()==="]"){this.index++;break}else throw this.error(`Expected ',' or ']' in array but found '${this.currentChar()}'`);return t}parseString(){let t=this.currentChar();if(t!=='"'&&t!=="'")throw this.error(`String should start with a quote, got '${t}'`);this.index++;let i="";for(;!this.isAtEnd();){let e=this.currentChar();if(e===t)return this.index++,i;if(e==="\\"){if(this.index++,this.isAtEnd())throw this.error("Unterminated escape sequence in string");let r=this.currentChar();switch(r){case"b":i+="\b";break;case"f":i+="\f";break;case"n":i+=`
 `;break;case"r":i+="\r";break;case"t":i+="	";break;case"v":i+="\v";break;case"\\":i+="\\";break;case"'":i+="'";break;case'"':i+='"';break;case"0":i+="\0";break;case"u":{this.index++;let s=this.text.substr(this.index,4);if(!/^[0-9a-fA-F]{4}$/.test(s))throw this.error(`Invalid Unicode escape sequence: \\u${s}`);i+=String.fromCharCode(parseInt(s,16)),this.index+=3;break}default:i+=r}this.index++}else i+=e,this.index++}throw this.error("Unterminated string literal")}parseNumber(){let t=this.index;if(this.text.startsWith("-Infinity",this.index))return this.index+=9,-1/0;if(this.text.startsWith("+Infinity",this.index))return this.index+=9,1/0;if(this.text.startsWith("Infinity",this.index))return this.index+=8,1/0;for(;!this.isAtEnd()&&/[0-9+\-_.eE]/.test(this.currentChar());)this.index++;let i=this.text.slice(t,this.index),e=i.replace(/_/g,""),r=Number(e);if(isNaN(r))throw this.error(`Invalid number: ${i}`);return r}parseIdentifier(){let t=this.index,i=this.currentChar();if(!/[a-zA-Z$_]/.test(i))throw this.error(`Unexpected token '${i}'`);for(this.index++;!this.isAtEnd();){let r=this.currentChar();if(!/[a-zA-Z0-9$_]/.test(r))break;this.index++}let e=this.text.slice(t,this.index);return e==="true"?!0:e==="false"?!1:e==="null"?null:e==="Infinity"?1/0:e==="NaN"?NaN:e}skipWhitespace(){for(;!this.isAtEnd();){let t=this.currentChar();if(/\s/.test(t)){this.index++;continue}if(t==="/"){let i=this.peekChar(1);if(i==="/"){for(this.index+=2;!this.isAtEnd()&&this.currentChar()!==`
-`;)this.index++;continue}else if(i==="*"){for(this.index+=2;!this.isAtEnd()&&!(this.currentChar()==="*"&&this.peekChar(1)==="/");)this.index++;if(this.isAtEnd())throw this.error("Unterminated multi-line comment");this.index+=2;continue}}break}}expectChar(t){if(this.currentChar()!==t)throw this.error(`Expected '${t}' but found '${this.currentChar()}'`);this.index++}currentChar(){return this.text[this.index]}peekChar(t){return this.text[this.index+t]}isAtEnd(){return this.index>=this.text.length}error(t){return new Error(`${t} at position ${this.index}`)}};function f(n){return n!==null&&typeof n=="object"&&"sym"in n}function y(n){return n!==null&&typeof n=="object"&&"str"in n}function u(n){return n!==null&&typeof n=="object"&&"fn"in n}function c(n){return n==null?null:typeof n=="object"&&"str"in n?n.str:typeof n!="string"||n.length<2||n.at(0)!=="'"||n.at(-1)!=="'"?null:n.substring(1,n.length-1)}function l(n){return Array.isArray(n)?n[0]:n==null?"":u(n)?n.fn[0]:""}function p(n){return Array.isArray(n)?n.slice(1):n!==void 0&&u(n)?n.fn.slice(1):[]}function b(n,t){return Array.isArray(n)?n[t]??null:n===null||!u(n)?null:n.fn[t]??null}function N(n){return n==null?0:Array.isArray(n)?Math.max(0,n.length-1):u(n)?Math.max(0,n.fn.length-1):0}function m(n){if(typeof n=="string")return/^[+-]?[0-9\.]/.test(n)||n.length>=2&&n[0]==="'"&&n[n.length-1]==="'"?null:n;if(n==null)return null;let t=f(n)?n.sym:n;return typeof t!="string"?null:t}function d(n){let t=l(n);if(t==="KeyValuePair"||t==="Tuple"||t==="Pair"){let[i,e]=p(n),r=c(i);return r?[r,e??"Nothing"]:null}return null}function g(n){if(n===null)return null;if(typeof n=="object"&&!("sym"in n)&&!("num"in n)&&!("str"in n)&&!("fn"in n))return n;if(typeof n=="string"&&n[0]==="{"&&n[n.length-1]==="}")try{return o.parse(n)}catch{return null}let t=d(n);if(t)return{[t[0]]:t[1]};if(l(n)==="Dictionary"){let i={},e=p(n);for(let r=1;r<N(n);r++){let s=d(e[r]);s&&(i[s[0]]=s[1])}return i}return null}function E(n,t){let i=null;if(Array.isArray(n)&&(i=n),u(n)&&(i=n.fn),i===null)return[];let e=1,r=[];for(;e<i.length;)r.push(t(i[e])),e+=1;return r}var v="0.28.0";return I(S);})();
+`;)this.index++;continue}else if(i==="*"){for(this.index+=2;!this.isAtEnd()&&!(this.currentChar()==="*"&&this.peekChar(1)==="/");)this.index++;if(this.isAtEnd())throw this.error("Unterminated multi-line comment");this.index+=2;continue}}break}}expectChar(t){if(this.currentChar()!==t)throw this.error(`Expected '${t}' but found '${this.currentChar()}'`);this.index++}currentChar(){return this.text[this.index]}peekChar(t){return this.text[this.index+t]}isAtEnd(){return this.index>=this.text.length}error(t){return new Error(`${t} at position ${this.index}`)}};function f(n){return n!==null&&typeof n=="object"&&"sym"in n}function y(n){return n!==null&&typeof n=="object"&&"str"in n}function u(n){return n!==null&&typeof n=="object"&&"fn"in n}function c(n){return n==null?null:typeof n=="object"&&"str"in n?n.str:typeof n!="string"||n.length<2||n.at(0)!=="'"||n.at(-1)!=="'"?null:n.substring(1,n.length-1)}function l(n){return Array.isArray(n)?n[0]:n==null?"":u(n)?n.fn[0]:""}function p(n){return Array.isArray(n)?n.slice(1):n!==void 0&&u(n)?n.fn.slice(1):[]}function b(n,t){return Array.isArray(n)?n[t]??null:n===null||!u(n)?null:n.fn[t]??null}function N(n){return n==null?0:Array.isArray(n)?Math.max(0,n.length-1):u(n)?Math.max(0,n.fn.length-1):0}function m(n){if(typeof n=="string")return/^[+-]?[0-9\.]/.test(n)||n.length>=2&&n[0]==="'"&&n[n.length-1]==="'"?null:n;if(n==null)return null;let t=f(n)?n.sym:n;return typeof t!="string"?null:t}function d(n){let t=l(n);if(t==="KeyValuePair"||t==="Tuple"||t==="Pair"){let[i,e]=p(n),r=c(i);return r?[r,e??"Nothing"]:null}return null}function g(n){if(n===null)return null;if(typeof n=="object"&&!("sym"in n)&&!("num"in n)&&!("str"in n)&&!("fn"in n))return n;if(typeof n=="string"&&n[0]==="{"&&n[n.length-1]==="}")try{return o.parse(n)}catch{return null}let t=d(n);if(t)return{[t[0]]:t[1]};if(l(n)==="Dictionary"){let i={},e=p(n);for(let r=1;r<N(n);r++){let s=d(e[r]);s&&(i[s[0]]=s[1])}return i}return null}function E(n,t){let i=null;if(Array.isArray(n)&&(i=n),u(n)&&(i=n.fn),i===null)return[];let e=1,r=[];for(;e<i.length;)r.push(t(i[e])),e+=1;return r}var v="{{SDK_VERSION}}";return I(S);})();
 Object.assign(exports, MathJson); Object.defineProperty(exports, '__esModule', { value: true });}));

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

@@ -1,4 +1,4 @@
-/** Compute Engine 0.28.0 */
+/** Compute Engine 0.29.0 */
 
 // src/common/json5.ts
 var JSON5 = class {
@@ -373,7 +373,7 @@ function mapArgs(expr, fn) {
 }
 
 // src/math-json.ts
-var version = "0.28.0";
+var version = "0.29.0";
 export {
   dictionaryFromExpression,
   isFunctionObject,

package/dist/types/common/ansi-codes.d.ts

@@ -1,4 +1,4 @@
-/* 0.28.0 */
+/* 0.29.0 */
 export declare const DEFAULT_COLOR = "\u001B[39m";
 export declare const DEFAULT_BG = "\u001B[49m";
 export declare const WHITE_BG = "\u001B[47m";

package/dist/types/common/fuzzy-string-match.d.ts

@@ -1,2 +1,2 @@
-/* 0.28.0 */
+/* 0.29.0 */
 export declare function fuzzyStringMatch(invalidWord: string, validWords: string[]): string | null;

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

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

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

@@ -1,4 +1,4 @@
-/* 0.28.0 */
+/* 0.29.0 */
     cause: unknown;
     value: T;
     constructor({ message, value, cause, }?: {

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

@@ -1,3 +1,3 @@
-/* 0.28.0 */
+/* 0.29.0 */
     static parse(input: string): any;
 }

package/dist/types/common/one-of.d.ts

@@ -1,7 +1,8 @@
-/* 0.28.0 */
+/* 0.29.0 */
     infer Head,
     ...infer Rem
 ] ? MergeTypes<Rem, Res & Head> : Res;
+/** @internal  */
 export type OneOf<TypesArray extends any[], Res = never, AllProperties = MergeTypes<TypesArray>> = TypesArray extends [infer Head, ...infer Rem] ? OneOf<Rem, Res | OnlyFirst<Head, AllProperties>, AllProperties> : Res;
 type OnlyFirst<F, S> = F & {
     [Key in keyof Omit<S, keyof F>]?: never;

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

@@ -1,5 +1,4 @@
-/* 0.28.0 */
-/** @category Error Handling */
+/* 0.29.0 */
 export type RuntimeSignalCode = 'timeout' | 'out-of-memory' | 'recursion-depth-exceeded' | 'iteration-limit-exceeded';
 /** @category Error Handling */
 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');

package/dist/types/common/type/boxed-type.d.ts

@@ -1,4 +1,5 @@
-/* 0.28.0 */
+/* 0.29.0 */
+/** @category Type */
 export declare class BoxedType {
     static unknown: BoxedType;
     type: Type;

package/dist/types/common/type/parse.d.ts

@@ -1,4 +1,4 @@
-/* 0.28.0 */
+/* 0.29.0 */
 export declare function parseType(s: undefined): undefined;
 export declare function parseType(s: string | Type): Type;
 export declare function parseType(s: string | Type | undefined): Type | undefined;

package/dist/types/common/type/primitive.d.ts

@@ -1,4 +1,4 @@
-/* 0.28.0 */
+/* 0.29.0 */
 /** All the types representing numeric values */
 export declare const NUMERIC_TYPES: PrimitiveType[];
 export declare const COLLECTION_TYPES: PrimitiveType[];

package/dist/types/common/type/serialize.d.ts

@@ -1,2 +1,2 @@
-/* 0.28.0 */
+/* 0.29.0 */
 export declare function typeToString(type: Type, precedence?: number): string;

package/dist/types/common/type/subtype.d.ts

@@ -1,4 +1,4 @@
-/* 0.28.0 */
+/* 0.29.0 */
 /** Return true if lhs is a subtype of rhs */
 export declare function isPrimitiveSubtype(lhs: PrimitiveType, rhs: PrimitiveType): boolean;
 /** Return true if lhs is a subtype of rhs */

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

@@ -1,4 +1,4 @@
-/* 0.28.0 */
+/* 0.29.0 */
  * A primitive type is a simple type that represents a concrete value.
  *
  * - `any`: the top type
@@ -10,14 +10,14 @@
  *
  * - `expression`:
  *    - a symbolic expression, such as `["Add", "x", 1]`
- *    - <value>
+ *    - `<value>`
  *    - `symbol`: a symbol, such as `x`.
  *    - `function`: a function expression
  *      such as `["Function", ["Add", "x", 1], "x"]`.
  *
  * - `value`
  *    - `scalar`
- *      - <number>
+ *      - `<number>`
  *      - `boolean`: a boolean value: `True` or `False`.
  *      - `string`: a string of characters.
  *    - `collection`
@@ -130,110 +130,105 @@ export type Type = PrimitiveType | AlgebraicType | NegationType | CollectionType
  * The type is represented either by a primitive type (e.g. number, complex, collection, etc.), or a compound type (e.g. tuple, function signature, etc.).
  *
  * Types are described using the following BNF grammar:
-
-```bnf
-<type> ::= <union_type> | "(" <type> ")"
-
-<union_type> ::= <intersection_type> (" | " <intersection_type>)*
-
-<intersection_type> ::= <primary_type> (" & " <primary_type>)*
-
-<primary_type> ::=  <primitive>
-                | <tuple_type>
-                | <signature>
-                | <list_type>
-
-<primitive> ::= "any" | "unknown" | <value-type> | <symbolic-type> | <numeric-type>
-
-<numeric-type> ::= "number" | "complex" | "imaginary" | "real" | "rational" | "integer"
-
-<value-type> ::= "value" | <numeric-type> | "collection" | "boolean" | "string"
-
-<symbolic-type> ::= "expression" | "function" | "symbol"
-
-<tuple_type> ::= "tuple<" (<name> <type> "," <named_tuple_elements>*) ">"
-            | "tuple<" (<type> "," <unnamed_tuple_elements>*) ">" |
-            | "tuple<" <tuple_elements> ">"
-
-<tuple_elements> ::= <unnamed_tuple_elements> | <named_tuple_elements>
-
-<unnamed_tuple_elements> ::= <type> ("," <type>)*
-
-<named_tuple_elements> ::= <name> <type> ("," <name> <type>)*
-
-<signature> ::=  <arguments> " -> " <type>
-
-<arguments> ::= "()"
-            | <argument>
-            | "(" <argument-list> ")"
-
-<argument> ::= <type>
-            | <name> <type>
-
-<rest_argument> ::= "..." <type>
-            | <name> "..." <type>
-
-<optional_argument> ::= <argument> "?"
-
-<optional_arguments> ::= <optional_argument> ("," <optional_argument>)*
-
-<required_arguments> ::= <argument> ("," <argument>)*
-
-<argument-list> ::= <required_arguments> ("," <rest_argument>)?
-            | <required_arguments> <optional_arguments>?
-            | <optional_arguments>?
-            | <rest_argument>
-
-
-<list_type> ::= "list<" <type> <dimensions>? ">"
-
-<dimensions> ::= "^" <fixed_size>
-            | "^(" <multi_dimensional_size> ")"
-
-<fixed_size> ::= <positive-integer_literal>
-
-<multi_dimensional_size> ::= <positive-integer_literal> "x" <positive-integer_literal> ("x" <positive-integer_literal>)*
-
-<map> ::= "map" | "map<" <map_elements> ">"
-
-<map_elements> ::= <name> <type> ("," <name> <type>)*
-
-<set> ::= "set<" <type> ">"
-
-<collection ::= "collection<" <type> ">"
-
-<name> ::= <identifier> ":"
-
-<identifier> ::= [a-zA-Z_][a-zA-Z0-9_]*
-
-<positive-integer_literal> ::= [1-9][0-9]*
-```
-
-
-Examples of types strings:
-   "number"    -- a simple type primitive
-   "(number, boolean)" -- a tuple type
-   "(x: number, y:boolean)" -- a named tuple/record type. Either all arguments are named, or none are
-
-   "collection<any>" -- an arbitrary collection type, with no length or element type restrictions
-   "collection<integer>" -- a collection type where all the elements are integers
-   "collection<(number, boolean)>" -- a collection of tuples
-   "collection<(value:number, seen:boolean)>" -- a collection of named tuples
-   "[boolean]^32" -- a collection type with a fixed size of 32 elements
-   "[integer]^(2x3)" -- an integer matrix of 2 columns and 3 rows
-   "[integer]^(2x3x4)" -- a tensor of dimensions 2x3x4
-
-   "number -> number" -- a signature with a single argument
-   "(x: number, number) -> number" -- a signature with a named argument
-   "(number, y:number?) -> number" -- a signature with an optional named argument (can have several optional arguments, at the end)
-   "(number, ...number) -> number" -- a signature with a rest argument (can have only one, and no optional arguments if there is a rest argument).
-   "() -> number" -- a signature with an empty argument list
-
-   "number | boolean" -- a union type
-   "(x: number) & (y: number)" -- an intersection type
-   "number | ((x: number) & (y: number))" -- a union type with an intersection type
-   "(number -> number) | number" -- a union type with a signature and a primitive type
-*/
+ *
+ * ```bnf
+ * <type> ::= <union_type> | "(" <type> ")"
+ *
+ * <union_type> ::= <intersection_type> (" | " <intersection_type>)*
+ *
+ * <intersection_type> ::= <primary_type> (" & " <primary_type>)*
+ *
+ * <primary_type> ::=  <primitive>
+ *                | <tuple_type>
+ *                | <signature>
+ *                | <list_type>
+ *
+ * <primitive> ::= "any" | "unknown" | <value-type> | <symbolic-type> | <numeric-type>
+ *
+ * <numeric-type> ::= "number" | "complex" | "imaginary" | "real" | "rational" | "integer"
+ *
+ * <value-type> ::= "value" | <numeric-type> | "collection" | "boolean" | "string"
+ *
+ * <symbolic-type> ::= "expression" | "function" | "symbol"
+ *
+ * <tuple_type> ::= "tuple<" (<name> <type> "," <named_tuple_elements>*) ">"
+ *            | "tuple<" (<type> "," <unnamed_tuple_elements>*) ">" |
+ *            | "tuple<" <tuple_elements> ">"
+ *
+ * <tuple_elements> ::= <unnamed_tuple_elements> | <named_tuple_elements>
+ *
+ * <unnamed_tuple_elements> ::= <type> ("," <type>)*
+ *
+ * <named_tuple_elements> ::= <name> <type> ("," <name> <type>)*
+ *
+ * <signature> ::=  <arguments> " -> " <type>
+ *
+ * <arguments> ::= "()"
+ *            | <argument>
+ *            | "(" <argument-list> ")"
+ *
+ * <argument> ::= <type>
+ *            | <name> <type>
+ *
+ * <rest_argument> ::= "..." <type>
+ *            | <name> "..." <type>
+ *
+ * <optional_argument> ::= <argument> "?"
+ *
+ * <optional_arguments> ::= <optional_argument> ("," <optional_argument>)*
+ *
+ * <required_arguments> ::= <argument> ("," <argument>)*
+ *
+ * <argument-list> ::= <required_arguments> ("," <rest_argument>)?
+ *            | <required_arguments> <optional_arguments>?
+ *            | <optional_arguments>?
+ *            | <rest_argument>
+ *
+ * <list_type> ::= "list<" <type> <dimensions>? ">"
+ *
+ * <dimensions> ::= "^" <fixed_size>
+ *            | "^(" <multi_dimensional_size> ")"
+ *
+ * <fixed_size> ::= <positive-integer_literal>
+ *
+ * <multi_dimensional_size> ::= <positive-integer_literal> "x" <positive-integer_literal> ("x" <positive-integer_literal>)*
+ *
+ * <map> ::= "map" | "map<" <map_elements> ">"
+ *
+ * <map_elements> ::= <name> <type> ("," <name> <type>)*
+ *
+ * <set> ::= "set<" <type> ">"
+ *
+ * <collection ::= "collection<" <type> ">"
+ *
+ * <name> ::= <identifier> ":"
+ *
+ * <identifier> ::= [a-zA-Z_][a-zA-Z0-9_]*
+ *
+ * <positive-integer_literal> ::= [1-9][0-9]*
+ *```
+ *
+ * Examples of types strings:
+ * - `"number"`    -- a simple type primitive
+ * - `"(number, boolean)"` -- a tuple type
+ * - `"(x: number, y:boolean)"` -- a named tuple/record type. Either all arguments are named, or none are
+ * - `"collection<any>"` -- an arbitrary collection type, with no length or element type restrictions
+ * - `"collection<integer>"` -- a collection type where all the elements are integers
+ * - `"collection<(number, boolean)>"` -- a collection of tuples
+ * - `"collection<(value:number, seen:boolean)>"` -- a collection of named tuples
+ * - `"[boolean]^32"` -- a collection type with a fixed size of 32 elements
+ * - `"[integer]^(2x3)"` -- an integer matrix of 2 columns and 3 rows
+ * - `"[integer]^(2x3x4)"` -- a tensor of dimensions 2x3x4
+ * - `"number -> number"` -- a signature with a single argument
+ * - `"(x: number, number) -> number"` -- a signature with a named argument
+ * - `"(number, y:number?) -> number"` -- a signature with an optional named argument (can have several optional arguments, at the end)
+ * - `"(number, ...number) -> number"` -- a signature with a rest argument (can have only one, and no optional arguments if there is a rest argument).
+ * - `"() -> number"` -- a signature with an empty argument list
+ * - `"number | boolean"` -- a union type
+ * - `"(x: number) & (y: number)"` -- an intersection type
+ * - `"number | ((x: number) & (y: number))"` -- a union type with an intersection type
+ * - `"(number -> number) | number"` -- a union type with a signature and a primitive type
+ */
 export type TypeString = string;
 export type TypeCompatibility = 'covariant' | 'contravariant' | 'bivariant' | 'invariant';
 export type TypeResolver = (name: string) => Type | undefined;

package/dist/types/common/type/utils.d.ts

@@ -1,4 +1,4 @@
-/* 0.28.0 */
+/* 0.29.0 */
 /** Convert two or more types into a more specific type that is a subtype of
  *  all the input types. The resulting type is usually more constrained and
  *  only encompasses values that belong to both input types.

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

@@ -1,2 +1,2 @@
-/* 0.28.0 */
+/* 0.29.0 */
 export declare function hidePrivateProperties(obj: any): void;

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

@@ -1,4 +1,4 @@
-/* 0.28.0 */
+/* 0.29.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,11 +1,11 @@
-/* 0.28.0 */
+/* 0.29.0 */
 import { Expression, MathJsonIdentifier } from '../../math-json/types';
-import type { BoxedBaseDefinition, BoxedExpression, BoxedFunctionDefinition, BoxedRuleSet, BoxedSubstitution, BoxedSymbolDefinition, CanonicalOptions, EvaluateOptions, IComputeEngine, JsonSerializationOptions, Metadata, PatternMatchOptions, Rule, RuntimeScope, Sign, SimplifyOptions, Substitution } from './public';
-import type { LatexString } from '../public';
-import type { NumericValue } from '../numeric-value/public';
-import type { SmallInteger } from '../numerics/numeric';
-import { CompiledType } from '../compile';
-import type { SerializeLatexOptions } from '../latex-syntax/public';
+import type { Type, TypeString } from '../../common/type/types';
+import { BoxedType } from '../../common/type/boxed-type';
+import type { BoxedSubstitution, Metadata, RuntimeScope, Substitution, CanonicalOptions, BoxedRuleSet, Rule, BoxedBaseDefinition, BoxedSymbolDefinition, BoxedFunctionDefinition, EvaluateOptions, CompiledType, Sign, BoxedExpression, JsonSerializationOptions, PatternMatchOptions, SimplifyOptions, TensorData, ComputeEngine } from '../global-types';
+import type { NumericValue } from '../numeric-value/types';
+import type { SmallInteger } from '../numerics/types';
+import type { LatexString, SerializeLatexOptions } from '../latex-syntax/types';
 import { AsciiMathOptions } from './ascii-math';
 /**
  * _BoxedExpression
@@ -19,12 +19,12 @@ export declare abstract class _BoxedExpression implements BoxedExpression {
     abstract get isCanonical(): boolean;
     abstract set isCanonical(_val: boolean);
     abstract match(pattern: BoxedExpression, options?: PatternMatchOptions): BoxedSubstitution | null;
-    readonly engine: IComputeEngine;
+    readonly engine: ComputeEngine;
     /** Verbatim LaTeX, obtained from a source, i.e. from parsing,
      *  not generated synthetically
      */
     verbatimLatex?: string;
-    constructor(ce: IComputeEngine, metadata?: Metadata);
+    constructor(ce: ComputeEngine, metadata?: Metadata);
     isSame(rhs: BoxedExpression): boolean;
     isEqual(rhs: number | BoxedExpression): boolean | undefined;
     isLess(_rhs: number | BoxedExpression): boolean | undefined;
@@ -61,7 +61,7 @@ export declare abstract class _BoxedExpression implements BoxedExpression {
     get latex(): LatexString;
     set latex(val: LatexString);
     get symbol(): string | null;
-    get tensor(): null | AbstractTensor<'expression'>;
+    get tensor(): null | TensorData<'expression'>;
     get string(): string | null;
     getSubexpressions(operator: MathJsonIdentifier): ReadonlyArray<BoxedExpression>;
     get subexpressions(): ReadonlyArray<BoxedExpression>;
@@ -151,7 +151,7 @@ export declare abstract class _BoxedExpression implements BoxedExpression {
         to?: 'javascript';
         functions?: Record<MathJsonIdentifier, string | ((...any: any[]) => any)>;
         vars?: Record<MathJsonIdentifier, string>;
-        imports?: Function[];
+        imports?: ((...any: any[]) => any)[];
         preamble?: string;
     }): (args: Record<string, any>) => CompiledType;
     get isCollection(): boolean;
@@ -164,6 +164,3 @@ export declare abstract class _BoxedExpression implements BoxedExpression {
     indexOf(_expr: BoxedExpression): number;
 }
 export declare function getSubexpressions(expr: BoxedExpression, name: MathJsonIdentifier): ReadonlyArray<BoxedExpression>;
-import type { Type, TypeString } from '../../common/type/types';
-import { AbstractTensor } from '../tensor/tensors';
-import { BoxedType } from '../../common/type/boxed-type';

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

@@ -1,5 +1,5 @@
-/* 0.28.0 */
+/* 0.29.0 */
 import { Decimal } from 'decimal.js';
-import type { BoxedExpression } from '../public';
+import type { BoxedExpression } from '../global-types';
 export declare function apply(expr: BoxedExpression, fn: (x: number) => number | Complex, bigFn?: (x: Decimal) => Decimal | Complex | number, complexFn?: (x: Complex) => number | Complex): BoxedExpression | undefined;
 export declare function apply2(expr1: BoxedExpression, expr2: BoxedExpression, fn: (x1: number, x2: number) => number | Complex, bigFn?: (x1: Decimal, x2: Decimal) => Decimal | Complex | number, complexFn?: (x1: Complex, x2: number | Complex) => Complex | number): BoxedExpression | undefined;

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

@@ -1,6 +1,6 @@
-/* 0.28.0 */
-import { Type } from '../../common/type/types';
+/* 0.29.0 */
 import { BoxedType } from '../../common/type/boxed-type';
+import type { BoxedExpression, ComputeEngine } from '../global-types';
 /**
  *
  * The canonical form of `Add`:
@@ -10,7 +10,7 @@ import { BoxedType } from '../../common/type/boxed-type';
  * - sort the terms
  *
  */
-export declare function canonicalAdd(ce: IComputeEngine, ops: ReadonlyArray<BoxedExpression>): BoxedExpression;
+export declare function canonicalAdd(ce: ComputeEngine, ops: ReadonlyArray<BoxedExpression>): BoxedExpression;
 export declare function addType(args: ReadonlyArray<BoxedExpression>): Type | BoxedType;
 export declare function add(...xs: ReadonlyArray<BoxedExpression>): BoxedExpression;
 export declare function addN(...xs: ReadonlyArray<BoxedExpression>): BoxedExpression;

package/dist/types/compute-engine/boxed-expression/arithmetic-mul-div.d.ts

@@ -0,0 +1,27 @@
+/* 0.29.0 */
+/**
+ * Canonical form of 'Divide' (and 'Rational')
+ * - remove denominator of 1
+ * - simplify the signs
+ * - factor out negate (make the numerator and denominator positive)
+ * - if numerator and denominator are integer literals, return a rational number
+ *   or Rational expression
+ * - evaluate number literals
+ */
+export declare function canonicalDivide(op1: BoxedExpression, op2: BoxedExpression): BoxedExpression;
+export declare function div(num: BoxedExpression, denom: number | BoxedExpression): BoxedExpression;
+/**
+ * The canonical form of `Multiply`:
+ * - removes `1` anb `-1`
+ * - simplifies the signs:
+ *    - i.e. `-y \times -x` -> `x \times y`
+ *    - `2 \times -x` -> `-2 \times x`
+ * - arguments are sorted
+ * - complex numbers promoted (['Multiply', 2, 'ImaginaryUnit'] -> 2i)
+ * - Numeric values are promoted (['Multiply', 2, 'Sqrt', 3] -> 2√3)
+ *
+ * The input ops may not be canonical, the result is canonical.
+ */
+export declare function canonicalMultiply(ce: ComputeEngine, ops: ReadonlyArray<BoxedExpression>): BoxedExpression;
+export declare function mul(...xs: ReadonlyArray<BoxedExpression>): BoxedExpression;
+export declare function mulN(...xs: ReadonlyArray<BoxedExpression>): BoxedExpression;

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

@@ -1,5 +1,5 @@
-/* 0.28.0 */
-import type { Rational } from '../numerics/rationals';
+/* 0.29.0 */
+import type { Rational } from '../numerics/types';
 export declare function asRadical(expr: BoxedExpression): Rational | null;
 export declare function canonicalPower(a: BoxedExpression, b: BoxedExpression): BoxedExpression;
 export declare function canonicalRoot(a: BoxedExpression, b: BoxedExpression | number): BoxedExpression;

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

@@ -1,4 +1,4 @@
-/* 0.28.0 */
+/* 0.29.0 */
 export type AsciiMathSerializer = (expr: BoxedExpression, precedence?: number) => string;
 export type AsciiMathOptions = {
     symbols: Record<string, string>;

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

@@ -1,8 +1,8 @@
-/* 0.28.0 */
+/* 0.29.0 */
 import { Decimal } from 'decimal.js';
-import { IComputeEngine, SemiBoxedExpression, BoxedExpression, Metadata, CanonicalOptions } from './public';
+import type { SemiBoxedExpression, BoxedExpression, CanonicalOptions, ComputeEngine, Metadata } from '../global-types';
 import { MathJsonIdentifier } from '../../math-json/types';
-import { NumericValue } from '../numeric-value/public';
+import { NumericValue } from '../numeric-value/types';
 /**
  * Given a name and a set of arguments, return a boxed function expression.
  *
@@ -10,7 +10,7 @@ import { NumericValue } from '../numeric-value/public';
  *
  * Note that `boxFunction()` should only be called from `ce.function()`
  */
-export declare function boxFunction(ce: IComputeEngine, name: MathJsonIdentifier, ops: readonly SemiBoxedExpression[], options?: {
+export declare function boxFunction(ce: ComputeEngine, name: MathJsonIdentifier, ops: readonly SemiBoxedExpression[], options?: {
     metadata?: Metadata;
     canonical?: CanonicalOptions;
     structural?: boolean;
@@ -40,7 +40,7 @@ export declare function boxFunction(ce: IComputeEngine, name: MathJsonIdentifier
  * Note that this function should only be called from `ce.box()`
  *
  */
-export declare function box(ce: IComputeEngine, expr: null | undefined | NumericValue | SemiBoxedExpression, options?: {
+export declare function box(ce: ComputeEngine, expr: null | undefined | NumericValue | SemiBoxedExpression, options?: {
     canonical?: CanonicalOptions;
     structural?: boolean;
 }): BoxedExpression;