@cortex-js/compute-engine 0.27.0 → 0.29.0

package/dist/types/compute-engine/{compute-engine.d.ts → index.d.ts}

@@ -1,16 +1,16 @@
-/* 0.27.0 */
+/* 0.29.0 */
 import { Decimal } from 'decimal.js';
 import { Expression, MathJsonIdentifier, MathJsonNumber } from '../math-json/types';
-import type { LibraryCategory, LatexDictionaryEntry, LatexString, ParseLatexOptions } from './latex-syntax/public';
-import { AssumeResult, BoxedFunctionDefinition, BoxedSymbolDefinition, IComputeEngine, IdentifierDefinitions, ExpressionMapInterface, RuntimeScope, Scope, SymbolDefinition, BoxedRuleSet, Rule, ComputeEngineStats, Metadata, FunctionDefinition, BoxedSubstitution, AssignValue, AngularUnit, CanonicalOptions } from './public';
-import { Rational } from './numerics/rationals';
+import { SymbolDefinition, FunctionDefinition, AngularUnit, AssignValue, AssumeResult, BoxedExpression, BoxedFunctionDefinition, BoxedRule, BoxedRuleSet, BoxedSubstitution, BoxedSymbolDefinition, CanonicalOptions, ComputeEngineStats, EvaluateOptions, ExpressionMapInterface, IdentifierDefinitions, Metadata, Rule, RuntimeScope, Scope, SemiBoxedExpression, ComputeEngine as IComputeEngine } from './global-types';
+import type { BigNum, Rational } from './numerics/types';
 import { type IndexedLatexDictionary } from './latex-syntax/dictionary/definitions';
-import { BoxedExpression, BoxedRule, EvaluateOptions, SemiBoxedExpression } from './boxed-expression/public';
 import './boxed-expression/serialize';
-import { ExactNumericValueData, NumericValue, NumericValueData } from './numeric-value/public';
+import { ExactNumericValueData, NumericValue, NumericValueData } from './numeric-value/types';
+import type { LatexDictionaryEntry, LatexString, LibraryCategory, ParseLatexOptions } from './latex-syntax/types';
+import type { OneOf } from '../common/one-of';
 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 * from './global-types';
 /**
  *
  * To use the Compute Engine, create a `ComputeEngine` instance:
@@ -195,9 +195,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 +211,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 +231,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 +533,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 +544,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/latex-syntax/dictionary/definitions-algebra.d.ts

@@ -1,2 +1,2 @@
-/* 0.27.0 */
+/* 0.29.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.29.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.29.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.29.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.29.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.29.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.29.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.29.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.29.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.29.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.29.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.29.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.29.0 */
 export declare const DEFINITIONS_TRIGONOMETRY: LatexDictionary;

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

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

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

@@ -1,5 +1,5 @@
-/* 0.27.0 */
-import { Parser } from './public';
+/* 0.29.0 */
+import { Parser } from './types';
 /** For error handling, if we have a identifier prefix, assume
  * the identifier is invalid (it would have been captured by
  * `matchIdentifier()` otherwise) and return an error expression */

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

@@ -1,5 +1,5 @@
-/* 0.27.0 */
-import { ParseLatexOptions, LatexToken, Terminator, Parser, SymbolTable, SymbolType } from './public';
+/* 0.29.0 */
+import { ParseLatexOptions, LatexToken, Terminator, Parser, SymbolTable, SymbolType } from './types';
 import type { IndexedLatexDictionary, IndexedLatexDictionaryEntry, IndexedInfixEntry, IndexedPostfixEntry, IndexedPrefixEntry, IndexedSymbolEntry, IndexedExpressionEntry, IndexedFunctionEntry } from './dictionary/definitions';
 /**
  * ## THEORY OF OPERATIONS

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

@@ -1,5 +1,5 @@
-/* 0.27.0 */
-import { NumberSerializationFormat } from './public';
+/* 0.29.0 */
+import { NumberSerializationFormat } from './types';
 /**
  * @param expr - A number, can be represented as a string
  *  (particularly useful for arbitrary precision numbers) or a number (-12.45)

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

@@ -1,5 +1,5 @@
-/* 0.27.0 */
-import { DelimiterScale } from './public';
+/* 0.29.0 */
+import { DelimiterScale } from './types';
 export declare function getApplyFunctionStyle(_expr: Expression, _level: number): DelimiterScale;
 export declare function getGroupStyle(_expr: Expression, _level: number): DelimiterScale;
 export declare function getRootStyle(_expr: Expression | null, level: number): 'radical' | 'quotient' | 'solidus';

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

@@ -1,5 +1,5 @@
-/* 0.27.0 */
-import { LatexString, SerializeLatexOptions, DelimiterScale } from './public';
+/* 0.29.0 */
+import { LatexString, SerializeLatexOptions, DelimiterScale } from './types';
 import type { IndexedLatexDictionary, IndexedLatexDictionaryEntry } from './dictionary/definitions';
 export declare class Serializer {
     options: Readonly<SerializeLatexOptions>;

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

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

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

@@ -1,4 +1,5 @@
-/* 0.27.0 */
+/* 0.29.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 */
@@ -370,6 +375,7 @@ export declare function isEnvironmentEntry(entry: LatexDictionaryEntry): entry i
 export type LatexDictionary = ReadonlyArray<Partial<LatexDictionaryEntry>>;
 /**
  * These options control how numbers are parsed and serialized.
+ * @category Serialization
  */
 export type NumberFormat = {
     positiveInfinity: LatexString;
@@ -427,6 +433,7 @@ export type NumberFormat = {
     truncationMarker: LatexString;
     repeatingDecimal: 'auto' | 'vinculum' | 'dots' | 'parentheses' | 'arc' | 'none';
 };
+/** @category Serialization */
 export type NumberSerializationFormat = NumberFormat & {
     /**
      * The maximum number of significant digits in serialized numbers.
@@ -475,7 +482,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 +582,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/library/arithmetic.d.ts

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

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

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

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

@@ -1,4 +1,4 @@
-/* 0.27.0 */
+/* 0.29.0 */
 export declare const DEFAULT_LINSPACE_COUNT = 50;
 export declare const COLLECTIONS_LIBRARY: IdentifierDefinitions;
 /**
@@ -22,5 +22,6 @@ export declare function rangeLast(r: [lower: number, upper: number, step: number
  * is returned. Otherwise, the result of the function is used as the new accumulator.
  * If the iteration completes, the final accumulator is returned.
  */
-export declare function reduceCollection<T>(collection: BoxedExpression, fn: (acc: T, next: BoxedExpression) => T | null, initial: T): T | undefined;
+export declare function reduceCollection<T>(collection: BoxedExpression, fn: (acc: T, next: BoxedExpression) => T | null, initial: T): Generator<T | undefined>;
 export declare function fromRange(start: number, end: number): number[];
+export declare function canonicalDictionary(engine: ComputeEngine, dict: BoxedExpression): BoxedExpression;

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

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

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

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

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

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

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

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

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

@@ -1,5 +1,5 @@
-/* 0.27.0 */
-import { IComputeEngine, IdentifierDefinitions } from '../public';
+/* 0.29.0 */
+import type { IdentifierDefinitions, ComputeEngine } from '../global-types';
 export declare function getStandardLibrary(categories: LibraryCategory[] | LibraryCategory | 'all'): readonly IdentifierDefinitions[];
 export declare const LIBRARIES: {
     [category in LibraryCategory]?: IdentifierDefinitions | IdentifierDefinitions[];
@@ -14,4 +14,4 @@ export declare const LIBRARIES: {
  * or function name that has not yet been added to the symbol table.
  *
  */
-export declare function setIdentifierDefinitions(engine: IComputeEngine, table: IdentifierDefinitions): void;
+export declare function setIdentifierDefinitions(engine: ComputeEngine, table: IdentifierDefinitions): void;

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

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

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

@@ -1,4 +1,4 @@
-/* 0.27.0 */
+/* 0.29.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.27.0 */
+/* 0.29.0 */
 export declare const POLYNOMIALS_LIBRARY: IdentifierDefinitions[];

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

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

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

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

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

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

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

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

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

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

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

@@ -1,4 +1,4 @@
-/* 0.27.0 */
+/* 0.29.0 */
 export type IndexingSet = {
     index: string | undefined;
     lower: number;
@@ -23,7 +23,7 @@ export type IndexingSet = {
  */
 export declare function normalizeIndexingSet(indexingSet: BoxedExpression): IndexingSet;
 export declare function normalizeIndexingSets(ops: ReadonlyArray<BoxedExpression>): IndexingSet[];
-export declare function indexingSetCartestianProduct(indexingSets: IndexingSet[]): number[][];
+export declare function indexingSetCartesianProduct(indexingSets: IndexingSet[]): number[][];
 /**
  * Calculates the cartesian product of two arrays.
  * ```ts
@@ -49,9 +49,7 @@ export declare function canonicalBigop(operator: string, body: BoxedExpression,
  * - ['Operator', collection]
  *
  * `fn()` is the processing done on each element
- */
-/**
  * Apply the function `fn` to the body of a big operator, according to the
  * indexing sets.
  */
-export declare function reduceBigOp<T>(body: BoxedExpression, indexes: ReadonlyArray<BoxedExpression>, fn: (acc: T, x: BoxedExpression) => T | null, initial: T): T | undefined;
+export declare function reduceBigOp<T>(body: BoxedExpression, indexes: ReadonlyArray<BoxedExpression>, fn: (acc: T, x: BoxedExpression) => T | null, initial: T): Generator<T | undefined>;

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

@@ -1,10 +1,9 @@
-/* 0.27.0 */
-import { NumericValue, NumericValueData } from './public';
+/* 0.29.0 */
+import { BigNumFactory, NumericValue, NumericValueData } from './types';
 import { ExactNumericValue } from './exact-numeric-value';
 import { Expression } from '../../math-json/types';
-import { SmallInteger } from '../numerics/numeric';
+import { SmallInteger } from '../numerics/types';
 import { NumericType } from '../../common/type/types';
-export type BigNumFactory = (value: Decimal.Value) => Decimal;
 export declare class BigNumericValue extends NumericValue {
     __brand: 'BigNumericValue';
     decimal: Decimal;

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

@@ -1,9 +1,7 @@
-/* 0.27.0 */
-import { SmallInteger } from '../numerics/numeric';
-import { Rational } from '../numerics/rationals';
-import { ExactNumericValueData, NumericValue, NumericValueFactory } from './public';
+/* 0.29.0 */
+import { Rational, SmallInteger } from '../numerics/types';
+import { BigNumFactory, ExactNumericValueData, NumericValue, NumericValueFactory } from './types';
 import { Expression } from '../../math-json/types';
-import { BigNumFactory } from './big-numeric-value';
 import { NumericType } from '../../common/type/types';
 /**
  * An ExactNumericValue is the sum of a Gaussian imaginary and the product of

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

@@ -1,9 +1,8 @@
-/* 0.27.0 */
-import { NumericValue, NumericValueData } from './public';
+/* 0.29.0 */
+import { BigNumFactory, NumericValue, NumericValueData } from './types';
 import type { Expression } from '../../math-json/types';
-import { SmallInteger } from '../numerics/numeric';
+import type { SmallInteger } from '../numerics/types';
 import { NumericType } from '../../common/type/types';
-import { BigNumFactory } from './big-numeric-value';
 export declare class MachineNumericValue extends NumericValue {
     __brand: 'MachineNumericValue';
     decimal: number;

package/dist/types/compute-engine/numeric-value/{public.d.ts → types.d.ts}

@@ -1,4 +1,4 @@
-/* 0.27.0 */
+/* 0.29.0 */
  *
  * ## THEORY OF OPERATIONS
  *
@@ -23,20 +23,24 @@
  * A float numeric value is never converted to an exact one.
  *
  */
-import Decimal from 'decimal.js';
-import { SmallInteger } from '../numerics/numeric';
-import { Rational } from '../numerics/rationals';
+import { Decimal } from 'decimal.js';
+import type { Rational, SmallInteger } from '../numerics/types';
 import { NumericType } from '../../common/type/types';
-/** The value is equal to `(decimal * rational * sqrt(radical)) + im * i` */
+export type BigNumFactory = (value: Decimal.Value) => Decimal;
+/** The value is equal to `(decimal * rational * sqrt(radical)) + im * i`
+ * @category Numerics */
 export type ExactNumericValueData = {
     rational?: Rational;
     radical?: number;
 };
+/** @category Numerics */
 export type NumericValueData = {
     re?: Decimal | number;
     im?: number;
 };
+/** @category Numerics */
 export type NumericValueFactory = (data: number | Decimal | NumericValueData) => NumericValue;
+/** @category Numerics */
 export declare abstract class NumericValue {
     abstract get type(): NumericType;
     /** True if numeric value is the product of a rational and the square root of an integer.

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

@@ -1,2 +1,2 @@
-/* 0.27.0 */
+/* 0.29.0 */
 export declare function bigint(a: Decimal | number | bigint | string): bigint | null;

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

@@ -1,4 +1,4 @@
-/* 0.27.0 */
+/* 0.29.0 */
 export declare function bigintValue(expr: Expression | null | undefined): bigint | null;
 /** Output a shorthand if possible */
 export declare function numberToExpression(num: number | bigint, fractionalDigits?: string | number): Expression;

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

@@ -1,4 +1,4 @@
-/* 0.27.0 */
+/* 0.29.0 */
 /** An interval is a continuous set of real numbers */
 export type Interval = {
     start: number;

package/dist/types/compute-engine/numerics/monte-carlo.d.ts

@@ -1,4 +1,4 @@
-/* 0.27.0 */
+/* 0.29.0 */
  * Return a numerical approximation of the integral
  * of the function `f` from `a` to `b` using Monte Carlo integration.
  *

package/dist/types/compute-engine/numerics/numeric-bigint.d.ts

@@ -1,4 +1,4 @@
-/* 0.27.0 */
+/* 0.29.0 */
 export declare function lcm(a: bigint, b: bigint): bigint;
 /** Return `[factor, root]` such that
  * pow(n, 1/exponent) = factor * pow(root, 1/exponent)

package/dist/types/compute-engine/numerics/numeric-bignum.d.ts

@@ -1,4 +1,4 @@
-/* 0.27.0 */
+/* 0.29.0 */
 export declare function gcd(a: BigNum, b: BigNum): BigNum;
 export declare function lcm(a: BigNum, b: BigNum): BigNum;
 export declare function factorial2(ce: IBigNum, n: BigNum): BigNum;

package/dist/types/compute-engine/numerics/numeric-complex.d.ts

@@ -1,3 +1,3 @@
-/* 0.27.0 */
+/* 0.29.0 */
 export declare function gamma(c: Complex): Complex;
 export declare function gammaln(c: Complex): Complex;

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

@@ -1,10 +1,8 @@
-/* 0.27.0 */
+/* 0.29.0 */
 export declare const MACHINE_PRECISION_BITS = 53;
 export declare const MACHINE_PRECISION: number;
 export declare const DEFAULT_TOLERANCE = 1e-10;
 export declare const SMALL_INTEGER = 1000000;
-type IsInteger<N extends number> = `${N}` extends `${string}.${string}` ? never : `${N}` extends `-${string}.${string}` ? never : number;
-export type SmallInteger = IsInteger<number>;
 /** The largest number of digits of a bigint */
 export declare const MAX_BIGINT_DIGITS = 1024;
 export declare const MAX_ITERATION = 1000000;
@@ -33,9 +31,7 @@ export declare function chop(n: number, tolerance?: number): 0 | number;
  * The formula for the 8th-order centered difference approximation for the
  * first derivative is given by:
  *
- * \[
- * f'(x) \approx \frac{1}{280h} \left[ -f(x-4h) + \frac{4}{3}f(x-3h) - \frac{1}{5}f(x-2h) + \frac{8}{5}f(x-h) - \frac{8}{5}f(x+h) + \frac{1}{5}f(x+2h) - \frac{4}{3}f(x+3h) + f(x+4h) \right]
- * \]
+ * $$ f'(x) \approx \frac{1}{280h} \left[ -f(x-4h) + \frac{4}{3}f(x-3h) - \frac{1}{5}f(x-2h) + \frac{8}{5}f(x-h) - \frac{8}{5}f(x+h) + \frac{1}{5}f(x+2h) - \frac{4}{3}f(x+3h) + f(x+4h) \right]$$
  *
  * Note: Mathematica uses an 8th order approximation for the first derivative
  *
@@ -54,4 +50,3 @@ export declare function centeredDiff8thOrder(f: (number: any) => number, x: numb
  * @returns
  */
 export declare function limit(f: (x: number) => number, x: number, dir?: number): number;
-export {};

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

@@ -1,4 +1,4 @@
-/* 0.27.0 */
+/* 0.29.0 */
 export declare function primeFactors(n: number): {
     [factor: number]: number;
 };