@cortex-js/compute-engine 0.28.0 → 0.29.0

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

@@ -1,19 +1,16 @@
-/* 0.28.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 type * from '../common/type/types';
-export * from '../common/type/subtype';
+export * from './global-types';
 /**
  *
  * To use the Compute Engine, create a `ComputeEngine` instance:

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

@@ -1,2 +1,2 @@
-/* 0.28.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.28.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.28.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.28.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.28.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.28.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.28.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.28.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.28.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.28.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.28.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.28.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.28.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.28.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.28.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.28.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.28.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.28.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.28.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.28.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,4 @@
-/* 0.28.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';
@@ -375,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;
@@ -432,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.

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

@@ -1,5 +1,4 @@
-/* 0.28.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.28.0 */
+/* 0.29.0 */
 export declare const CALCULUS_LIBRARY: IdentifierDefinitions[];

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

@@ -1,4 +1,4 @@
-/* 0.28.0 */
+/* 0.29.0 */
 export declare const DEFAULT_LINSPACE_COUNT = 50;
 export declare const COLLECTIONS_LIBRARY: IdentifierDefinitions;
 /**
@@ -24,4 +24,4 @@ export declare function rangeLast(r: [lower: number, upper: number, step: number
  */
 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: IComputeEngine, dict: BoxedExpression): BoxedExpression;
+export declare function canonicalDictionary(engine: ComputeEngine, dict: BoxedExpression): BoxedExpression;

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

@@ -1,2 +1,2 @@
-/* 0.28.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.28.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.28.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.28.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.28.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.28.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.28.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.28.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.28.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.28.0 */
+/* 0.29.0 */
 export declare const RELOP_LIBRARY: IdentifierDefinitions;

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

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

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

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

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

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

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

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

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

@@ -1,10 +1,9 @@
-/* 0.28.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.28.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.28.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.28.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.28.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.28.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.28.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.28.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.28.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.28.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.28.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.28.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.28.0 */
+/* 0.29.0 */
 export declare function primeFactors(n: number): {
     [factor: number]: number;
 };

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

@@ -1,8 +1,4 @@
-/* 0.28.0 */
-/**
- * @category Boxed Expression
- */
-export type Rational = [SmallInteger, SmallInteger] | [bigint, bigint];
+/* 0.29.0 */
 export declare function isRational(x: any | null): x is Rational;
 export declare function isMachineRational(x: any | null): x is [SmallInteger, SmallInteger];
 export declare function isBigRational(x: any | null): x is [bigint, bigint];

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

@@ -1,4 +1,4 @@
-/* 0.28.0 */
+/* 0.29.0 */
 
     Translated from https://github.com/JuliaMath/Richardson.jl/blob/master/src/Richardson.jl
 

package/dist/types/compute-engine/numerics/special-functions.d.ts

@@ -1,5 +1,5 @@
-/* 0.28.0 */
-import { BigNum } from './bignum';
+/* 0.29.0 */
+import type { BigNum } from './types';
 export declare function gammaln(z: number): number;
 export declare function gamma(z: number): number;
 /**
@@ -24,5 +24,5 @@ export declare function erfc(x: number): number;
  * - NIST: https://dlmf.nist.gov/7.24#i
  */
 export declare function erf(x: number): number;
-export declare function bigGammaln(ce: IComputeEngine, z: BigNum): BigNum;
-export declare function bigGamma(ce: IComputeEngine, z: BigNum): BigNum;
+export declare function bigGammaln(ce: ComputeEngine, z: BigNum): BigNum;
+export declare function bigGamma(ce: ComputeEngine, z: BigNum): BigNum;

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

@@ -1,5 +1,5 @@
-/* 0.28.0 */
-import { BigNum } from './bignum';
+/* 0.29.0 */
+import type { BigNum } from './types';
 export declare function mean(values: Iterable<number>): number;
 export declare function bigMean(bignum: BigNumFactory, values: Iterable<BigNum>): BigNum;
 export declare function median(values: Iterable<number>): number;

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

@@ -1,2 +1,2 @@
-/* 0.28.0 */
+/* 0.29.0 */
 export declare function numberToString(num: number | bigint, fractionalDigits?: number | string): string;

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

@@ -0,0 +1,30 @@
+/* 0.29.0 */
+type IsInteger<N extends number> = `${N}` extends `${string}.${string}` ? never : `${N}` extends `-${string}.${string}` ? never : number;
+/** A `SmallInteger` is an integer < 1e6
+ * @category Numerics
+ */
+export type SmallInteger = IsInteger<number>;
+/**
+ * A rational number is a number that can be expressed as the quotient or fraction p/q of two integers,
+ * a numerator p and a non-zero denominator q.
+ *
+ * A rational can either be represented as a pair of small integers or
+ * a pair of big integers.
+ *
+ * @category Numerics
+ */
+export type Rational = [SmallInteger, SmallInteger] | [bigint, bigint];
+/** @category Numerics */
+export type BigNum = Decimal;
+/** @category Numerics */
+export interface IBigNum {
+    readonly _BIGNUM_NAN: BigNum;
+    readonly _BIGNUM_ZERO: BigNum;
+    readonly _BIGNUM_ONE: BigNum;
+    readonly _BIGNUM_TWO: BigNum;
+    readonly _BIGNUM_HALF: BigNum;
+    readonly _BIGNUM_PI: BigNum;
+    readonly _BIGNUM_NEGATIVE_ONE: BigNum;
+    bignum(value: string | number | bigint | BigNum): BigNum;
+}
+export {};

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

@@ -1,4 +1,4 @@
-/* 0.28.0 */
+/* 0.29.0 */
 /**
  *
  * @param fn The function to differentiate, a `["Function"]` expression or

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

@@ -1,4 +1,4 @@
-/* 0.28.0 */
+/* 0.29.0 */
 /**
  *
  */

package/dist/types/compute-engine/symbolic/simplify-rules.d.ts

@@ -1,4 +1,4 @@
-/* 0.28.0 */
+/* 0.29.0 */
 /**
  * @todo: a set to "tidy" an expression. Different from a canonical form, but
  * inline with the user's expectations.