@cortex-js/compute-engine 0.54.1 → 0.55.2

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

@@ -1,11 +1,10 @@
-/* 0.54.1 */
+/* 0.55.2 */
 import type { OneOf } from '../common/one-of';
 import type { MathJsonExpression, MathJsonNumberObject, MathJsonStringObject, MathJsonSymbolObject, MathJsonFunctionObject, MathJsonSymbol, MathJsonDictionaryObject } from '../math-json';
 import type { Type, TypeString } from '../common/type/types';
 import type { BoxedType } from '../common/type/boxed-type';
 import type { NumericValue } from './numeric-value/types';
 import type { BigNum } from './numerics/types';
-import type { LatexString, SerializeLatexOptions } from './latex-syntax/types';
 import type { JsonSerializationOptions, PatternMatchOptions, ReplaceOptions, Substitution, BoxedSubstitution, CanonicalOptions } from './types-kernel-serialization';
 import type { EvaluateOptions as KernelEvaluateOptions, BoxedRule as KernelBoxedRule, Rule as KernelRule, BoxedRuleSet as KernelBoxedRuleSet, Scope as KernelScope } from './types-kernel-evaluation';
 /**
@@ -301,12 +300,12 @@ export interface Tensor<DT extends TensorDataType> extends TensorData<DT> {
  *
  * To create a boxed expression:
  *
- * ### `ce.box()` and `ce.parse()`
+ * ### `ce.expr()` and `ce.parse()`
  *
- * Use `ce.box()` or `ce.parse()`.
+ * Use `ce.expr()` or `ce.parse()`.
  *
  * Use `ce.parse()` to get a boxed expression from a LaTeX string.
- * Use `ce.box()` to get a boxed expression from a MathJSON expression.
+ * Use `ce.expr()` to get a boxed expression from a MathJSON expression.
  *
  * By default, the result of these methods is a canonical expression. For
  * example, if it is a rational literal, it is reduced to its canonical form.
@@ -325,7 +324,7 @@ export interface Tensor<DT extends TensorDataType> extends TensorData<DT> {
  *
  * ### `ce.function()`
  *
- * This is a specialized version of `ce.box()` for creating a new function
+ * This is a specialized version of `ce.expr()` for creating a new function
  * expression.
  *
  * The canonical handler of the operator is called.
@@ -465,31 +464,15 @@ export interface Expression {
      *
      * Used when coercing a `Expression` to a `String`.
      *
+     * For arbitrary-precision numbers (`BigNumericValue`), the output is
+     * rounded to `BigDecimal.precision` significant digits. Digits beyond the
+     * working precision are noise from precision-bounded operations (division,
+     * transcendentals) and are not displayed. Machine-precision numbers use
+     * their native `Number.toString()`.
+     *
      * @category Primitive Methods
      */
     toString(): string;
-    /** Serialize to a LaTeX string.
-     *
-     * Note that lazy collections are eagerly evaluated.
-     *
-     * Will ignore any LaTeX metadata.
-     */
-    toLatex(options?: Partial<SerializeLatexOptions>): LatexString;
-    /** LaTeX representation of this expression.
-     *
-     * If the expression was parsed from LaTeX, the LaTeX representation is
-     * the same as the input LaTeX.
-     *
-     * To customize the serialization, use `expr.toLatex()`.
-     *
-     * Note that lazy collections are eagerly evaluated.
-     *
-     * :::info[Note]
-     * Applicable to canonical and non-canonical expressions.
-     * :::
-     *
-     */
-    get latex(): LatexString;
     /** Used by `JSON.stringify()` to serialize this object to JSON.
      *
      * Method version of `expr.json`.
@@ -498,10 +481,22 @@ export interface Expression {
      *
      * Note that lazy collections are *not* eagerly evaluated.
      *
+     * The output preserves the full raw `BigDecimal` value with no rounding,
+     * ensuring lossless round-tripping via `ce.box(expr.json)`. Digits beyond
+     * `ce.precision` may be present but are not guaranteed to be accurate.
+     * Use `toMathJson({ fractionalDigits: 'auto' })` for precision-rounded
+     * MathJSON output.
+     *
      * @category Primitive Methods
      */
     toJSON(): MathJsonExpression;
-    /** Serialize to a MathJSON expression with specified options */
+    /**
+     * Serialize to a MathJSON expression with specified options.
+     *
+     * Use `{ fractionalDigits: 'auto' }` to round arbitrary-precision
+     * numbers to `ce.precision` significant digits. The default
+     * (`'max'`) emits all available digits with no rounding.
+     */
     toMathJson(options?: Readonly<Partial<JsonSerializationOptions>>): MathJsonExpression;
     /** MathJSON representation of this expression.
      *
@@ -517,12 +512,36 @@ export interface Expression {
      *
      * Note that lazy collections are *not* eagerly evaluated.
      *
+     * For arbitrary-precision numbers, the full raw `BigDecimal` value is
+     * emitted with no rounding (same as `toJSON()`). This preserves data
+     * fidelity for round-tripping but may include trailing digits beyond
+     * `ce.precision` that are not meaningful. Use
+     * `toMathJson({ fractionalDigits: 'auto' })` for rounded output.
+     *
      * :::info[Note]
      * Applicable to canonical and non-canonical expressions.
      * :::
      *
      */
     readonly json: MathJsonExpression;
+    /**
+     * Return a LaTeX representation of this expression.
+     *
+     * This is a convenience getter that delegates to the standalone
+     * `serialize()` function from the `latex-syntax` module.
+     *
+     * Numeric values are rounded to `ce.precision` significant digits.
+     * Noise digits from precision-bounded operations (division,
+     * transcendentals) are not displayed.
+     */
+    readonly latex: string;
+    /**
+     * Return a LaTeX representation of this expression with custom
+     * serialization options.
+     *
+     * Numeric values are rounded to `ce.precision` significant digits.
+     */
+    toLatex(options?: Record<string, any>): string;
     /**
      * Output to the console a string representation of the expression.
      *
@@ -1051,7 +1070,7 @@ export interface Expression {
      * Applicable to canonical and non-canonical expressions.
      *
      * To match a specific symbol (not a wildcard pattern), the `match` must be
-     * a `Expression` (e.g., `{ match: ce.box('x'), replace: ... }`).
+     * a `Expression` (e.g., `{ match: ce.expr('x'), replace: ... }`).
      * For simple symbol substitution, consider using `subs()` instead.
      * :::
      */

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

@@ -1,4 +1,4 @@
-/* 0.54.1 */
+/* 0.55.2 */
 import type { TypeReference } from '../common/type/types';
 import type { BoxedType } from '../common/type/boxed-type';
 import type { LatexString } from './latex-syntax/types';

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

@@ -1,4 +1,4 @@
-/* 0.54.1 */
+/* 0.55.2 */
 export type Hold = 'none' | 'all' | 'first' | 'rest' | 'last' | 'most';
 /**
  * Options to control serialization to MathJSON when using
@@ -35,11 +35,20 @@ export type JsonSerializationOptions = {
      */
     repeatingDecimal: boolean;
     /**
-     * Maximum significant digits to serialize.
-     * - `"max"`: all available digits
-     * - `"auto"`: use compute-engine precision
+     * Controls how many digits are emitted for arbitrary-precision numbers.
      *
-     * **Default**: `"auto"`
+     * - `"max"`: all available digits from the raw `BigDecimal` value,
+     *   including digits beyond the working precision (no rounding).
+     * - `"auto"`: round to `ce.precision` significant digits. Internally
+     *   converted to `-ce.precision` (negative = total significant digits).
+     * - A non-negative number: exactly that many digits after the decimal
+     *   point (passed to `BigDecimal.toFixed()`).
+     *
+     * The `.json` property and `toJSON()` use `"max"` for lossless data
+     * interchange. The `.latex` getter uses `"auto"` so that noise digits
+     * from precision-bounded operations are not displayed.
+     *
+     * **Default**: `"max"` (when called via `toMathJson()` directly)
      */
     fractionalDigits: 'auto' | 'max' | number;
 };

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

@@ -1,4 +1,4 @@
-/* 0.54.1 */
+/* 0.55.2 */
 import type { BoxedSubstitution as KernelBoxedSubstitution, CanonicalForm, CanonicalOptions, FormOption, Hold, JsonSerializationOptions, Metadata, PatternMatchOptions as KernelPatternMatchOptions, ReplaceOptions, Substitution as KernelSubstitution } from './types-kernel-serialization';
 export type { Hold, JsonSerializationOptions, ReplaceOptions, CanonicalForm, CanonicalOptions, FormOption, Metadata, };
 /**

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

@@ -1,4 +1,4 @@
-/* 0.54.1 */
+/* 0.55.2 */
 export type { MathJsonExpression, MathJsonAttributes, MathJsonNumberObject, MathJsonSymbolObject, MathJsonStringObject, MathJsonFunctionObject, DictionaryValue, MathJsonDictionaryObject, ExpressionObject, MathJsonSymbol, } from '../math-json/types';
 export * from '../common/type/boxed-type';
 export * from '../common/type/types';

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

@@ -1,6 +1,9 @@
-/* 0.54.1 */
+/* 0.55.2 */
 export { ComputeEngine } from './compute-engine/index';
 export type * from './compute-engine/types';
+export { LatexSyntax, parse as parseLatex, serialize as serializeLatex, } from './compute-engine/latex-syntax/latex-syntax';
+export { LATEX_DICTIONARY, CORE_DICTIONARY, SYMBOLS_DICTIONARY, ALGEBRA_DICTIONARY, ARITHMETIC_DICTIONARY, COMPLEX_DICTIONARY, TRIGONOMETRY_DICTIONARY, CALCULUS_DICTIONARY, LINEAR_ALGEBRA_DICTIONARY, STATISTICS_DICTIONARY, LOGIC_DICTIONARY, SETS_DICTIONARY, INEQUALITIES_DICTIONARY, UNITS_DICTIONARY, OTHERS_DICTIONARY, PHYSICS_DICTIONARY, } from './compute-engine/latex-syntax/dictionary/default-dictionary';
+export type { LatexDictionaryEntry, SerializeLatexOptions, ParseLatexOptions, LatexString, Parser, } from './compute-engine/latex-syntax/types';
 export type { CompileTarget, CompiledOperators, CompiledFunctions, CompilationOptions, CompilationResult, ExecutableTarget, ComplexResult, CompiledRunner, ExpressionRunner, LambdaRunner, LanguageTarget, TargetSource, CompiledFunction, } from './compute-engine/compilation/types';
 export { JavaScriptTarget } from './compute-engine/compilation/javascript-target';
 export { GPUShaderTarget } from './compute-engine/compilation/gpu-target';
@@ -10,8 +13,8 @@ export { PythonTarget } from './compute-engine/compilation/python-target';
 export { IntervalJavaScriptTarget } from './compute-engine/compilation/interval-javascript-target';
 export { BaseCompiler } from './compute-engine/compilation/base-compiler';
 export type { Interval, IntervalResult, BoolInterval, } from './compute-engine/interval/types';
-export { parse, simplify, evaluate, N, declare, assign, expand, expandAll, factor, solve, compile, getDefaultEngine, } from './compute-engine/free-functions';
-export { isExpression, isNumber, isSymbol, isFunction, isString, isTensor, isDictionary, isCollection, isIndexedCollection, numericValue, isBoxedExpression, isBoxedNumber, isBoxedSymbol, isBoxedFunction, isBoxedString, isBoxedTensor, } from './compute-engine/boxed-expression/type-guards';
+export { parse, expr, simplify, evaluate, N, declare, assign, expand, expandAll, factor, solve, compile, getDefaultEngine, } from './compute-engine/free-functions';
+export { isExpression, isNumber, isSymbol, isFunction, isString, isTensor, isDictionary, isCollection, isIndexedCollection, numericValue, } from './compute-engine/boxed-expression/type-guards';
 export type { BoxedNumber } from './compute-engine/boxed-expression/boxed-number';
 export type { BoxedSymbol } from './compute-engine/boxed-expression/boxed-symbol';
 export type { BoxedFunction } from './compute-engine/boxed-expression/boxed-function';

package/dist/types/core.d.ts

@@ -0,0 +1,11 @@
+/* 0.55.2 */
+export { ComputeEngine } from './compute-engine/index';
+export type * from './compute-engine/types';
+export type { Interval, IntervalResult, BoolInterval, } from './compute-engine/interval/types';
+export { expr, simplify, evaluate, N, declare, assign, expand, expandAll, factor, solve, getDefaultEngine, } from './compute-engine/free-functions';
+export { isExpression, isNumber, isSymbol, isFunction, isString, isTensor, isDictionary, isCollection, isIndexedCollection, numericValue, } from './compute-engine/boxed-expression/type-guards';
+export type { BoxedNumber } from './compute-engine/boxed-expression/boxed-number';
+export type { BoxedSymbol } from './compute-engine/boxed-expression/boxed-symbol';
+export type { BoxedFunction } from './compute-engine/boxed-expression/boxed-function';
+export type { BoxedString } from './compute-engine/boxed-expression/boxed-string';
+export type { BoxedTensor } from './compute-engine/boxed-expression/boxed-tensor';

package/dist/types/interval.d.ts

@@ -0,0 +1,8 @@
+/* 0.55.2 */
+export type { Interval, IntervalResult, BoolInterval, } from './compute-engine/interval/types';
+export { ok, point, containsExtremum, unionResults, mergeDomainClip, isPoint, containsZero, isPositive, isNegative, isNonNegative, isNonPositive, width, midpoint, getValue, unwrap, unwrapOrPropagate, } from './compute-engine/interval/util';
+export { add, sub, mul, div, negate, _mul, } from './compute-engine/interval/arithmetic';
+export { sqrt, square, pow, powInterval, exp, ln, log10, log2, abs, floor, ceil, round, fract, trunc, min, max, mod, remainder, heaviside, sign, gamma, gammaln, factorial, factorial2, binomial, gcd, lcm, chop, erf, erfc, exp2, hypot, } from './compute-engine/interval/elementary';
+export { sin, cos, tan, cot, sec, csc, asin, acos, atan, atan2, sinh, cosh, tanh, asinh, acosh, atanh, acot, acsc, asec, coth, csch, sech, acoth, acsch, asech, sinc, fresnelS, fresnelC, } from './compute-engine/interval/trigonometric';
+export { less, lessEqual, greater, greaterEqual, equal, notEqual, and, or, not, piecewise, clamp, } from './compute-engine/interval/comparison';
+export { IntervalArithmetic } from './compute-engine/interval/index';

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

@@ -0,0 +1,14 @@
+/* 0.55.2 */
+ * Entry point for `@cortex-js/compute-engine/latex-syntax`.
+ *
+ * Provides standalone LaTeX <-> MathJSON parsing and serialization
+ * without requiring a full `ComputeEngine` instance.
+ *
+ * @module latex-syntax
+ */
+export { LatexSyntax, parse, serialize, } from './compute-engine/latex-syntax/latex-syntax';
+export type { LatexSyntaxOptions } from './compute-engine/latex-syntax/latex-syntax';
+export { LATEX_DICTIONARY, CORE_DICTIONARY, SYMBOLS_DICTIONARY, ALGEBRA_DICTIONARY, ARITHMETIC_DICTIONARY, COMPLEX_DICTIONARY, TRIGONOMETRY_DICTIONARY, CALCULUS_DICTIONARY, LINEAR_ALGEBRA_DICTIONARY, STATISTICS_DICTIONARY, LOGIC_DICTIONARY, SETS_DICTIONARY, INEQUALITIES_DICTIONARY, UNITS_DICTIONARY, OTHERS_DICTIONARY, PHYSICS_DICTIONARY, } from './compute-engine/latex-syntax/dictionary/default-dictionary';
+export type { LatexDictionaryEntry, LatexDictionary, SerializeLatexOptions, ParseLatexOptions, LatexString, } from './compute-engine/latex-syntax/types';
+export type { MathJsonExpression } from './math-json/types';
+export declare const version = "0.55.2";

package/dist/types/math-json/symbols.d.ts

@@ -1,4 +1,4 @@
-/* 0.54.1 */
+/* 0.55.2 */
  * Return true if the string is a valid symbol.
  *
  * Check for symbols matching a profile of [Unicode UAX31](https://unicode.org/reports/tr31/)

package/dist/types/math-json/types.d.ts

@@ -1,4 +1,4 @@
-/* 0.54.1 */
+/* 0.55.2 */
  * The following properties can be added to any MathJSON expression
  * to provide additional information about the expression.
  *

package/dist/types/math-json/utils.d.ts

@@ -1,4 +1,4 @@
-/* 0.54.1 */
+/* 0.55.2 */
 export declare const MISSING: MathJsonExpression;
 export declare function isNumberExpression(expr: MathJsonExpression | null): expr is number | string | MathJsonNumberObject;
 export declare function isNumberObject(expr: MathJsonExpression | null): expr is MathJsonNumberObject;

package/dist/types/math-json.d.ts

@@ -1,3 +1,3 @@
-/* 0.54.1 */
+/* 0.55.2 */
 export { isSymbolObject, isStringObject, isFunctionObject, stringValue, operator, operand, symbol, mapArgs, dictionaryFromExpression, } from './math-json/utils';
-export declare const version = "0.54.1";
+export declare const version = "0.55.2";

package/dist/types/numerics.d.ts

@@ -0,0 +1,23 @@
+/* 0.55.2 */
+export type { SmallInteger, Rational, BigNum, } from './compute-engine/numerics/types';
+export type { ExactNumericValueData, NumericValueData, NumericValueFactory, } from './compute-engine/numeric-value/types';
+export { NumericValue } from './compute-engine/numeric-value/types';
+export { BigNumericValue } from './compute-engine/numeric-value/big-numeric-value';
+export { ExactNumericValue } from './compute-engine/numeric-value/exact-numeric-value';
+export { MachineNumericValue } from './compute-engine/numeric-value/machine-numeric-value';
+export * from './compute-engine/numerics/bigint';
+export * from './compute-engine/numerics/expression';
+export * from './compute-engine/numerics/interval';
+export * from './compute-engine/numerics/linear-algebra';
+export * from './compute-engine/numerics/monte-carlo';
+export * from './compute-engine/numerics/primes';
+export * from './compute-engine/numerics/rationals';
+export * from './compute-engine/numerics/richardson';
+export * from './compute-engine/numerics/statistics';
+export * from './compute-engine/numerics/strings';
+export * from './compute-engine/numerics/unit-data';
+export { DEFAULT_PRECISION, MACHINE_PRECISION_BITS, MACHINE_PRECISION, DEFAULT_TOLERANCE, SMALL_INTEGER, MAX_BIGINT_DIGITS, MAX_ITERATION, MAX_SYMBOLIC_TERMS, nextUp, nextDown, canonicalInteger, gcd, lcm, factorial, factorial2, chop, centeredDiff8thOrder, limit, cantorEnumerateRationals, cantorEnumeratePositiveRationals, cantorEnumerateComplexNumbers, cantorEnumerateIntegers, cantorEnumerateNaturalNumbers, } from './compute-engine/numerics/numeric';
+export { gcd as bigintGcd, lcm as bigintLcm, canonicalInteger as bigintCanonicalInteger, reducedInteger, factorial as bigintFactorial, } from './compute-engine/numerics/numeric-bigint';
+export { gcd as bignumGcd, lcm as bignumLcm, factorial2 as bignumFactorial2, isInMachineRange, } from './compute-engine/numerics/numeric-bignum';
+export { gamma, gammaln, erfInv, erfc, erf, bigGammaln, bigGamma, bigDigamma, bigTrigamma, bigPolygamma, bigBeta, bigZeta, bigLambertW, digamma, trigamma, polygamma, beta, zeta, lambertW, besselJ, besselY, besselI, besselK, airyAi, airyBi, fresnelS, fresnelC, sinc, } from './compute-engine/numerics/special-functions';
+export { gamma as complexGamma, gammaln as complexGammaln, } from './compute-engine/numerics/numeric-complex';

package/package.json

@@ -1,5 +1,5 @@
 {
-  "version": "0.54.1",
+  "version": "0.55.2",
   "scripts": {
     "doc": "bash ./scripts/doc.sh",
     "build": "bash ./scripts/build.sh",
@@ -54,6 +54,36 @@
       "import": "./dist/math-json.min.esm.js",
       "require": "./dist/math-json.min.umd.cjs",
       "default": "./dist/math-json.min.esm.js"
+    },
+    "./latex-syntax": {
+      "types": "./dist/types/latex-syntax.d.ts",
+      "import": "./dist/latex-syntax.min.esm.js",
+      "require": "./dist/latex-syntax.min.umd.cjs",
+      "default": "./dist/latex-syntax.min.esm.js"
+    },
+    "./interval": {
+      "types": "./dist/types/interval.d.ts",
+      "import": "./dist/interval.min.esm.js",
+      "require": "./dist/interval.min.umd.cjs",
+      "default": "./dist/interval.min.esm.js"
+    },
+    "./numerics": {
+      "types": "./dist/types/numerics.d.ts",
+      "import": "./dist/numerics.min.esm.js",
+      "require": "./dist/numerics.min.umd.cjs",
+      "default": "./dist/numerics.min.esm.js"
+    },
+    "./core": {
+      "types": "./dist/types/core.d.ts",
+      "import": "./dist/core.min.esm.js",
+      "require": "./dist/core.min.umd.cjs",
+      "default": "./dist/core.min.esm.js"
+    },
+    "./compile": {
+      "types": "./dist/types/compile.d.ts",
+      "import": "./dist/compile.min.esm.js",
+      "require": "./dist/compile.min.umd.cjs",
+      "default": "./dist/compile.min.esm.js"
     }
   },
   "main": "./dist/compute-engine.min.esm.js",

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

@@ -1,13 +0,0 @@
-/* 0.54.1 */
-import type { LatexDictionaryEntry } from './latex-syntax/types';
-type DefaultDictionaryProvider = () => Readonly<LatexDictionaryEntry[]>;
-export declare class EngineLatexDictionaryState {
-    private readonly _defaultProvider;
-    private _input;
-    private _indexed;
-    constructor(_defaultProvider: DefaultDictionaryProvider);
-    get dictionary(): Readonly<LatexDictionaryEntry[]>;
-    set dictionary(dictionary: Readonly<LatexDictionaryEntry[]>);
-    get indexedDictionary(): IndexedLatexDictionary;
-}
-export {};

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

@@ -1,7 +0,0 @@
-/* 0.54.1 */
-import type { LatexString, ParseLatexOptions } from './latex-syntax/types';
-import type { FormOption } from './types-serialization';
-export type ParseEntrypointOptions = Partial<ParseLatexOptions> & {
-    form?: FormOption;
-};
-export declare function parseLatexEntrypoint(engine: ComputeEngine, latex: LatexString | null, options?: ParseEntrypointOptions): Expression | null;