@cortex-js/compute-engine 0.27.0 → 0.28.0

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

@@ -1,4 +1,4 @@
-/* 0.27.0 */
+/* 0.28.0 */
 import type { Expression, MathJsonNumber, MathJsonString, MathJsonSymbol, MathJsonFunction, MathJsonIdentifier } from '../../math-json';
 import type { SerializeLatexOptions, LatexDictionaryEntry, ParseLatexOptions } from '../latex-syntax/public';
 import type { IndexedLatexDictionary } from '../latex-syntax/dictionary/definitions';
@@ -9,6 +9,7 @@ import { Type, TypeString } from '../../common/type/types';
 import { AbstractTensor } from '../tensor/tensors';
 import { OneOf } from '../../common/one-of';
 import { CompiledType, JSSource } from '../compile';
+import { BoxedType } from '../../common/type/boxed-type';
 /**
  * :::info[THEORY OF OPERATIONS]
  *
@@ -900,8 +901,9 @@ export interface BoxedExpression {
      * If the type of this expression is already known, return `false`.
      *
      * If the type was not set, set it to the inferred type, return `true`
-     * If the type was previously inferred, adjust it by widening it,
-     *    return `true`
+     * If the type was previously inferred, widen it and return `true`.
+     *
+     * If the type cannot be inferred, return `false`.
      *
      * @internal
      */
@@ -917,8 +919,8 @@ export interface BoxedExpression {
      *
      * Reset the cached value associated with this expression.
      *
-     * Use when the environment has changed, for example the numeric mode
-     * or precision, to force the expression to be re-evaluated.
+     * Use when the environment, for example the precision, has changed to
+     * force the expression to be re-evaluated.
      *
      * @internal
      */
@@ -974,6 +976,13 @@ export interface BoxedExpression {
      *
      */
     evaluate(options?: Partial<EvaluateOptions>): BoxedExpression;
+    /** Asynchronous version of `evaluate()`.
+     *
+     * The `options` argument can include a `signal` property, which is an
+     * `AbortSignal` object. If the signal is aborted, a `CancellationError` is thrown.
+     *
+     */
+    evaluateAsync(options?: Partial<EvaluateOptions>): Promise<BoxedExpression>;
     /** Return a numeric approximation of the canonical form of this expression.
      *
      * Any necessary calculations, including on decimal numbers (non-integers),
@@ -1010,7 +1019,7 @@ export interface BoxedExpression {
         vars?: Record<MathJsonIdentifier, CompiledType>;
         imports?: unknown[];
         preamble?: string;
-    }): ((args?: Record<string, CompiledType>) => CompiledType | undefined) | undefined;
+    }): (args?: Record<string, CompiledType>) => CompiledType;
     /**
      * If this is an equation, solve the equation for the variables in vars.
      * Otherwise, solve the equation `this = 0` for the variables in vars.
@@ -1023,7 +1032,7 @@ export interface BoxedExpression {
      *
      *
      */
-    solve(vars: Iterable<string> | string | BoxedExpression | Iterable<BoxedExpression>): null | ReadonlyArray<BoxedExpression>;
+    solve(vars?: Iterable<string> | string | BoxedExpression | Iterable<BoxedExpression>): null | ReadonlyArray<BoxedExpression>;
     /**
      * Return a JavaScript primitive representing the value of this expression.
      *
@@ -1065,8 +1074,8 @@ export interface BoxedExpression {
      * :::
      *
      */
-    get type(): Type;
-    set type(type: Type);
+    get type(): BoxedType;
+    set type(type: Type | TypeString | BoxedType);
     /** `true` if the value of this expression is a number.
      *
      *
@@ -1434,14 +1443,14 @@ export type BoxedFunctionDefinition = BoxedBaseDefinition & FunctionDefinitionFl
      */
     inferredSignature: boolean;
     /** The type of the arguments and return value of this function */
-    signature: Type;
+    signature: BoxedType;
     /** If present, this handler can be used to more precisely determine the
      * return type based on the type of the arguments. The arguments themselves
      * should *not* be evaluated, only their types should be used.
      */
     type?: (ops: ReadonlyArray<BoxedExpression>, options: {
         engine: IComputeEngine;
-    }) => Type | TypeString | undefined;
+    }) => Type | TypeString | BoxedType | undefined;
     /** If present, this handler can be used to determine the sign of the
      *  return value of the function, based on the sign and type of its
      *  arguments.
@@ -1463,6 +1472,9 @@ export type BoxedFunctionDefinition = BoxedBaseDefinition & FunctionDefinitionFl
     evaluate?: (ops: ReadonlyArray<BoxedExpression>, options: Partial<EvaluateOptions> & {
         engine?: IComputeEngine;
     }) => BoxedExpression | undefined;
+    evaluateAsync?: (ops: ReadonlyArray<BoxedExpression>, options?: Partial<EvaluateOptions> & {
+        engine?: IComputeEngine;
+    }) => Promise<BoxedExpression | undefined>;
     evalDimension?: (ops: ReadonlyArray<BoxedExpression>, options: {
         engine: IComputeEngine;
     }) => BoxedExpression;
@@ -1532,7 +1544,7 @@ export interface BoxedSymbolDefinition extends BoxedBaseDefinition, SymbolAttrib
     neq?: (a: BoxedExpression) => boolean | undefined;
     cmp?: (a: BoxedExpression) => '=' | '>' | '<' | undefined;
     inferredType: boolean;
-    type: Type;
+    type: BoxedType;
 }
 /**
  * Given an expression and set of wildcards, return a new expression.
@@ -1692,6 +1704,7 @@ export type SimplifyOptions = {
  */
 export type EvaluateOptions = {
     numericApproximation: boolean;
+    signal: AbortSignal;
 };
 /**
  * Metadata that can be associated with a `BoxedExpression`
@@ -1719,7 +1732,7 @@ export type ArrayValue = boolean | number | string | BigNum | BoxedExpression |
 /** @category Assumptions */
 export type AssumeResult = 'internal-error' | 'not-a-predicate' | 'contradiction' | 'tautology' | 'ok';
 /** @category Compute Engine */
-export type AssignValue = boolean | number | string | LatexString | SemiBoxedExpression | ((args: ReadonlyArray<BoxedExpression>, options: EvaluateOptions & {
+export type AssignValue = boolean | number | SemiBoxedExpression | ((args: ReadonlyArray<BoxedExpression>, options: EvaluateOptions & {
     engine: IComputeEngine;
 }) => BoxedExpression) | undefined;
 /** @internal */
@@ -1761,14 +1774,30 @@ export interface IComputeEngine extends IBigNum {
     /** Absolute time beyond which evaluation should not proceed
      * @internal
      */
-    deadline?: number;
+    _deadline?: number;
+    /** Time remaining before _deadline */
+    _timeRemaining: number;
+    /** @private */
     generation: number;
-    /** @hidden */
-    readonly timeLimit: number;
-    /** @hidden */
-    readonly iterationLimit: number;
-    /** @hidden */
-    readonly recursionLimit: number;
+    /** Throw a `CancellationError` when the duration of an evaluation exceeds
+     * the time limit.
+     *
+     * Time in milliseconds, default 2000 ms = 2 seconds.
+     *
+     */
+    timeLimit: number;
+    /** Throw `CancellationError` `iteration-limit-exceeded` when the iteration limit
+     * in a loop is exceeded. Default: no limits.
+     *
+     * @experimental
+     */
+    iterationLimit: number;
+    /** Signal `recursion-depth-exceeded` when the recursion depth for this
+     * scope is exceeded.
+     *
+     * @experimental
+     */
+    recursionLimit: number;
     chop(n: number): number;
     chop(n: BigNum): BigNum | 0;
     chop(n: number | BigNum): number | BigNum;
@@ -1809,10 +1838,11 @@ export interface IComputeEngine extends IBigNum {
     }): BoxedExpression;
     string(s: string, metadata?: Metadata): BoxedExpression;
     error(message: string | string[], where?: string): BoxedExpression;
-    typeError(expectedType: Type, actualType: undefined | Type, where?: SemiBoxedExpression): BoxedExpression;
+    typeError(expectedType: Type, actualType: undefined | Type | BoxedType, where?: SemiBoxedExpression): BoxedExpression;
     hold(expr: SemiBoxedExpression): BoxedExpression;
     tuple(...elements: ReadonlyArray<number>): BoxedExpression;
     tuple(...elements: ReadonlyArray<BoxedExpression>): BoxedExpression;
+    type(type: Type | TypeString | BoxedType): BoxedType;
     rules(rules: Rule | ReadonlyArray<Rule | BoxedRule> | BoxedRuleSet | undefined | null, options?: {
         canonical?: boolean;
     }): BoxedRuleSet;
@@ -1960,11 +1990,11 @@ export type LatexString = string;
  *    value.
  * - `recursive`: if true, match recursively, otherwise match only the top
  *    level.
- * - `exact`: if true, only match expressions that are structurally identical.
- *    If false, match expressions that are structurally identical or equivalent.
+ * - `useVariations`: if false, only match expressions that are structurally identical.
+ *    If true, match expressions that are structurally identical or equivalent.
  *
- *    For example, when false, `["Add", '_a', 2]` matches `2`, with a value of
- *    `_a` of `0`. If true, the expression does not match. **Default**: `true`
+ *    For example, when true, `["Add", '_a', 2]` matches `2`, with a value of
+ *    `_a` of `0`. If false, the expression does not match. **Default**: `false`
  *
  * @category Pattern Matching
  *
@@ -2073,34 +2103,7 @@ export type RuntimeIdentifierDefinitions = Map<string, OneOf<[BoxedSymbolDefinit
  *
  * @category Compute Engine
  */
-export type Scope = {
-    /** Signal `timeout` when the execution time for this scope is exceeded.
-     *
-     * Time in seconds, default 2s.
-     *
-     * @experimental
-     */
-    timeLimit: number;
-    /** Signal `out-of-memory` when the memory usage for this scope is exceeded.
-     *
-     * Memory is in Megabytes, default: 1Mb.
-     *
-     * @experimental
-     */
-    memoryLimit: number;
-    /** Signal `recursion-depth-exceeded` when the recursion depth for this
-     * scope is exceeded.
-     *
-     * @experimental
-     */
-    recursionLimit: number;
-    /** Signal `iteration-limit-exceeded` when the iteration limit
-     * in a loop is exceeded. Default: no limits.
-     *
-     * @experimental
-     */
-    iterationLimit: number;
-};
+export type Scope = {};
 /** @category Compute Engine */
 export type RuntimeScope = Scope & {
     parentScope?: RuntimeScope;
@@ -2156,7 +2159,7 @@ export type FunctionDefinition = BaseDefinition & Partial<FunctionDefinitionFlag
      */
     type?: (ops: ReadonlyArray<BoxedExpression>, options: {
         engine: IComputeEngine;
-    }) => Type | TypeString | undefined;
+    }) => Type | TypeString | BoxedType | undefined;
     /** Return the sign of the function expression.
      *
      * If the sign cannot be determined, return `undefined`.
@@ -2264,6 +2267,13 @@ export type FunctionDefinition = BaseDefinition & Partial<FunctionDefinitionFlag
     evaluate?: ((ops: ReadonlyArray<BoxedExpression>, options: EvaluateOptions & {
         engine: IComputeEngine;
     }) => BoxedExpression | undefined) | BoxedExpression;
+    /**
+     * An option asynchronous version of `evaluate`.
+     *
+     */
+    evaluateAsync?: (ops: ReadonlyArray<BoxedExpression>, options: EvaluateOptions & {
+        engine: IComputeEngine;
+    }) => Promise<BoxedExpression | undefined>;
     /** Dimensional analysis
      * @experimental
      */

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

@@ -1,4 +1,4 @@
-/* 0.27.0 */
+/* 0.28.0 */
 export declare const ConditionParent: {
     boolean: string;
     string: string;

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

@@ -1,3 +1,3 @@
-/* 0.27.0 */
+/* 0.28.0 */
 import type { BoxedExpression, IComputeEngine, JsonSerializationOptions } from '../public';
 export declare function serializeJson(ce: IComputeEngine, expr: BoxedExpression, options: Readonly<JsonSerializationOptions>): Expression;

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

@@ -1,4 +1,4 @@
-/* 0.27.0 */
+/* 0.28.0 */
 export declare function sgn(expr: BoxedExpression): Sign | undefined;
 export declare function positiveSign(s: Sign | undefined): boolean | undefined;
 export declare function nonNegativeSign(s: Sign | undefined): boolean | undefined;

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

@@ -1,4 +1,4 @@
-/* 0.27.0 */
+/* 0.28.0 */
 type InternalSimplifyOptions = SimplifyOptions & {
     useVariations: boolean;
 };

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

@@ -1,4 +1,4 @@
-/* 0.27.0 */
+/* 0.28.0 */
 import { Rule } from '../public';
 export declare const UNIVARIATE_ROOTS: Rule[];
 /**

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

@@ -1,4 +1,4 @@
-/* 0.27.0 */
+/* 0.28.0 */
 import type { BoxedExpression, IComputeEngine } from '../public';
 export type DataTypeMap = {
     float64: number;

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

@@ -1,4 +1,4 @@
-/* 0.27.0 */
+/* 0.28.0 */
 export declare class Terms {
     private engine;
     private terms;

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

@@ -1,4 +1,4 @@
-/* 0.27.0 */
+/* 0.28.0 */
 export declare function Fu(exp: BoxedExpression): RuleStep | undefined;
 /** Assuming x in an expression in radians, convert to current angular unit. */
 export declare function radiansToAngle(x: BoxedExpression | undefined): BoxedExpression | undefined;

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

@@ -1,4 +1,4 @@
-/* 0.27.0 */
+/* 0.28.0 */
 import { Type } from '../../common/type/types';
 export declare function isBoxedExpression(x: unknown): x is BoxedExpression;
 /**

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

@@ -1,4 +1,4 @@
-/* 0.27.0 */
+/* 0.28.0 */
 import type { IComputeEngine } from '../public';
 import { Type } from '../../common/type/types';
 /**
@@ -28,7 +28,7 @@ export declare function checkNumericArgs(ce: IComputeEngine, ops: ReadonlyArray<
     flatten?: string;
 }): ReadonlyArray<BoxedExpression>;
 /**
- * Check that an argument is of the expected domain.
+ * Check that an argument is of the expected type.
  *
  * Converts the arguments to canonical
  */

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

@@ -1,4 +1,4 @@
-/* 0.27.0 */
+/* 0.28.0 */
 /** If a collection has fewer than this many elements, eagerly evaluate it.
  *
  * For example, evaluate the Union of two sets with 10 elements each will

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

@@ -1,4 +1,4 @@
-/* 0.27.0 */
+/* 0.28.0 */
 import type { BoxedExpression } from './public';
 export type CompiledType = boolean | number | string | object;
 export type JSSource = string;

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

@@ -1,4 +1,4 @@
-/* 0.27.0 */
+/* 0.28.0 */
 import { Decimal } from 'decimal.js';
 import { Expression, MathJsonIdentifier, MathJsonNumber } from '../math-json/types';
 import type { LibraryCategory, LatexDictionaryEntry, LatexString, ParseLatexOptions } from './latex-syntax/public';
@@ -11,6 +11,9 @@ import { ExactNumericValueData, NumericValue, NumericValueData } from './numeric
 import { Type, TypeString } from '../common/type/types';
 import { OneOf } from '../common/one-of';
 import { BigNum } from './numerics/bignum';
+import { BoxedType } from '../common/type/boxed-type';
+export type * from '../common/type/types';
+export * from '../common/type/subtype';
 /**
  *
  * To use the Compute Engine, create a `ComputeEngine` instance:
@@ -195,9 +198,8 @@ export declare class ComputeEngine implements IComputeEngine {
      *
      * The order of the dictionaries matter: the definitions from the later ones
      * override the definitions from earlier ones. The first dictionary should
-     * be the `'core'` dictionary which include some basic definitions such
-     * as domains (`Booleans`, `Numbers`, etc...) that are used by later
-     * dictionaries.
+     * be the `'core'` dictionary which include basic definitions that are used
+     * by later dictionaries.
      *
      *
      * @param options.precision Specific how many digits of precision
@@ -212,6 +214,7 @@ export declare class ComputeEngine implements IComputeEngine {
         precision?: number | 'machine';
         tolerance?: number | 'auto';
     });
+    toString(): string;
     get latexDictionary(): Readonly<LatexDictionaryEntry[]>;
     set latexDictionary(dic: Readonly<LatexDictionaryEntry[]>);
     get indexedLatexDictionary(): IndexedLatexDictionary;
@@ -231,30 +234,39 @@ export declare class ComputeEngine implements IComputeEngine {
     get stats(): ComputeEngineStats;
     get precision(): number;
     /** The precision, or number of significant digits, of numeric
-     * calculations when the numeric mode is `"auto"` or `"bignum"`.
+     * calculations.
      *
      * To make calculations using more digits, at the cost of expanded memory
      * usage and slower computations, set the `precision` higher.
      *
-     * If the numeric mode is not `"auto"` or `"bignum"`, it is set to `"auto"`.
-     *
      * Trigonometric operations are accurate for precision up to 1,000.
      *
      */
     set precision(p: number | 'machine' | 'auto');
     /**
-     * The unit used for angles in trigonometric functions.
+     * The unit used for unitless angles in trigonometric functions.
+     *
+     * - `rad`: radian, $2\pi$ radians is a full circle
+     * - `deg`: degree, 360 degrees is a full circle
+     * - `grad`: gradians, 400 gradians is a full circle
+     * - `turn`: turn, 1 turn is a full circle
      *
      * Default is `"rad"` (radians).
      */
     get angularUnit(): AngularUnit;
     set angularUnit(u: AngularUnit);
-    /** @experimental */
     get timeLimit(): number;
-    /** @experimental */
+    set timeLimit(t: number);
+    private _timeLimit;
+    /** The time after which the time limit has been exceeded */
+    _deadline: number | undefined;
+    get _timeRemaining(): number;
     get iterationLimit(): number;
-    /** @experimental */
+    set iterationLimit(t: number);
+    private _iterationLimit;
     get recursionLimit(): number;
+    set recursionLimit(t: number);
+    private _recursionLimit;
     get tolerance(): number;
     /**
      * Values smaller than the tolerance are considered to be zero for the
@@ -524,7 +536,7 @@ export declare class ComputeEngine implements IComputeEngine {
      * The result is canonical.
      */
     error(message: string | string[], where?: string): BoxedExpression;
-    typeError(expected: Type, actual: undefined | Type, where?: string): BoxedExpression;
+    typeError(expected: Type, actual: undefined | Type | BoxedType, where?: string): BoxedExpression;
     /**
      * Add a `["Hold"]` wrapper to `expr`.
      */
@@ -535,6 +547,7 @@ export declare class ComputeEngine implements IComputeEngine {
      */
     tuple(...elements: ReadonlyArray<number>): BoxedExpression;
     tuple(...elements: ReadonlyArray<BoxedExpression>): BoxedExpression;
+    type(type: Type | TypeString | BoxedType): BoxedType;
     string(s: string, metadata?: Metadata): BoxedExpression;
     /** Return a boxed symbol */
     symbol(name: string, options?: {

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

@@ -1,4 +1,4 @@
-/* 0.27.0 */
+/* 0.28.0 */
 /**
  * The default cost function, used to determine if a new expression is simpler
  * than the old one.

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

@@ -1,3 +1,3 @@
-/* 0.27.0 */
+/* 0.28.0 */
 /** Return a string representing the stack trace from context */
 export declare function trace(_context: RuntimeScope): string;

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

@@ -1,4 +1,4 @@
-/* 0.27.0 */
+/* 0.28.0 */
 /***
  * ### THEORY OF OPERATIONS
  *

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

@@ -1,2 +1,2 @@
-/* 0.27.0 */
+/* 0.28.0 */
 export declare const DEFINITIONS_ALGEBRA: LatexDictionary;

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

@@ -1,2 +1,2 @@
-/* 0.27.0 */
+/* 0.28.0 */
 export declare const DEFINITIONS_ARITHMETIC: LatexDictionary;

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

@@ -1,2 +1,2 @@
-/* 0.27.0 */
+/* 0.28.0 */
 export declare const DEFINITIONS_CALCULUS: LatexDictionary;

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

@@ -1,2 +1,2 @@
-/* 0.27.0 */
+/* 0.28.0 */
 export declare const DEFINITIONS_COMPLEX: LatexDictionary;

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

@@ -1,4 +1,4 @@
-/* 0.27.0 */
+/* 0.28.0 */
 export declare const DEFINITIONS_CORE: LatexDictionary;
 export declare const DELIMITERS_SHORTHAND: {
     '(': string;

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

@@ -1,2 +1,2 @@
-/* 0.27.0 */
+/* 0.28.0 */
 export declare const DEFINITIONS_LINEAR_ALGEBRA: LatexDictionary;

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

@@ -1,2 +1,2 @@
-/* 0.27.0 */
+/* 0.28.0 */
 export declare const DEFINITIONS_LOGIC: LatexDictionary;

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

@@ -1,2 +1,2 @@
-/* 0.27.0 */
+/* 0.28.0 */
 export declare const DEFINITIONS_OTHERS: LatexDictionary;

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

@@ -1,2 +1,2 @@
-/* 0.27.0 */
+/* 0.28.0 */
 export declare const DEFINITIONS_INEQUALITIES: LatexDictionaryEntry[];

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

@@ -1,2 +1,2 @@
-/* 0.27.0 */
+/* 0.28.0 */
 export declare const DEFINITIONS_SETS: LatexDictionary;

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

@@ -1,2 +1,2 @@
-/* 0.27.0 */
+/* 0.28.0 */
 export declare const DEFINITIONS_STATISTICS: LatexDictionary;

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

@@ -1,3 +1,3 @@
-/* 0.27.0 */
+/* 0.28.0 */
 export declare const SYMBOLS: [string, string, number][];
 export declare const DEFINITIONS_SYMBOLS: LatexDictionary;

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

@@ -1,2 +1,2 @@
-/* 0.27.0 */
+/* 0.28.0 */
 export declare const DEFINITIONS_TRIGONOMETRY: LatexDictionary;

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

@@ -1,4 +1,4 @@
-/* 0.27.0 */
+/* 0.28.0 */
 import { Delimiter, EnvironmentParseHandler, ExpressionParseHandler, InfixParseHandler, LatexDictionary, LatexDictionaryEntry, LatexString, LatexToken, LibraryCategory, MatchfixParseHandler, PostfixParseHandler, Precedence, SerializeHandler } from '../public';
 export type CommonEntry = {
     /** Note: a name is required if a serialize handler is provided */

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

@@ -1,4 +1,4 @@
-/* 0.27.0 */
+/* 0.28.0 */
 import { Parser } from './public';
 /** For error handling, if we have a identifier prefix, assume
  * the identifier is invalid (it would have been captured by

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

@@ -1,4 +1,4 @@
-/* 0.27.0 */
+/* 0.28.0 */
 import { ParseLatexOptions, LatexToken, Terminator, Parser, SymbolTable, SymbolType } from './public';
 import type { IndexedLatexDictionary, IndexedLatexDictionaryEntry, IndexedInfixEntry, IndexedPostfixEntry, IndexedPrefixEntry, IndexedSymbolEntry, IndexedExpressionEntry, IndexedFunctionEntry } from './dictionary/definitions';
 /**

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

@@ -1,4 +1,5 @@
-/* 0.27.0 */
+/* 0.28.0 */
+import type { Expression, MathJsonIdentifier } from '../../math-json/types';
 import type { IndexedLatexDictionary, IndexedLatexDictionaryEntry } from './dictionary/definitions';
 export type SymbolType = 'symbol' | 'function' | 'unknown';
 export type SymbolTable = {
@@ -100,6 +101,8 @@ export declare const MULTIPLICATION_PRECEDENCE: Precedence;
 /** @hidden */
 export declare const DIVISION_PRECEDENCE: Precedence;
 /** @hidden */
+export declare const INVISIBLE_OP_PRECEDENCE: Precedence;
+/** @hidden */
 export declare const EXPONENTIATION_PRECEDENCE: Precedence;
 /** @hidden */
 export declare const POSTFIX_PRECEDENCE: Precedence;
@@ -220,14 +223,14 @@ export type BaseEntry = {
  * @category Latex Parsing and Serialization
  */
 export type DefaultEntry = BaseEntry & Trigger & {
-    parse: Expression | ExpressionParseHandler;
+    parse?: Expression | ExpressionParseHandler;
 };
 /**
  * @category Latex Parsing and Serialization
  */
 export type ExpressionEntry = BaseEntry & Trigger & {
     kind: 'expression';
-    parse: Expression | ExpressionParseHandler;
+    parse?: Expression | ExpressionParseHandler;
     precedence?: Precedence;
 };
 /**
@@ -341,7 +344,9 @@ export type FunctionEntry = BaseEntry & Trigger & {
  * @category Latex Parsing and Serialization
  *
  */
-export type LatexDictionaryEntry = DefaultEntry | ExpressionEntry | MatchfixEntry | InfixEntry | PostfixEntry | PrefixEntry | SymbolEntry | FunctionEntry | EnvironmentEntry;
+export type LatexDictionaryEntry = OneOf<[
+    ExpressionEntry | MatchfixEntry | InfixEntry | PostfixEntry | PrefixEntry | SymbolEntry | FunctionEntry | EnvironmentEntry | DefaultEntry
+]>;
 /** @internal */
 export declare function isExpressionEntry(entry: LatexDictionaryEntry): entry is ExpressionEntry;
 /** @internal */
@@ -475,7 +480,7 @@ export type ParseLatexOptions = NumberFormat & {
      * This handler is invoked when the parser encounters an identifier
      * that has not yet been declared.
      *
-     * The `identifier` argument is a (valid identifier)[/math-json/#identifiers].
+     * The `identifier` argument is a [valid identifier](/math-json/#identifiers).
      *
      * The handler can return:
      *
@@ -575,7 +580,7 @@ export interface Parser {
      */
     matchChar(): string | null;
     /**
-     * Parse an expression in aLaTeX group enclosed in curly brackets `{}`.
+     * Parse an expression in a LaTeX group enclosed in curly brackets `{}`.
      * These are often used as arguments to LaTeX commands, for example
      * `\frac{1}{2}`.
      *

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

@@ -1,4 +1,4 @@
-/* 0.27.0 */
+/* 0.28.0 */
 import { NumberSerializationFormat } from './public';
 /**
  * @param expr - A number, can be represented as a string

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

@@ -1,4 +1,4 @@
-/* 0.27.0 */
+/* 0.28.0 */
 import { DelimiterScale } from './public';
 export declare function getApplyFunctionStyle(_expr: Expression, _level: number): DelimiterScale;
 export declare function getGroupStyle(_expr: Expression, _level: number): DelimiterScale;

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

@@ -1,4 +1,4 @@
-/* 0.27.0 */
+/* 0.28.0 */
 import { LatexString, SerializeLatexOptions, DelimiterScale } from './public';
 import type { IndexedLatexDictionary, IndexedLatexDictionaryEntry } from './dictionary/definitions';
 export declare class Serializer {