@cortex-js/compute-engine 0.25.0 → 0.25.1

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

@@ -1,4 +1,4 @@
-/* 0.25.0 */
+/* 0.25.1 */
 /** @category Error Handling */
 export type RuntimeSignalCode = 'timeout' | 'out-of-memory' | 'recursion-depth-exceeded' | 'iteration-limit-exceeded';
 /** @category Error Handling */

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

@@ -1 +1 @@
-/* 0.25.0 */
+/* 0.25.1 */

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

@@ -1,4 +1,4 @@
-/* 0.25.0 */
+/* 0.25.1 */
 /**
  * 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.25.0 */
+/* 0.25.1 */
 import { Decimal } from 'decimal.js';
 import { Expression } from '../../math-json/math-json-format';
 import { LatexString } from '../public';
@@ -87,6 +87,7 @@ export declare abstract class _BoxedExpression implements BoxedExpression {
     }): BoxedExpression;
     map(fn: (x: BoxedExpression) => BoxedExpression, options?: {
         canonical: CanonicalOptions;
+        recursive?: boolean;
     }): BoxedExpression;
     solve(_vars: Iterable<string> | string | BoxedExpression | Iterable<BoxedExpression>): null | ReadonlyArray<BoxedExpression>;
     replace(_rules: BoxedRuleSet | Rule | Rule[]): null | BoxedExpression;

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

@@ -1,4 +1,4 @@
-/* 0.25.0 */
+/* 0.25.1 */
 import { Decimal } from 'decimal.js';
 import { IComputeEngine, SemiBoxedExpression, BoxedExpression, Metadata, CanonicalOptions } 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.25.0 */
+/* 0.25.1 */
 import Decimal from 'decimal.js';
 import { Expression } from '../../math-json/math-json-format';
 import { BoxedExpression, IComputeEngine, EvaluateOptions, NOptions, BoxedRuleSet, SemiBoxedExpression, SimplifyOptions, ReplaceOptions, Substitution, Metadata, PatternMatchOptions, BoxedDomain, BoxedSubstitution, Rule, CanonicalOptions } from './public';

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

@@ -1,4 +1,4 @@
-/* 0.25.0 */
+/* 0.25.1 */
 import Decimal from 'decimal.js';
 import { Expression } from '../../math-json/math-json-format';
 import { BoxedDomain, BoxedSubstitution, DomainCompatibility, DomainConstructor, DomainExpression, DomainLiteral, IComputeEngine, Metadata, PatternMatchOptions } from '../public';

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

@@ -1,4 +1,4 @@
-/* 0.25.0 */
+/* 0.25.1 */
 import { BoxedExpression } from './public';
 export declare class _BoxedFunctionDefinition implements BoxedFunctionDefinition {
     engine: IComputeEngine;

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

@@ -1,4 +1,4 @@
-/* 0.25.0 */
+/* 0.25.1 */
 import { Decimal } from 'decimal.js';
 import { _BoxedExpression } from './abstract-boxed-expression';
 import { Expression } from '../../math-json/math-json-format';

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

@@ -1,4 +1,4 @@
-/* 0.25.0 */
+/* 0.25.1 */
 import { Decimal } from 'decimal.js';
 import { BoxedExpression, BoxedDomain, IComputeEngine, Metadata, NOptions, PatternMatchOptions, SimplifyOptions, BoxedSubstitution, EvaluateOptions, SemiBoxedExpression } from '../public';
 import { Rational } from '../numerics/rationals';

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

@@ -1,4 +1,4 @@
-/* 0.25.0 */
+/* 0.25.1 */
 import { BoxedExpression } from './public';
 export declare function isWildcard(expr: BoxedExpression): expr is BoxedSymbol;
 export declare function wildcardName(expr: BoxedExpression): string | null;

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

@@ -1,4 +1,4 @@
-/* 0.25.0 */
+/* 0.25.1 */
 import { BoxedExpression, BoxedDomain, IComputeEngine, Metadata, PatternMatchOptions, BoxedSubstitution, SemiBoxedExpression } from './public';
 import Complex from 'complex.js';
 import Decimal from 'decimal.js';

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

@@ -1,4 +1,4 @@
-/* 0.25.0 */
+/* 0.25.1 */
 /**
  * ### THEORY OF OPERATIONS
  *

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

@@ -1,4 +1,4 @@
-/* 0.25.0 */
+/* 0.25.1 */
 import { Decimal } from 'decimal.js';
 import { Expression } from '../../math-json/math-json-format';
 import { _BoxedExpression } from './abstract-boxed-expression';

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

@@ -1,4 +1,4 @@
-/* 0.25.0 */
+/* 0.25.1 */
 import Decimal from 'decimal.js';
 import { Expression } from '../../math-json/math-json-format';
 import { BoxedExpression, IComputeEngine, EvaluateOptions, NOptions, SimplifyOptions, Metadata, BoxedDomain, BoxedSubstitution, PatternMatchOptions, BoxedBaseDefinition, BoxedFunctionDefinition, SemiBoxedExpression } from '../public';

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

@@ -1,2 +1,2 @@
-/* 0.25.0 */
+/* 0.25.1 */
 export declare function canonicalForm(expr: BoxedExpression, forms: CanonicalOptions): BoxedExpression;

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

@@ -0,0 +1,56 @@
+/* 0.25.1 */
+ *
+ * ## THEORY OF OPERATIONS
+ *
+ * In order to preserve exact results, some numeric operations are performed
+ * on "coefficients" which represent a product of a rational number,
+ * an algebraic numbers and the square root of an integer.
+ *
+ * A field is defined on these coefficients.
+ *
+ *
+ */
+import { Rational } from '../numerics/rationals';
+import { BoxedExpression } from './public';
+export interface CoefficientData {
+    float: number;
+    rational: Rational;
+    sqrt: number;
+}
+export declare class Coefficient implements CoefficientData {
+    static zero: Coefficient;
+    static one: Coefficient;
+    /**
+     * Attempt to factor a numeric coefficient `c` and a `rest` out of a
+     * canonical expression `expr` such that `ce.mul(c, rest)` is equal to `expr`.
+     *
+     * Attempts to make `rest` a positive value (i.e. pulls out negative sign).
+     *
+     * For example:
+     *
+     * ['Multiply', 2, 'x', 3, 'a']
+     *    -> [6, ['Multiply', 'x', 'a']]
+     *
+     * ['Divide', ['Multiply', 2, 'x'], ['Multiply', 3, 'y', 'a']]
+     *    -> [['Rational', 2, 3], ['Divide', 'x', ['Multiply, 'y', 'a']]]
+     */
+    static fromExpression(expr: BoxedExpression): [coef: Coefficient, rest: BoxedExpression];
+    float: number;
+    rational: Rational;
+    sqrt: number;
+    constructor(value?: number | Partial<CoefficientData>);
+    asFloat(): number;
+    asRational(): Rational;
+    normalize(): void;
+    get isZero(): boolean;
+    get isOne(): boolean;
+    get sign(): number;
+    neg(): Coefficient;
+    inv(): Coefficient;
+    mul(other: Partial<CoefficientData> | number | Rational): Coefficient;
+    pow(exponent: number): Coefficient;
+    div(other: Partial<CoefficientData> | number | Rational): Coefficient;
+    add(other: Partial<CoefficientData> | number | Rational): Coefficient;
+    sub(other: Partial<CoefficientData> | number | Rational): Coefficient;
+    eq(other: Coefficient): boolean;
+}

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

@@ -1,4 +1,4 @@
-/* 0.25.0 */
+/* 0.25.1 */
 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/factor.d.ts

@@ -1,4 +1,4 @@
-/* 0.25.0 */
+/* 0.25.1 */
 import Decimal from 'decimal.js';
 import { Rational } from '../numerics/rationals';
 import { BoxedExpression } from './public';

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

@@ -1,4 +1,4 @@
-/* 0.25.0 */
+/* 0.25.1 */
 import Decimal from 'decimal.js';
 import { BoxedSubstitution, PatternMatchOptions, BoxedExpression, SemiBoxedExpression } from './public';
 /**

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

@@ -1,4 +1,4 @@
-/* 0.25.0 */
+/* 0.25.1 */
 import { Rational } from '../numerics/rationals';
 import { BoxedExpression } from './public';
 /**

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

@@ -1,4 +1,4 @@
-/* 0.25.0 */
+/* 0.25.1 */
 export type Order = 'lex' | 'dexlex' | 'grevlex' | 'elim';
 export declare const DEFAULT_COMPLEXITY = 100000;
 /**

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

@@ -1,4 +1,4 @@
-/* 0.25.0 */
+/* 0.25.1 */
 import Decimal from 'decimal.js';
 import { Expression, MathJsonNumber, MathJsonString, MathJsonSymbol, MathJsonFunction, MathJsonDictionary, MathJsonIdentifier } from '../../math-json';
 import type { SerializeLatexOptions, LatexDictionaryEntry, ParseLatexOptions } from '../latex-syntax/public';
@@ -361,9 +361,12 @@ export interface BoxedExpression {
      *
      * The canonical option is applied to each function subexpression after
      * the substitution is applied.
+     *
+     * **Default**: `{canonical: true, recursive: true}`
      */
     map(fn: (expr: BoxedExpression) => BoxedExpression, options?: {
         canonical: CanonicalOptions;
+        recursive?: boolean;
     }): BoxedExpression;
     /**
      * Transform the expression by applying the rules:
@@ -1225,21 +1228,61 @@ export type PatternReplaceFunction = (expr: BoxedExpression, wildcards: BoxedSub
 /** @category Rules */
 export type PatternConditionFunction = (wildcards: BoxedSubstitution, ce: IComputeEngine) => boolean;
 /**
- * @noInheritDoc
+ * A rule describes how to modify an expressions that matches a pattern `match`
+ * into a new expression `replace`.
  *
- * @category Pattern Matching
+ * - `x-1` \( \to \) `1-x`
+ * - `(x+1)(x-1)` \( \to \) `x^2-1
+ *
+ * The patterns can be expressed as LaTeX strings or a MathJSON expressions.
+ *
+ * As a shortcut, a rule can be defined as a LaTeX string: `x-1 -> 1-x`.
+ * The expression to the left of `->` is the `match` and the expression to the
+ * right is the `replace`. When using LaTeX strings, single character variables
+ * are assumed to be wildcards.
+ *
+ * When using MathJSON expressions, anonymous wildcards (`_`) will match any
+ * expression. Named wildcards (`_x`, `_a`, etc...) will match any expression
+ * and bind the expression to the wildcard name.
+ *
+ * In addition the sequence wildcard (`__1`, `__a`, etc...) will match
+ * a sequence of one or more expressions, and bind the sequence to the
+ * wildcard name.
+ *
+ * If `exact` is false, the rule will match variants. For example
+ * 'x' will match 'a + x', 'x' will match 'ax', etc...
+ * For simplification rules, you generally want `exact` to be true, but
+ * to solve equations, you want it to be false. Default to true.
+ *
+ * When set to false, infinite recursion is possible.
+ *
+ * @category Rules
  */
-export type Pattern = BoxedExpression;
+export type Rule = string | {
+    match: LatexString | SemiBoxedExpression | Pattern;
+    replace: LatexString | SemiBoxedExpression | PatternReplaceFunction;
+    condition?: LatexString | PatternConditionFunction;
+    exact?: boolean;
+    priority?: number;
+    id?: string;
+};
 /** @category Rules */
 export type BoxedRule = {
     match: Pattern;
     replace: BoxedExpression | PatternReplaceFunction;
     condition: undefined | PatternConditionFunction;
     priority: number;
+    exact?: boolean;
     id?: string;
 };
 /** @category Rules */
-export type BoxedRuleSet = ReadonlySet<BoxedRule>;
+export type BoxedRuleSet = Iterable<BoxedRule>;
+/**
+ * @noInheritDoc
+ *
+ * @category Pattern Matching
+ */
+export type Pattern = BoxedExpression;
 /**
  * @category Boxed Expression
  *
@@ -1282,7 +1325,7 @@ export type DomainExpression<T = SemiBoxedExpression> = DomainLiteral | ['Union'
  */
 export type SimplifyOptions = {
     recursive?: boolean;
-    rules?: BoxedRuleSet;
+    rules?: null | BoxedRuleSet;
 };
 /** Options for `BoxedExpression.evaluate()`
  *
@@ -1438,6 +1481,10 @@ export interface IComputeEngine {
     tuple(elements: ReadonlyArray<BoxedExpression>, metadata?: Metadata): BoxedExpression;
     array(elements: ArrayValue[] | ArrayValue[][], metadata?: Metadata): BoxedExpression;
     rules(rules: Rule[]): BoxedRuleSet;
+    /**
+     * Return a set of built-in rules.
+     */
+    getRuleSet(id?: 'harmonization' | 'solve-univariate' | 'standard-simplification'): BoxedRuleSet | undefined;
     /**
      * This is a primitive to create a boxed function.
      *
@@ -1511,7 +1558,7 @@ export interface ComputeEngineStats {
     highwaterMark: number;
 }
 /**
- * Options to control the serialization to MathJSON when using `BoxedExpression.json`.
+ * Options to control the serialization to MathJSON when using `BoxedExpression.toMathJson()`.
  *
  * @category Compute Engine
  */
@@ -1627,34 +1674,6 @@ export type ReplaceOptions = {
 export type Substitution<T = SemiBoxedExpression> = {
     [symbol: string]: T;
 };
-/**
- *  A rule describes how to modify an expressions that matches a pattern `match`
- * into a new expression `replace`.
- *
- * `x-1` \( \to \) `1-x`
- * `(x+1)(x-1)` \( \to \) `x^2-1
- *
- * The `match` pattern can be expressed as a LaTeX string or a
- * MathJSON expression.
- *
- *
- * Anonymous wildcards (`_`) will match any
- * expression. Named wildcards (`_x`, `_a`, etc...) will match any expression
- * and bind the expression to the wildcard name.
- *
- * In addition the sequence wildcard (`__1`, `__a`, etc...) will match
- * a sequence of one or more expressions, and bind the sequence to the
- * wildcard name.
- *
- * @category Rules
- */
-export type Rule = {
-    match: LatexString | SemiBoxedExpression | Pattern;
-    replace: LatexString | SemiBoxedExpression | PatternReplaceFunction;
-    condition?: LatexString | PatternConditionFunction;
-    priority?: number;
-    id?: string;
-};
 /** @category Assumptions */
 export interface ExpressionMapInterface<U> {
     has(expr: BoxedExpression): boolean;

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

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

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

@@ -1,4 +1,4 @@
-/* 0.25.0 */
+/* 0.25.1 */
 import { Expression } from '../../math-json/math-json-format';
 import { BoxedExpression, IComputeEngine } from './public';
 export declare function isBoxedExpression(x: unknown): x is BoxedExpression;

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

@@ -1,4 +1,4 @@
-/* 0.25.0 */
+/* 0.25.1 */
 import { BoxedExpression } from './public';
 /**
  * Check that the number of arguments is as expected.

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

@@ -1,4 +1,4 @@
-/* 0.25.0 */
+/* 0.25.1 */
 export declare function isCollection(col: BoxedExpression): boolean;
 export declare function isFiniteCollection(col: BoxedExpression): boolean;
 export declare function isIndexableCollection(col: BoxedExpression): boolean;

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

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

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

@@ -1,4 +1,4 @@
-/* 0.25.0 */
+/* 0.25.1 */
 import { Decimal } from 'decimal.js';
 import { MathJsonIdentifier, MathJsonNumber } from '../math-json/math-json-format';
 import type { LibraryCategory, LatexDictionaryEntry, LatexString, ParseLatexOptions } from './latex-syntax/public';
@@ -497,7 +497,7 @@ export declare class ComputeEngine implements IComputeEngine {
     /** @internal */
     checkContinueExecution(): void;
     /** @internal */
-    cache<T>(cacheName: string, build: () => T, purge: (T: any) => T | undefined): T;
+    cache<T>(cacheName: string, build: () => T, purge?: (T: any) => T | undefined): T;
     /** Return a boxed expression from a number, string or semiboxed expression.
      * Calls `ce.function()`, `ce.number()` or `ce.symbol()` as appropriate.
      */
@@ -549,7 +549,7 @@ export declare class ComputeEngine implements IComputeEngine {
      * Shortcut for `this.box(["Sqrt", base]).evaluate()`
      *
      */
-    sqrt(base: BoxedExpression): any;
+    sqrt(base: BoxedExpression): BoxedExpression;
     /**
      *
      * Shortcut for `this.box(["Power", base, exponent]).evaluate()`
@@ -595,6 +595,7 @@ export declare class ComputeEngine implements IComputeEngine {
         canonical?: CanonicalOptions;
     }): BoxedExpression;
     rules(rules: Rule[]): BoxedRuleSet;
+    getRuleSet(id?: string): BoxedRuleSet | undefined;
     /**
      * Return a function expression, but the caller is responsible for making
      * sure that the arguments are canonical.

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

@@ -1,3 +1,3 @@
-/* 0.25.0 */
+/* 0.25.1 */
 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.25.0 */
+/* 0.25.1 */
 import { Decimal } from 'decimal.js';
 import { Rational } from './numerics/rationals';
 import type { BoxedDomain, BoxedFunctionSignature, DomainLiteral, FunctionSignature, IComputeEngine } from './public';

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

@@ -1,4 +1,4 @@
-/* 0.25.0 */
+/* 0.25.1 */
 /***
  * ### THEORY OF OPERATIONS
  *

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

@@ -1,2 +1,2 @@
-/* 0.25.0 */
+/* 0.25.1 */
 export declare const DEFINITIONS_ALGEBRA: LatexDictionary;

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

@@ -1,2 +1,2 @@
-/* 0.25.0 */
+/* 0.25.1 */
 export declare const DEFINITIONS_ARITHMETIC: LatexDictionary;

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

@@ -1,2 +1,2 @@
-/* 0.25.0 */
+/* 0.25.1 */
 export declare const DEFINITIONS_CALCULUS: LatexDictionary;

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

@@ -1,2 +1,2 @@
-/* 0.25.0 */
+/* 0.25.1 */
 export declare const DEFINITIONS_COMPLEX: LatexDictionary;

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

@@ -1,4 +1,4 @@
-/* 0.25.0 */
+/* 0.25.1 */
 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.25.0 */
+/* 0.25.1 */
 export declare const DEFINITIONS_LINEAR_ALGEBRA: LatexDictionary;

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

@@ -1,2 +1,2 @@
-/* 0.25.0 */
+/* 0.25.1 */
 export declare const DEFINITIONS_LOGIC: LatexDictionary;

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

@@ -1,2 +1,2 @@
-/* 0.25.0 */
+/* 0.25.1 */
 export declare const DEFINITIONS_OTHERS: LatexDictionary;

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

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

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

@@ -1,2 +1,2 @@
-/* 0.25.0 */
+/* 0.25.1 */
 export declare const DEFINITIONS_SETS: LatexDictionary;

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

@@ -1,2 +1,2 @@
-/* 0.25.0 */
+/* 0.25.1 */
 export declare const DEFINITIONS_STATISTICS: LatexDictionary;

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

@@ -1,3 +1,3 @@
-/* 0.25.0 */
+/* 0.25.1 */
 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.25.0 */
+/* 0.25.1 */
 export declare const DEFINITIONS_TRIGONOMETRY: LatexDictionary;

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

@@ -1,4 +1,4 @@
-/* 0.25.0 */
+/* 0.25.1 */
 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.25.0 */
+/* 0.25.1 */
 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.25.0 */
+/* 0.25.1 */
 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.25.0 */
+/* 0.25.1 */
 export type SymbolType = 'symbol' | 'function' | 'unknown';
 export type SymbolTable = {
     parent: SymbolTable | null;

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

@@ -1,4 +1,4 @@
-/* 0.25.0 */
+/* 0.25.1 */
 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.25.0 */
+/* 0.25.1 */
 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.25.0 */
+/* 0.25.1 */
 import { LatexString, SerializeLatexOptions, DelimiterScale } from './public';
 import { IndexedLatexDictionary, IndexedLatexDictionaryEntry } from './dictionary/definitions';
 export declare class Serializer {

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

@@ -1,4 +1,4 @@
-/* 0.25.0 */
+/* 0.25.1 */
  * ## Reference
  * TeX source code:
  * {@link  http://tug.org/texlive/devsrc/Build/source/texk/web2c/tex.web | Tex.web}

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

@@ -1,4 +1,4 @@
-/* 0.25.0 */
+/* 0.25.1 */
 /** The canonical form of `Add`:
  * - removes `0`
  * - capture complex numbers (a + ib or ai +b)

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

@@ -1,4 +1,4 @@
-/* 0.25.0 */
+/* 0.25.1 */
 /**
  * Canonical form of 'Divide' (and 'Rational')
  * - remove denominator of 1
@@ -6,7 +6,6 @@
  * - factor out negate (make the numerator and denominator positive)
  * - if numerator and denominator are integer literals, return a rational number
  *   or Rational experssion
- * - if Divide, transform into Multiply/Power
  */
 export declare function canonicalDivide(ce: IComputeEngine, op1: BoxedExpression, op2: BoxedExpression): BoxedExpression;
 /**

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

@@ -1,4 +1,4 @@
-/* 0.25.0 */
+/* 0.25.1 */
 /** The canonical form of `Multiply`:
  * - remove `1`
  * - simplify the signs:
@@ -10,7 +10,7 @@
  * The ops must be canonical, the result is canonical.
  */
 export declare function canonicalMultiply(ce: IComputeEngine, ops: ReadonlyArray<BoxedExpression>): BoxedExpression;
-export declare function simplifyMultiply(ce: IComputeEngine, ops: BoxedExpression[]): BoxedExpression;
+export declare function simplifyMultiply(ce: IComputeEngine, ops: ReadonlyArray<BoxedExpression>): BoxedExpression;
 export declare function evalMultiply(ce: IComputeEngine, ops: ReadonlyArray<BoxedExpression>, mode?: 'N' | 'evaluate'): BoxedExpression;
 export declare function canonicalProduct(ce: IComputeEngine, body: BoxedExpression | undefined, indexingSet: BoxedExpression | undefined): BoxedExpression | null;
 export declare function evalMultiplication(ce: IComputeEngine, summationEquation: ReadonlyArray<BoxedExpression>, mode: 'simplify' | 'N' | 'evaluate'): BoxedExpression | undefined;

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

@@ -1,4 +1,4 @@
-/* 0.25.0 */
+/* 0.25.1 */
 import { BoxedExpression, IComputeEngine, Metadata } from '../public';
 /**
  *

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

@@ -1,3 +1,3 @@
-/* 0.25.0 */
+/* 0.25.1 */
 export type CanonicalArithmeticFunctions = 'Add' | 'Negate' | 'Sqrt' | 'Multiply' | 'Divide' | 'Power' | 'Ln';
 export declare const ARITHMETIC_LIBRARY: IdentifierDefinitions[];