@cortex-js/compute-engine 0.26.4 → 0.27.0

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

@@ -1,4 +1,4 @@
-/* 0.26.4 */
+/* 0.27.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';
@@ -8,6 +8,7 @@ import { BigNum, IBigNum } from '../numerics/bignum';
 import { Type, TypeString } from '../../common/type/types';
 import { AbstractTensor } from '../tensor/tensors';
 import { OneOf } from '../../common/one-of';
+import { CompiledType, JSSource } from '../compile';
 /**
  * :::info[THEORY OF OPERATIONS]
  *
@@ -972,7 +973,7 @@ export interface BoxedExpression {
      * The result is in canonical form.
      *
      */
-    evaluate(options?: EvaluateOptions): BoxedExpression;
+    evaluate(options?: Partial<EvaluateOptions>): BoxedExpression;
     /** Return a numeric approximation of the canonical form of this expression.
      *
      * Any necessary calculations, including on decimal numbers (non-integers),
@@ -998,13 +999,18 @@ export interface BoxedExpression {
      *
      * ```javascript
      * const expr = ce.parse('x^2 + y^2');
-     * const f = expr.compile('javascript');
+     * const f = expr.compile();
      * console.log(f({x: 2, y: 3}));
      * ```
      */
-    compile(to?: 'javascript', options?: {
-        optimize: ('simplify' | 'evaluate')[];
-    }): ((args: Record<string, any>) => any | undefined) | undefined;
+    compile(options?: {
+        to?: 'javascript';
+        optimize?: ('simplify' | 'evaluate')[];
+        functions?: Record<MathJsonIdentifier, JSSource | ((...any: any[]) => any)>;
+        vars?: Record<MathJsonIdentifier, CompiledType>;
+        imports?: unknown[];
+        preamble?: string;
+    }): ((args?: Record<string, CompiledType>) => CompiledType | undefined) | undefined;
     /**
      * If this is an equation, solve the equation for the variables in vars.
      * Otherwise, solve the equation `this = 0` for the variables in vars.
@@ -1219,6 +1225,9 @@ export interface BoxedBaseDefinition {
      * This field is usually undefined, but its value is set by `getDefinition()`
      */
     scope: RuntimeScope | undefined;
+    /** If this is the definition of a collection, the set of primitive operations
+     * that can be performed on this collection (counting the number of elements,
+     * enumerating it, etc...). */
     collection?: Partial<CollectionHandlers>;
     /** When the environment changes, for example the numerical precision,
      * call `reset()` so that any cached values can be recalculated.
@@ -1329,7 +1338,14 @@ export type CollectionHandlers = {
  */
 export type FunctionDefinitionFlags = {
     /**
-     * If `true`, the arguments of the functions are held unevaluated.
+     * If `true`, the arguments to this function are not automatically
+     * evaluated. The default is `false` (the arguments are evaluated).
+     *
+     * This can be useful for example for functions that take symbolic
+     * expressions as arguments, such as `D` or `Integrate`.
+     *
+     * This is also useful for functions that take an argument that is
+     * potentially an infinite collection.
      *
      * It will be up to the `evaluate()` handler to evaluate the arguments as
      * needed. This is conveninent to pass symbolic expressions as arguments
@@ -1338,7 +1354,7 @@ export type FunctionDefinitionFlags = {
      * This also applies to the `canonical()` handler.
      *
      */
-    hold: boolean;
+    lazy: boolean;
     /**  If `true`, the function is applied element by element to lists, matrices
      * (`["List"]` or `["Tuple"]` expressions) and equations (relational
      * operators).
@@ -1413,12 +1429,29 @@ export type Hold = 'none' | 'all' | 'first' | 'rest' | 'last' | 'most';
  */
 export type BoxedFunctionDefinition = BoxedBaseDefinition & FunctionDefinitionFlags & {
     complexity: number;
-    hold: boolean;
+    /** If true, the signature was inferred from usage and may be modified
+     * as more information becomes available.
+     */
     inferredSignature: boolean;
+    /** The type of the arguments and return value of this function */
     signature: Type;
+    /** 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;
+    /** 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.
+     *
+     * The arguments themselves should *not* be evaluated, only their types and
+     * sign should be used.
+     *
+     * This can be used in some case for example to determine when certain
+     * simplifications are valid.
+     */
     sgn?: (ops: ReadonlyArray<BoxedExpression>, options: {
         engine: IComputeEngine;
     }) => Sign | undefined;
@@ -1427,8 +1460,8 @@ export type BoxedFunctionDefinition = BoxedBaseDefinition & FunctionDefinitionFl
     canonical?: (ops: ReadonlyArray<BoxedExpression>, options: {
         engine: IComputeEngine;
     }) => BoxedExpression | null;
-    evaluate?: (ops: ReadonlyArray<BoxedExpression>, options: EvaluateOptions & {
-        engine: IComputeEngine;
+    evaluate?: (ops: ReadonlyArray<BoxedExpression>, options: Partial<EvaluateOptions> & {
+        engine?: IComputeEngine;
     }) => BoxedExpression | undefined;
     evalDimension?: (ops: ReadonlyArray<BoxedExpression>, options: {
         engine: IComputeEngine;
@@ -1658,7 +1691,7 @@ export type SimplifyOptions = {
  * @category Boxed Expression
  */
 export type EvaluateOptions = {
-    numericApproximation?: boolean;
+    numericApproximation: boolean;
 };
 /**
  * Metadata that can be associated with a `BoxedExpression`
@@ -2123,7 +2156,7 @@ export type FunctionDefinition = BaseDefinition & Partial<FunctionDefinitionFlag
      */
     type?: (ops: ReadonlyArray<BoxedExpression>, options: {
         engine: IComputeEngine;
-    }) => Type;
+    }) => Type | TypeString | undefined;
     /** Return the sign of the function expression.
      *
      * If the sign cannot be determined, return `undefined`.
@@ -2239,6 +2272,8 @@ export type FunctionDefinition = BaseDefinition & Partial<FunctionDefinitionFlag
     }) => BoxedExpression;
     /** Return a compiled (optimized) expression. */
     compile?: (expr: BoxedExpression) => CompiledExpression;
+    eq?: (a: BoxedExpression, b: BoxedExpression) => boolean | undefined;
+    neq?: (a: BoxedExpression, b: BoxedExpression) => boolean | undefined;
     collection?: Partial<CollectionHandlers>;
 };
 /**

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

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

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

@@ -1,3 +1,3 @@
-/* 0.26.4 */
+/* 0.27.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.26.4 */
+/* 0.27.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.26.4 */
+/* 0.27.0 */
 type InternalSimplifyOptions = SimplifyOptions & {
     useVariations: boolean;
 };

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

@@ -1,4 +1,4 @@
-/* 0.26.4 */
+/* 0.27.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.26.4 */
+/* 0.27.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.26.4 */
+/* 0.27.0 */
 export declare class Terms {
     private engine;
     private terms;

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

@@ -1,4 +1,4 @@
-/* 0.26.4 */
+/* 0.27.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;
@@ -7,4 +7,10 @@ export declare function processInverseFunction(ce: IComputeEngine, xs: ReadonlyA
 export declare function trigSign(operator: string, x: BoxedExpression): Sign | undefined;
 export declare function isConstructible(x: string | BoxedExpression): boolean;
 export declare function constructibleValues(operator: string, x: BoxedExpression | undefined): undefined | BoxedExpression;
+/**
+ * Return the angle in the range [0, 2π) that is equivalent to the given angle.
+ *
+ * @param x
+ * @returns
+ */
 export declare function canonicalAngle(x: BoxedExpression | undefined): BoxedExpression | undefined;

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

@@ -1,4 +1,4 @@
-/* 0.26.4 */
+/* 0.27.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.26.4 */
+/* 0.27.0 */
 import type { IComputeEngine } from '../public';
 import { Type } from '../../common/type/types';
 /**
@@ -46,4 +46,4 @@ export declare function checkPure(ce: IComputeEngine, arg: BoxedExpression | Box
  * arguments.
  *
  */
-export declare function validateArguments(ce: IComputeEngine, ops: ReadonlyArray<BoxedExpression>, def: BoxedFunctionDefinition): ReadonlyArray<BoxedExpression> | null;
+export declare function validateArguments(ce: IComputeEngine, ops: ReadonlyArray<BoxedExpression>, signature: Type, lazy?: boolean, threadable?: boolean): ReadonlyArray<BoxedExpression> | null;

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

@@ -1,4 +1,4 @@
-/* 0.26.4 */
+/* 0.27.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
@@ -58,6 +58,7 @@ export declare function length(col: BoxedExpression): number | undefined;
  *
  */
 export declare function iterator(expr: BoxedExpression): Iterator<BoxedExpression> | undefined;
+export declare function repeat(value: BoxedExpression, count?: number): Iterator<BoxedExpression>;
 /**
  *
  * @param expr
@@ -66,3 +67,4 @@ export declare function iterator(expr: BoxedExpression): Iterator<BoxedExpressio
  */
 export declare function at(expr: BoxedExpression, index: number): BoxedExpression | undefined;
 export declare function defaultCollectionHandlers(def: undefined | Partial<CollectionHandlers>): Partial<CollectionHandlers> | undefined;
+export declare function zip(items: ReadonlyArray<BoxedExpression>): Iterator<BoxedExpression[]>;

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

@@ -1,30 +1,31 @@
-/* 0.26.4 */
+/* 0.27.0 */
 import type { BoxedExpression } from './public';
 export type CompiledType = boolean | number | string | object;
-type JSSource = string;
+export type JSSource = string;
 export type CompiledOperators = Record<MathJsonIdentifier, [
     op: string,
     prec: number
 ]>;
+export type CompiledFunction = string | ((args: ReadonlyArray<BoxedExpression>, compile: (expr: BoxedExpression) => JSSource, target: CompileTarget) => JSSource);
 export type CompiledFunctions = {
-    [id: MathJsonIdentifier]: string | ((args: ReadonlyArray<BoxedExpression>, compile: (expr: BoxedExpression) => JSSource, target: CompileTarget) => JSSource);
+    [id: MathJsonIdentifier]: CompiledFunction;
 };
 export type CompileTarget = {
     operators?: (op: MathJsonIdentifier) => [op: string, prec: number];
-    functions?: (id: MathJsonIdentifier) => string | ((...args: CompiledType[]) => string);
+    functions?: (id: MathJsonIdentifier) => CompiledFunction | undefined;
     var: (id: MathJsonIdentifier) => string | undefined;
     string: (str: string) => string;
     number: (n: number) => string;
     ws: (s?: string) => string;
+    preamble: string;
     indent: number;
 };
 /** This is an extension of the Function class that allows us to pass
  * a custom scope for "global" functions. */
 export declare class ComputeEngineFunction extends Function {
     private sys;
-    constructor(body: string);
+    constructor(body: string, preamble?: string);
 }
-export declare function compileToTarget(expr: BoxedExpression, target: CompileTarget): ((_: Record<string, CompiledType>) => CompiledType) | undefined;
-export declare function compileToJavascript(expr: BoxedExpression): ((_: Record<string, CompiledType>) => CompiledType) | undefined;
+export declare function compileToTarget(expr: BoxedExpression, target: CompileTarget): (_?: Record<string, CompiledType>) => CompiledType;
+export declare function compileToJavascript(expr: BoxedExpression, functions?: Record<MathJsonIdentifier, JSSource | Function>, vars?: Record<MathJsonIdentifier, JSSource>, imports?: unknown[], preamble?: string): (_?: Record<string, CompiledType>) => CompiledType;
 export declare function compile(expr: BoxedExpression | undefined, target: CompileTarget, prec?: number): JSSource;
-export {};

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

@@ -1,4 +1,4 @@
-/* 0.26.4 */
+/* 0.27.0 */
 import { Decimal } from 'decimal.js';
 import { Expression, MathJsonIdentifier, MathJsonNumber } from '../math-json/types';
 import type { LibraryCategory, LatexDictionaryEntry, LatexString, ParseLatexOptions } from './latex-syntax/public';
@@ -488,8 +488,8 @@ export declare class ComputeEngine implements IComputeEngine {
      *
      * @internal
      */
-    _assign(id: string, value: BoxedExpression | ((ops: ReadonlyArray<BoxedExpression>, options: EvaluateOptions & {
-        engine: IComputeEngine;
+    _assign(id: string, value: BoxedExpression | ((ops: ReadonlyArray<BoxedExpression>, options: Partial<EvaluateOptions> & {
+        engine?: IComputeEngine;
     }) => BoxedExpression | undefined)): void;
     /**
      * Return false if the execution should stop.
@@ -526,9 +526,9 @@ export declare class ComputeEngine implements IComputeEngine {
     error(message: string | string[], where?: string): BoxedExpression;
     typeError(expected: Type, actual: undefined | Type, where?: string): BoxedExpression;
     /**
-     * Add a`["Hold"]` wrapper to `expr.
+     * Add a `["Hold"]` wrapper to `expr`.
      */
-    hold(expr: BoxedExpression): BoxedExpression;
+    hold(expr: SemiBoxedExpression): BoxedExpression;
     /** Shortcut for `this.box(["Tuple", ...])`
      *
      * The result is canonical.

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

@@ -1,4 +1,4 @@
-/* 0.26.4 */
+/* 0.27.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

@@ -0,0 +1,3 @@
+/* 0.27.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.26.4 */
+/* 0.27.0 */
 /***
  * ### THEORY OF OPERATIONS
  *

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

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

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

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

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

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

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

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

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

@@ -1,4 +1,4 @@
-/* 0.26.4 */
+/* 0.27.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.26.4 */
+/* 0.27.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.26.4 */
+/* 0.27.0 */
 export declare const DEFINITIONS_LOGIC: LatexDictionary;

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

@@ -1,2 +1,2 @@
-/* 0.26.4 */
+/* 0.27.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.26.4 */
+/* 0.27.0 */
 export declare const DEFINITIONS_INEQUALITIES: LatexDictionaryEntry[];

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

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

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

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

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

@@ -1,3 +1,3 @@
-/* 0.26.4 */
+/* 0.27.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.26.4 */
+/* 0.27.0 */
 export declare const DEFINITIONS_TRIGONOMETRY: LatexDictionary;

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

@@ -1,4 +1,4 @@
-/* 0.26.4 */
+/* 0.27.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.26.4 */
+/* 0.27.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.26.4 */
+/* 0.27.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,4 @@
-/* 0.26.4 */
+/* 0.27.0 */
 import type { IndexedLatexDictionary, IndexedLatexDictionaryEntry } from './dictionary/definitions';
 export type SymbolType = 'symbol' | 'function' | 'unknown';
 export type SymbolTable = {

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

@@ -1,4 +1,4 @@
-/* 0.26.4 */
+/* 0.27.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.26.4 */
+/* 0.27.0 */
 import { DelimiterScale } from './public';
 export declare function getApplyFunctionStyle(_expr: Expression, _level: number): DelimiterScale;
 export declare function getGroupStyle(_expr: Expression, _level: number): DelimiterScale;
@@ -7,3 +7,4 @@ export declare function getFractionStyle(expr: Expression, level: number): 'quot
 export declare function getLogicStyle(_expr: Expression, _level: number): 'word' | 'boolean' | 'uppercase-word' | 'punctuation';
 export declare function getPowerStyle(_expr: Expression, _level: number): 'root' | 'solidus' | 'quotient';
 export declare function getNumericSetStyle(_expr: Expression, _level: number): 'compact' | 'regular' | 'interval' | 'set-builder';
+export declare function latexTemplate(s: string, lhs: string, rhs: string): string;

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

@@ -1,8 +1,8 @@
-/* 0.26.4 */
+/* 0.27.0 */
 import { LatexString, SerializeLatexOptions, DelimiterScale } from './public';
 import type { IndexedLatexDictionary, IndexedLatexDictionaryEntry } from './dictionary/definitions';
 export declare class Serializer {
-    options: SerializeLatexOptions;
+    options: Readonly<SerializeLatexOptions>;
     readonly dictionary: IndexedLatexDictionary;
     level: number;
     constructor(dictionary: IndexedLatexDictionary, options: SerializeLatexOptions);
@@ -34,4 +34,4 @@ export declare class Serializer {
     numericSetStyle(expr: Expression, level: number): 'compact' | 'regular' | 'interval' | 'set-builder';
 }
 export declare function appendLatex(src: string, s: string): string;
-export declare function serializeLatex(expr: Expression | null, dict: IndexedLatexDictionary, options: SerializeLatexOptions): string;
+export declare function serializeLatex(expr: Expression | null, dict: IndexedLatexDictionary, options: Readonly<SerializeLatexOptions>): string;

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

@@ -1,4 +1,4 @@
-/* 0.26.4 */
+/* 0.27.0 */
  * ## Reference
  * TeX source code:
  * {@link  http://tug.org/texlive/devsrc/Build/source/texk/web2c/tex.web | Tex.web}
@@ -14,5 +14,5 @@ export type Token = string;
 export declare function tokenize(s: string, args?: string[]): Token[];
 export declare function countTokens(s: string): number;
 export declare function joinLatex(segments: Iterable<string>): string;
-export declare function supsub(c: '_' | '^', x: string): string;
+export declare function supsub(c: '_' | '^', body: string, x: string): string;
 export declare function tokensToString(tokens: Token | Token[] | [Token[] | Token][]): string;

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

@@ -1,4 +1,4 @@
-/* 0.26.4 */
+/* 0.27.0 */
 import { BoxedExpression } from '../boxed-expression/public';
 export type CanonicalArithmeticOperators = 'Add' | 'Negate' | 'Multiply' | 'Divide' | 'Power' | 'Sqrt' | 'Root' | 'Ln';
 export declare const ARITHMETIC_LIBRARY: IdentifierDefinitions[];

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

@@ -1,2 +1,2 @@
-/* 0.26.4 */
+/* 0.27.0 */
 export declare const CALCULUS_LIBRARY: IdentifierDefinitions[];

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

@@ -1,4 +1,4 @@
-/* 0.26.4 */
+/* 0.27.0 */
 export declare const DEFAULT_LINSPACE_COUNT = 50;
 export declare const COLLECTIONS_LIBRARY: IdentifierDefinitions;
 /**

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

@@ -1,2 +1,2 @@
-/* 0.26.4 */
+/* 0.27.0 */
 export declare const COMPLEX_LIBRARY: IdentifierDefinitions[];

package/dist/types/compute-engine/library/control-structures.d.ts

@@ -1,2 +1,2 @@
-/* 0.26.4 */
+/* 0.27.0 */
 export declare const CONTROL_STRUCTURES_LIBRARY: IdentifierDefinitions[];

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

@@ -1,2 +1,2 @@
-/* 0.26.4 */
+/* 0.27.0 */
 export declare const CORE_LIBRARY: IdentifierDefinitions[];

package/dist/types/compute-engine/library/invisible-operator.d.ts

@@ -1,4 +1,4 @@
-/* 0.26.4 */
+/* 0.27.0 */
 export declare function canonicalInvisibleOperator(ops: ReadonlyArray<BoxedExpression>, { engine: ce }: {
     engine: IComputeEngine;
 }): BoxedExpression | null;

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

@@ -1,4 +1,4 @@
-/* 0.26.4 */
+/* 0.27.0 */
 import { IComputeEngine, IdentifierDefinitions } from '../public';
 export declare function getStandardLibrary(categories: LibraryCategory[] | LibraryCategory | 'all'): readonly IdentifierDefinitions[];
 export declare const LIBRARIES: {

package/dist/types/compute-engine/library/linear-algebra.d.ts

@@ -1,2 +1,2 @@
-/* 0.26.4 */
+/* 0.27.0 */
 export declare const LINEAR_ALGEBRA_LIBRARY: IdentifierDefinitions[];

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

@@ -1,4 +1,4 @@
-/* 0.26.4 */
+/* 0.27.0 */
 export declare const LOGIC_LIBRARY: IdentifierDefinitions;
 export declare function simplifyLogicFunction(x: BoxedExpression): {
     value: BoxedExpression;

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

@@ -1,2 +1,2 @@
-/* 0.26.4 */
+/* 0.27.0 */
 export declare const POLYNOMIALS_LIBRARY: IdentifierDefinitions[];

package/dist/types/compute-engine/library/random-expression.d.ts

@@ -1,2 +1,2 @@
-/* 0.26.4 */
+/* 0.27.0 */
 export declare function randomExpression(level?: number): Expression;

package/dist/types/compute-engine/library/relational-operator.d.ts

@@ -1,2 +1,2 @@
-/* 0.26.4 */
+/* 0.27.0 */
 export declare const RELOP_LIBRARY: IdentifierDefinitions;

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

@@ -1,2 +1,2 @@
-/* 0.26.4 */
+/* 0.27.0 */
 export declare const SETS_LIBRARY: IdentifierDefinitions;

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

@@ -1,2 +1,2 @@
-/* 0.26.4 */
+/* 0.27.0 */
 export declare const STATISTICS_LIBRARY: IdentifierDefinitions[];

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

@@ -1,2 +1,2 @@
-/* 0.26.4 */
+/* 0.27.0 */
 export declare const TRIGONOMETRY_LIBRARY: IdentifierDefinitions[];

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

@@ -1,4 +1,4 @@
-/* 0.26.4 */
+/* 0.27.0 */
 export type IndexingSet = {
     index: string | undefined;
     lower: number;

package/dist/types/compute-engine/numeric-value/big-numeric-value.d.ts

@@ -1,4 +1,4 @@
-/* 0.26.4 */
+/* 0.27.0 */
 import { NumericValue, NumericValueData } from './public';
 import { ExactNumericValue } from './exact-numeric-value';
 import { Expression } from '../../math-json/types';

package/dist/types/compute-engine/numeric-value/exact-numeric-value.d.ts

@@ -1,4 +1,4 @@
-/* 0.26.4 */
+/* 0.27.0 */
 import { SmallInteger } from '../numerics/numeric';
 import { Rational } from '../numerics/rationals';
 import { ExactNumericValueData, NumericValue, NumericValueFactory } from './public';

package/dist/types/compute-engine/numeric-value/machine-numeric-value.d.ts

@@ -1,4 +1,4 @@
-/* 0.26.4 */
+/* 0.27.0 */
 import { NumericValue, NumericValueData } from './public';
 import type { Expression } from '../../math-json/types';
 import { SmallInteger } from '../numerics/numeric';