@cortex-js/compute-engine 0.4.3 → 0.4.4

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

@@ -1,6 +1,6 @@
-/* 0.4.3 */
+/* 0.4.4 */
 import { AbstractBoxedExpression } from './abstract-boxed-expression';
-import { BoxedExpression, BoxedRuleSet, BoxedSymbolDefinition, IComputeEngine, EvaluateOptions, NOptions, ReplaceOptions, SemiBoxedExpression, SimplifyOptions, Substitution, Metadata, PatternMatchOption } from '../public';
+import { BoxedExpression, BoxedRuleSet, BoxedSymbolDefinition, IComputeEngine, EvaluateOptions, NOptions, ReplaceOptions, SimplifyOptions, Substitution, Metadata, PatternMatchOption } from '../public';
 /**
  * BoxedSymbol
  *
@@ -29,7 +29,7 @@ export declare class BoxedSymbol extends AbstractBoxedExpression {
     get symbolDefinition(): BoxedSymbolDefinition | undefined;
     _repairDefinition(): void;
     get value(): BoxedExpression | undefined;
-    set value(value: SemiBoxedExpression | undefined);
+    set value(value: BoxedExpression | number | undefined);
     get numericValue(): BoxedExpression | undefined;
     get domain(): BoxedExpression;
     set domain(d: BoxedExpression);

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

@@ -1,4 +1,4 @@
-/* 0.4.3 */
+/* 0.4.4 */
 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/order.d.ts

@@ -1,5 +1,6 @@
-/* 0.4.3 */
+/* 0.4.4 */
 export declare type Order = 'lex' | 'dexlex' | 'grevlex' | 'elim';
+export declare const DEFAULT_COMPLEXITY = 100000;
 /**
  * Sort by higher total degree (sum of degree), if tied, sort by max degree,
  * if tied,

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

@@ -1,4 +1,4 @@
-/* 0.4.3 */
+/* 0.4.4 */
 import Decimal from 'decimal.js';
 import { Expression } from '../../math-json/math-json-format';
 import { BoxedExpression, IComputeEngine, Metadata } from '../public';

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

@@ -1,4 +1,4 @@
-/* 0.4.3 */
+/* 0.4.4 */
 export declare function isLatexString(s: any): s is string;
 export declare function latexString(s: any): string | null;
 /**

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

@@ -1,5 +1,5 @@
-/* 0.4.3 */
-import { DictionaryCategory, LatexString, NumberFormattingOptions, ParseLatexOptions, SerializeLatexOptions } from './latex-syntax/public';
+/* 0.4.4 */
+import { DictionaryCategory, LatexDictionaryEntry, LatexString, NumberFormattingOptions, ParseLatexOptions, SerializeLatexOptions } from './latex-syntax/public';
 import { Decimal } from 'decimal.js';
 import { Complex } from 'complex.js';
 import { SignalMessage, WarningSignal } from '../common/signals';
@@ -45,6 +45,7 @@ export declare class ComputeEngine implements IComputeEngine {
     private _commonSymbols;
     private _commonNumbers;
     private _commonDomains;
+    private _latexDictionary?;
     /**
      * The current scope.
      *
@@ -70,8 +71,11 @@ export declare class ComputeEngine implements IComputeEngine {
      * Construct a new `ComputeEngine` environment.
      *
      * If no `options.dictionaries` is provided a default set of dictionaries
-     * is used. The `ComputeEngine.getDictionaries()` method can be called
-     * to access some subset of dictionaries, e.g. for arithmetic, calculus, etc...
+     * is used.
+     *
+     * The `ComputeEngine.getDictionaries()` method can be called
+     * to access a subset of dictionaries, e.g. for arithmetic, calculus, etc...
+     *
      * 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
@@ -79,10 +83,11 @@ export declare class ComputeEngine implements IComputeEngine {
      */
     constructor(options?: {
         dictionaries?: Readonly<Dictionary>[];
+        latexDictionary?: readonly LatexDictionaryEntry[];
         numericMode?: NumericMode;
-        assumptions?: (LatexString | Expression)[];
         numericPrecision?: number;
         tolerance?: number;
+        assumptions?: (LatexString | Expression)[];
         defaultDomain?: string;
     });
     /** After the configuration of the engine has changed, clear the caches
@@ -219,8 +224,8 @@ export declare class ComputeEngine implements IComputeEngine {
     parse(s: LatexString | string): BoxedExpression;
     parse(s: LatexString | string | null): null | BoxedExpression;
     serialize(x: Expression | BoxedExpression): string;
-    get latexOptions(): Required<NumberFormattingOptions> & Required<ParseLatexOptions> & Required<SerializeLatexOptions>;
-    set latexOptions(opts: NumberFormattingOptions & ParseLatexOptions & SerializeLatexOptions);
+    get latexOptions(): NumberFormattingOptions & ParseLatexOptions & SerializeLatexOptions;
+    set latexOptions(opts: Partial<NumberFormattingOptions> & Partial<ParseLatexOptions> & Partial<SerializeLatexOptions>);
     get jsonSerializationOptions(): JsonSerializationOptions;
     set jsonSerializationOptions(val: Partial<JsonSerializationOptions>);
     /**

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

@@ -1,3 +1,3 @@
-/* 0.4.3 */
+/* 0.4.4 */
 export declare function costFunction(expr: BoxedExpression): number;
 export declare const DEFAULT_COST_FUNCTION: typeof costFunction;

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

@@ -1,4 +1,4 @@
-/* 0.4.3 */
+/* 0.4.4 */
 /** The canonical form of `Add`:
  * - removes `0`
  * - adds up small integers and rational numbers

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

@@ -1,4 +1,4 @@
-/* 0.4.3 */
+/* 0.4.4 */
 /**
  * Canonical form of 'Divide' (and 'Rational')
  * - remove denominator of 1

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

@@ -1,4 +1,4 @@
-/* 0.4.3 */
+/* 0.4.4 */
 /** The canonical form of `Multiply`:
  * - remove `1`
  * - combine literal small integers and rationals

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

@@ -1,4 +1,4 @@
-/* 0.4.3 */
+/* 0.4.4 */
 /**
  *
  * Return `null` if there is no canonicalization necessary and the result is

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

@@ -1,2 +1,2 @@
-/* 0.4.3 */
+/* 0.4.4 */
 export declare const ARITHMETIC_DICTIONARY: Dictionary[];

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

@@ -1,2 +1,2 @@
-/* 0.4.3 */
+/* 0.4.4 */
 export declare const COLLECTIONS_DICTIONARY: Dictionary;

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

@@ -1,2 +1,2 @@
-/* 0.4.3 */
+/* 0.4.4 */
 export declare const CORE_DICTIONARY: Dictionary[];

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

@@ -1,4 +1,4 @@
-/* 0.4.3 */
+/* 0.4.4 */
 import { IComputeEngine, Dictionary } from '../public';
 export declare function getDefaultDictionaries(categories?: DictionaryCategory[] | 'all'): Readonly<Dictionary>[];
 export declare const DICTIONARIES: {

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

@@ -1,2 +1,2 @@
-/* 0.4.3 */
+/* 0.4.4 */
 export declare const LOGIC_DICTIONARY: Dictionary;

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

@@ -1,2 +1,2 @@
-/* 0.4.3 */
+/* 0.4.4 */
 export declare const POLYNOMIALS_DICTIONARY: Dictionary[];

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

@@ -1,2 +1,2 @@
-/* 0.4.3 */
+/* 0.4.4 */
 export declare const RELOP_DICTIONARY: Dictionary;

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

@@ -1,2 +1,2 @@
-/* 0.4.3 */
+/* 0.4.4 */
 export declare const SETS_DICTIONARY: Dictionary;

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

@@ -1,2 +1,2 @@
-/* 0.4.3 */
+/* 0.4.4 */
 export declare const TRIGONOMETRY_DICTIONARY: Dictionary[];

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

@@ -1,4 +1,4 @@
-/* 0.4.3 */
+/* 0.4.4 */
 import { Decimal } from 'decimal.js';
 import { BoxedExpression } from './public';
 /** Quickly determine the numeric domain of a number or constant

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

@@ -1,2 +1,2 @@
-/* 0.4.3 */
+/* 0.4.4 */
 export declare const DEFINITIONS_ALGEBRA: LatexDictionary;

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

@@ -1,2 +1,2 @@
-/* 0.4.3 */
+/* 0.4.4 */
 export declare const DEFINITIONS_ARITHMETIC: LatexDictionary;

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

@@ -1,2 +1,2 @@
-/* 0.4.3 */
+/* 0.4.4 */
 export declare const DEFINITIONS_CALCULUS: LatexDictionary;

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

@@ -1,4 +1,4 @@
-/* 0.4.3 */
+/* 0.4.4 */
 import { LatexDictionary, Serializer } from '../public';
 export declare function serializeLatex(serializer: Serializer, expr: Expression | null): string;
 export declare const DEFINITIONS_CORE: LatexDictionary;

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

@@ -1,2 +1,2 @@
-/* 0.4.3 */
+/* 0.4.4 */
 export declare const DEFINITIONS_INEQUALITIES: LatexDictionary;

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

@@ -1,2 +1,2 @@
-/* 0.4.3 */
+/* 0.4.4 */
 export declare const DEFINITIONS_LOGIC: LatexDictionary;

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

@@ -1,2 +1,2 @@
-/* 0.4.3 */
+/* 0.4.4 */
 export declare const DEFINITIONS_OTHERS: LatexDictionary;

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

@@ -1,2 +1,2 @@
-/* 0.4.3 */
+/* 0.4.4 */
 export declare const DEFINITIONS_SETS: LatexDictionary;

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

@@ -1,2 +1,2 @@
-/* 0.4.3 */
+/* 0.4.4 */
 export declare const DEFINITIONS_SYMBOLS: LatexDictionary;

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

@@ -1,2 +1,2 @@
-/* 0.4.3 */
+/* 0.4.4 */
 export declare const DEFINITIONS_TRIGONOMETRY: LatexDictionary;

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

@@ -1,4 +1,4 @@
-/* 0.4.3 */
+/* 0.4.4 */
 import { WarningSignal } from '../../../common/signals';
 export declare type CommonEntry = {
     name?: string;

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

@@ -1,4 +1,4 @@
-/* 0.4.3 */
+/* 0.4.4 */
 import { Serializer } from './serializer';
 import { Expression } from '../../math-json/math-json-format';
 import { WarningSignalHandler } from '../../common/signals';
@@ -6,7 +6,7 @@ import { IComputeEngine } from '../public';
 export declare const DEFAULT_SERIALIZE_LATEX_OPTIONS: Required<SerializeLatexOptions>;
 export declare class LatexSyntax {
     onError: WarningSignalHandler;
-    options: Required<NumberFormattingOptions> & Required<ParseLatexOptions> & Required<SerializeLatexOptions>;
+    options: NumberFormattingOptions & ParseLatexOptions & SerializeLatexOptions;
     readonly computeEngine: IComputeEngine;
     private dictionary;
     private _serializer?;

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

@@ -1,20 +1,20 @@
-/* 0.4.3 */
+/* 0.4.4 */
 import { ParseLatexOptions, LatexToken, NumberFormattingOptions, Delimiter, Terminator, Parser } from './public';
 import { IndexedLatexDictionary, InfixEntry, PostfixEntry, PrefixEntry, SymbolEntry } from './dictionary/definitions';
 import { WarningSignalHandler } from '../../common/signals';
 import { IComputeEngine } from '../public';
-export declare const DEFAULT_LATEX_NUMBER_OPTIONS: Required<NumberFormattingOptions>;
-export declare const DEFAULT_PARSE_LATEX_OPTIONS: Required<ParseLatexOptions>;
+export declare const DEFAULT_LATEX_NUMBER_OPTIONS: NumberFormattingOptions;
+export declare const DEFAULT_PARSE_LATEX_OPTIONS: ParseLatexOptions;
 export declare class _Parser implements Parser {
     readonly onError: WarningSignalHandler;
-    readonly options: Required<NumberFormattingOptions> & Required<ParseLatexOptions>;
+    readonly options: NumberFormattingOptions & ParseLatexOptions;
     readonly engine: IComputeEngine;
     readonly _dictionary: IndexedLatexDictionary;
     index: number;
     _lastPeek: string;
     _peekCounter: number;
     readonly _tokens: LatexToken[];
-    constructor(tokens: LatexToken[], options: Required<NumberFormattingOptions> & Required<ParseLatexOptions>, dictionary: IndexedLatexDictionary, computeEngine: IComputeEngine, onError: WarningSignalHandler);
+    constructor(tokens: LatexToken[], options: NumberFormattingOptions & ParseLatexOptions, dictionary: IndexedLatexDictionary, computeEngine: IComputeEngine, onError: WarningSignalHandler);
     updateOptions(opt: Partial<NumberFormattingOptions> & Partial<ParseLatexOptions>): void;
     clone(start: number, end: number): Parser;
     get atEnd(): boolean;

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

@@ -1,6 +1,6 @@
-/* 0.4.3 */
+/* 0.4.4 */
 import { Expression } from '../../math-json/math-json-format';
-import { IComputeEngine } from '../public';
+import type { IComputeEngine } from '../public';
 /**
  * A `LatexToken` is a token as returned by `Scanner.peek`.
  *

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

@@ -1,7 +1,7 @@
-/* 0.4.3 */
+/* 0.4.4 */
 import { NumberFormattingOptions } from './public';
-export declare function serializeNumber(expr: Expression | null, options: Required<NumberFormattingOptions>): string;
-export declare function serializeEngineeringNotationNumber(value: number, options: Required<NumberFormattingOptions>): string;
+export declare function serializeNumber(expr: Expression | null, options: NumberFormattingOptions): string;
+export declare function serializeEngineeringNotationNumber(value: number, options: NumberFormattingOptions): string;
 /**
  * `value` is a base-10 number, possibly a floating point number with an
  * exponent, i.e. "0.31415e1"

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

@@ -1,4 +1,4 @@
-/* 0.4.3 */
+/* 0.4.4 */
 export declare function getApplyFunctionStyle(_expr: Expression, _level: number): 'paren' | 'leftright' | 'big' | 'none';
 export declare function getGroupStyle(_expr: Expression, _level: number): 'paren' | 'leftright' | 'big' | 'none';
 export declare function getRootStyle(_expr: Expression | null, level: number): 'radical' | 'quotient' | 'solidus';

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

@@ -1,15 +1,15 @@
-/* 0.4.3 */
+/* 0.4.4 */
 import { NumberFormattingOptions, LatexString, SerializeLatexOptions } from './public';
 import { IndexedLatexDictionary, SymbolEntry } from './dictionary/definitions';
 import { WarningSignalHandler } from '../../common/signals';
 import { IComputeEngine } from '../public';
 export declare class Serializer {
     readonly onError: WarningSignalHandler;
-    options: Required<NumberFormattingOptions> & Required<SerializeLatexOptions>;
+    options: NumberFormattingOptions & SerializeLatexOptions;
     readonly computeEngine?: IComputeEngine;
     readonly dictionary: IndexedLatexDictionary;
     level: number;
-    constructor(options: Required<NumberFormattingOptions> & Required<SerializeLatexOptions>, dictionary: IndexedLatexDictionary, computeEngine: undefined | IComputeEngine, onError: WarningSignalHandler);
+    constructor(options: NumberFormattingOptions & SerializeLatexOptions, dictionary: IndexedLatexDictionary, computeEngine: undefined | IComputeEngine, onError: WarningSignalHandler);
     updateOptions(opt: Partial<NumberFormattingOptions> & Partial<SerializeLatexOptions>): void;
     /**
      * Serialize the expression, and if the expression is an operator

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

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

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

@@ -1,3 +1,3 @@
-/* 0.4.3 */
+/* 0.4.4 */
 export declare function gamma(c: Complex): Complex;
 export declare function lngamma(c: Complex): Complex;

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

@@ -1,4 +1,4 @@
-/* 0.4.3 */
+/* 0.4.4 */
 import { IComputeEngine } from '../public';
 export declare function gcd(a: Decimal, b: Decimal): Decimal;
 export declare function lcm(a: Decimal, b: Decimal): Decimal;

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

@@ -1,4 +1,4 @@
-/* 0.4.3 */
+/* 0.4.4 */
 export declare const MACHINE_PRECISION: number;
 export declare const MACHINE_TOLERANCE_BITS = 7;
 export declare const MACHINE_TOLERANCE: number;

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

@@ -1,2 +1,2 @@
-/* 0.4.3 */
+/* 0.4.4 */
 export declare function isPrime(n: number): boolean | undefined;

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

@@ -1,10 +1,9 @@
-/* 0.4.3 */
+/* 0.4.4 */
 import type { Complex } from 'complex.js';
-import { SignalMessage, WarningSignal, WarningSignalHandler } from '../common/signals';
-import { Expression, MathJsonDictionary, MathJsonFunction, MathJsonNumber, MathJsonString, MathJsonSymbol } from '../math-json/math-json-format';
-import { NumberFormattingOptions, ParseLatexOptions, SerializeLatexOptions } from '../math-json';
-export declare const DEFAULT_COMPLEXITY = 100000;
-export declare const DEBUG = true;
+import type { SignalMessage, WarningSignal, WarningSignalHandler } from '../common/signals';
+import type { Expression, MathJsonDictionary, MathJsonFunction, MathJsonNumber, MathJsonString, MathJsonSymbol } from '../math-json/math-json-format';
+import type { NumberFormattingOptions, ParseLatexOptions, SerializeLatexOptions } from './latex-syntax/public';
+export type { Parser } from './latex-syntax/public';
 /**
  * Metadata that can be associated with a BoxedExpression
  */
@@ -146,12 +145,12 @@ export declare type JsonSerializationOptions = {
 /**
  * **Theory of Operations**
  *
- * The `BoxedExpression` interface includes most of the methods applicable
- * to any kind of expression, for example `get string()` or
- * `get machineValue()`.
+ * The `BoxedExpression` interface includes most of the member functions
+ * applicable to any kind of expression, for example `get symbol()` or
+ * `get ops()`.
  *
- * When they are not applicable, for example `get string()` on a
- * `BoxedNumber`, they return `null`.
+ * When a member function is not applicable to this `BoxedExpression`,
+ * for example `get symbol()` on a `BoxedNumber`, it returns `null`.
  *
  * This convention makes it convenient to manipulate expressions without
  * having to check what kind of instance they are before manipulating them.
@@ -163,19 +162,31 @@ export interface BoxedExpression {
      * and functions.
      */
     readonly engine: IComputeEngine;
-    /** From Object.valueOf() */
+    /** From `Object.valueOf()`, return a primitive value for the expression.
+     *
+     * If the expression is a machine number, or a Decimal that can be
+     * converted to a machine number, return a `number`.
+     *
+     * If the expression is a rational number, return `[number, number]`.
+     *
+     * If the expression is a symbol, return the name of the symbol as a `string`.
+     *
+     * Otherwise return a LaTeX representation of the expression.
+     *
+     */
     valueOf(): number | string | [number, number];
-    /** From Object.toString() */
+    /** From `Object.toString()`, return a LaTeX representation of the expression. */
     toString(): string;
-    /** From Object.toJSON(), equivalent to `JSON.stringify(this.json)` */
+    /** From `Object.toJSON()`, equivalent to `JSON.stringify(this.json)` */
     toJSON(): string;
-    /** From Object.is(). Equivalent to `isSame()` */
+    /** From `Object.is()`. Equivalent to `expr.isSame()` */
     is(rhs: any): boolean;
     get hash(): number;
-    /** A short description of the symbol or function head. May include markdown.
-     * Each string is a paragraph. */
+    /** An optional short description of the symbol or function head.
+     *
+     * May include markdown. Each string is a paragraph. */
     readonly description: string[];
-    /** A URL pointing to more information about the symbol or function head */
+    /** An optional URL pointing to more information about the symbol or function head */
     readonly url: string;
     /** All boxed expressions have a head.
      *
@@ -191,7 +202,7 @@ export interface BoxedExpression {
      */
     get value(): BoxedExpression | undefined;
     /** Only the value of variables can be changed (symbols that are not constants) */
-    set value(value: BoxedExpression | undefined);
+    set value(value: BoxedExpression | number | undefined);
     /** Return an approximation of the value of this expression. Floating-point
      * operations may be performed.
      *
@@ -233,10 +244,19 @@ export interface BoxedExpression {
     get op2(): BoxedExpression;
     /** Third operand, i.e. third element of `this.tail` */
     get op3(): BoxedExpression;
-    /** The keys of the dictionary. If this expression not a dictionary, return `null` */
+    /** The keys of the dictionary.
+     *
+     * If this expression not a dictionary, return `null` */
     get keys(): IterableIterator<string> | null;
     get keysCount(): number;
+    /**
+     * If this expression is a dictionary, return the value of the `key` entry.
+     */
     getKey(key: string): BoxedExpression | undefined;
+    /**
+     * If this expression is a dictionary, return true if the dictionary has a
+     * `key` entry.
+     */
     hasKey(key: string): boolean;
     /**
      * Return the value of this number or symbol, if stored as a machine number.
@@ -335,7 +355,7 @@ export interface BoxedExpression {
      * Otherwise, return `null`.
      */
     get string(): string | null;
-    /** True if this domain is a subset of domain d */
+    /** True if this domain is a subset of domain `d` */
     isSubsetOf(d: BoxedExpression | string): undefined | boolean;
     /** True if the value of this expression is a number.
      *
@@ -409,20 +429,25 @@ export interface BoxedExpression {
     get isComposite(): boolean | undefined;
     /** Structural/symbolic equality (weak equality).
      *
-     * `ce.parse('1+x').isSame(ce.parse('x+1'))` is `true`
+     * `ce.parse('1+x').isSame(ce.parse('x+1'))` is `false`
      *
      */
     isSame(rhs: BoxedExpression): boolean;
     /**
-     * True if the expression includes a symbol `v`, or a function head `v`.
+     * True if the expression includes a symbol `v` or a function head `v`.
      */
     has(v: string | string[]): boolean;
-    /** Attempt to match this pattern to the `rhs`.
+    /** Attempt to match this expression to the `rhs` expression.
      *
      * If `rhs` does not match, return `null`.
-     * Otherwise return an object literal, with a prop for
-     * each matching named wildcard. If `rhs` matches
-     * this pattern but there are no named wildcards, return
+     *
+     * Otherwise return an object literal.
+     *
+     * If this expression includes wildcards (symbols with a name that starts
+     * with `_`), the object literal will include a prop for each matching named
+     * wildcard.
+     *
+     * If `rhs` matches this pattern but there are no named wildcards, return
      * the empty object literal, `{}`.
      */
     match(rhs: BoxedExpression, options?: PatternMatchOption): Substitution | null;
@@ -432,7 +457,7 @@ export interface BoxedExpression {
      * Both expressions are numerically evaluated.
      *
      * Numbers whose difference is less than `engine.tolerance` are
-     * considered equal. This value is set when the `engine.precision` is
+     * considered equal. This tolerance is set when the `engine.precision` is
      * changed to be such that the last two digits are ignored.
      */
     isEqual(rhs: BoxedExpression): boolean;
@@ -526,7 +551,7 @@ export interface BoxedExpression {
      * example modifying the `ComputeEngine` environment, such as its set of assumptions.
      *
      * Only exact calculations are performed, no floating point calculations.
-     * To perform approximate floating point calculations, use `N()` instead.
+     * To perform approximate floating point calculations, use `expr.N()` instead.
      *
      * The result of `expr.evaluate()` may be the same as `expr.simplify()`.
      *
@@ -542,7 +567,10 @@ export interface BoxedExpression {
      * are performed. The calculations are performed according
      * to the `numericMode` and `precision` properties of the `ComputeEngine`.
      *
-     * If the function is not numeric, this is equivalent to `expr.evaluate()`.
+     * To only perform exact calculations, use `expr.evaluate()` instead.
+     *
+     * If the function is not numeric, the result of `expr.N()` is the same as
+     * `expr.evaluate()`.
      *
      * The result is in canonical form.
      */
@@ -564,13 +592,15 @@ export interface BoxedExpression {
      * the matching `lhs` of a rule is replaced by its `rhs`.
      *
      * If no rules apply, return `null`.
+     *
+     * See also `subs` for a simple substitution.
      */
     replace(rules: BoxedRuleSet, options?: ReplaceOptions): null | BoxedExpression;
     /**
      * Replace all the symbols in the expression as indicated.
      *
      * Note the same effect can be achieved with `expr.replace()`, but
-     * this is more efficient, and simpler.
+     * using `expr.subs()` is more efficient, and simpler.
      *
      */
     subs(sub: Substitution): BoxedExpression;
@@ -581,7 +611,10 @@ export interface BoxedExpression {
      * For internal use only.
      */
     _repairDefinition(): void;
-    /** Purge any cached values */
+    /** Purge any cached values.
+     *
+     * For internal use only.
+     */
     _purge(): undefined;
 }
 /** A semi boxed expression is an MathJSON expression which can include some
@@ -870,7 +903,7 @@ export declare type FunctionDefinition = BaseDefinition & Partial<FunctionDefini
      * Logic: 10000-10999
      * Relational: 11000-11999
      *
-     * **Default**: 100,000 (DEFAULT_COMPLEXITY)
+     * **Default**: 100,000
      */
     complexity?: number;
     /**
@@ -1260,8 +1293,8 @@ export interface IComputeEngine {
      * a LaTeX string
      */
     serialize(expr: SemiBoxedExpression): LatexString;
-    get latexOptions(): Required<NumberFormattingOptions> & Required<ParseLatexOptions> & Required<SerializeLatexOptions>;
-    set latexOptions(opts: NumberFormattingOptions & ParseLatexOptions & SerializeLatexOptions);
+    get latexOptions(): NumberFormattingOptions & ParseLatexOptions & SerializeLatexOptions;
+    set latexOptions(opts: Partial<NumberFormattingOptions> & Partial<ParseLatexOptions> & Partial<SerializeLatexOptions>);
     get jsonSerializationOptions(): JsonSerializationOptions;
     set jsonSerializationOptions(val: Partial<JsonSerializationOptions>);
     assume(symbol: LatexString | SemiBoxedExpression, domain: BoxedExpression): AssumeResult;

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

@@ -1,4 +1,4 @@
-/* 0.4.3 */
+/* 0.4.4 */
 export declare function boxRules(ce: IComputeEngine, rs: Iterable<Rule>): BoxedRuleSet;
 /**
  * Apply the rules in the ruleset and return a modified expression.

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

@@ -1,4 +1,4 @@
-/* 0.4.3 */
+/* 0.4.4 */
 /**
  * A set of simplification rules.
  *

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

@@ -1,4 +1,4 @@
-/* 0.4.3 */
+/* 0.4.4 */
 /**
  * Return the expansion of ['Multiply', lhs, rhs]
  * - lhs = 'a + b', rhs = '2'