@cortex-js/compute-engine 0.22.0 → 0.23.0

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

@@ -1,4 +1,4 @@
-/* 0.22.0 */
+/* 0.23.0 */
 import { Decimal } from 'decimal.js';
 import { Expression, MathJsonNumber } from '../math-json/math-json-format';
 import type { LibraryCategory, LatexDictionaryEntry, LatexString, NumberFormattingOptions, ParseLatexOptions, SerializeLatexOptions } from './latex-syntax/public';
@@ -432,31 +432,20 @@ export declare class ComputeEngine implements IComputeEngine {
     checkContinueExecution(): void;
     /** @internal */
     cache<T>(cacheName: string, build: () => T, purge: (T: any) => T | undefined): T;
+    canonical(xs: SemiBoxedExpression[]): BoxedExpression[];
     /**
      * Return a boxed expression from the input.
      */
     box(expr: Decimal | Complex | [num: number, denom: number] | SemiBoxedExpression, options?: {
         canonical?: boolean | CanonicalForm | CanonicalForm[];
     }): BoxedExpression;
-    canonical(xs: SemiBoxedExpression[]): BoxedExpression[];
-    /**
-     * Return a function expression.
-     *
-     * Note that the result may not be a function, or may have a different
-     * `head` than the one specified.
-     *
-     * For example:
-     * `ce.fn("Rational", [ce.number(1),  ce.number(2)]))` \( \to \) `ce.number([1,2])`
-     *
-     */
-    fn(head: string, ops: BoxedExpression[], options?: {
-        canonical: boolean;
+    function(head: string, ops: SemiBoxedExpression[], options?: {
+        metadata?: Metadata;
+        canonical?: boolean;
     }): BoxedExpression;
-    /** @internal */
-    _fn(head: string | BoxedExpression, ops: BoxedExpression[], metadata?: Metadata): BoxedExpression;
     /**
      *
-     * Shortcut for `this.fn("Error"...)`.
+     * Shortcut for `this.box(["Error",...])`.
      *
      * The result is canonical.
      */
@@ -466,47 +455,54 @@ export declare class ComputeEngine implements IComputeEngine {
      * Add a`["Hold"]` wrapper to `expr.
      */
     hold(expr: SemiBoxedExpression): BoxedExpression;
-    /** Shortcut for `this.fn("Add"...)`.
+    /**
+     * Shortcut for `this.box(["Add", ...]).evaluate()`.
      *
-     * The result is canonical.
      */
-    add(ops: BoxedExpression[], metadata?: Metadata): BoxedExpression;
-    /** Shortcut for `this.fn("Negate", [expr])`
+    add(...ops: BoxedExpression[]): BoxedExpression;
+    /**
+     *
+     * Shortcut for `this.box(["Negate", expr]).evaluate()`
      *
-     * The result is canonical.
      */
-    neg(expr: BoxedExpression, metadata?: Metadata): BoxedExpression;
-    /** Shortcut for `this.fn("Multiply"...)`
+    neg(expr: BoxedExpression): BoxedExpression;
+    /**
+     *
+     * Shortcut for `this.box(["Multiply", ...]).evaluate()`
      *
-     * The result is canonical.
      */
-    mul(ops: BoxedExpression[], metadata?: Metadata): BoxedExpression;
-    /** Shortcut for `this.fn("Divide", [num, denom])`
+    mul(...ops: BoxedExpression[]): BoxedExpression;
+    /**
+     *
+     * Shortcut for `this.box(["Divide", num, denom]).evaluate()`
      *
      * The result is canonical.
      */
-    div(num: BoxedExpression, denom: BoxedExpression, metadata?: Metadata): BoxedExpression;
-    /** Shortcut for `this.fn("Sqrt"...)`
+    div(num: BoxedExpression, denom: BoxedExpression): BoxedExpression;
+    /**
+     *
+     * Shortcut for `this.box(["Sqrt", base]).evaluate()`
      *
-     * The result is canonical.
      */
-    sqrt(base: BoxedExpression, metadata?: Metadata): any;
-    /** Shortcut for `this.fn("Power"...)`
+    sqrt(base: BoxedExpression): any;
+    /**
+     *
+     * Shortcut for `this.box(["Power", base, exponent]).evaluate()`
      *
-     * The result is canonical.
      */
-    pow(base: BoxedExpression, exponent: number | Rational | BoxedExpression, metadata?: Metadata): BoxedExpression;
-    /** Shortcut for `this.fn("Divide", [1, expr])`
+    pow(base: BoxedExpression, exponent: number | Rational | BoxedExpression): BoxedExpression;
+    /**
+     *
+     * Shortcut for `this.box(["Divide", 1, expr]).evaluate()`
      *
-     * The result is canonical.
      */
-    inv(expr: BoxedExpression, metadata?: Metadata): BoxedExpression;
-    /** Shortcut for `this.fn("Pair"...)`
+    inv(expr: BoxedExpression): BoxedExpression;
+    /** Shortcut for `this.box(["Pair", ...])`
      *
      * The result is canonical.
      */
     pair(first: BoxedExpression, second: BoxedExpression, metadata?: Metadata): BoxedExpression;
-    /** Shortcut for `this.fn("Tuple"...)`
+    /** Shortcut for `this.box(["Tuple", ...])`
      *
      * The result is canonical.
      */
@@ -535,6 +531,12 @@ export declare class ComputeEngine implements IComputeEngine {
     }): BoxedExpression;
     rules(rules: Rule[]): BoxedRuleSet;
     pattern(expr: LatexString | SemiBoxedExpression): Pattern;
+    /**
+     * Return a function expression, but the caller is responsible for making
+     * sure that the arguments are canonical.
+     *
+     * @internal */
+    _fn(head: string | BoxedExpression, ops: BoxedExpression[], metadata?: Metadata): BoxedExpression;
     /**
      * Parse a string of LaTeX and return a corresponding `BoxedExpression`.
      *

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

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

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

@@ -1,4 +1,4 @@
-/* 0.22.0 */
+/* 0.23.0 */
 import { Decimal } from 'decimal.js';
 import { BoxedDomain, BoxedFunctionSignature, DomainLiteral, FunctionSignature, IComputeEngine, Rational } from './public';
 /**

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

@@ -1,4 +1,4 @@
-/* 0.22.0 */
+/* 0.23.0 */
 /***
  * ## THEORY OF OPERATIONS
  *

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

@@ -1,2 +1,2 @@
-/* 0.22.0 */
+/* 0.23.0 */
 export declare const DEFINITIONS_ALGEBRA: LatexDictionary;

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

@@ -1,2 +1,2 @@
-/* 0.22.0 */
+/* 0.23.0 */
 export declare const DEFINITIONS_ARITHMETIC: LatexDictionary;

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

@@ -1,2 +1,2 @@
-/* 0.22.0 */
+/* 0.23.0 */
 export declare const DEFINITIONS_CALCULUS: LatexDictionary;

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

@@ -1,2 +1,2 @@
-/* 0.22.0 */
+/* 0.23.0 */
 export declare const DEFINITIONS_COMPLEX: LatexDictionary;

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

@@ -1,4 +1,4 @@
-/* 0.22.0 */
+/* 0.23.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.22.0 */
+/* 0.23.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.22.0 */
+/* 0.23.0 */
 export declare const DEFINITIONS_LOGIC: LatexDictionary;

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

@@ -1,2 +1,2 @@
-/* 0.22.0 */
+/* 0.23.0 */
 export declare const DEFINITIONS_OTHERS: LatexDictionary;

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

@@ -1,2 +1,4 @@
-/* 0.22.0 */
-export declare const DEFINITIONS_INEQUALITIES: LatexDictionary;
+/* 0.23.0 */
+import { LatexDictionaryEntry } from '../public';
+export declare const DEFINITIONS_INEQUALITIES: LatexDictionaryEntry[];
+export declare function isRelationalOperator(name: BoxedExpression | string): boolean;

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

@@ -1,2 +1,2 @@
-/* 0.22.0 */
+/* 0.23.0 */
 export declare const DEFINITIONS_SETS: LatexDictionary;

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

@@ -1,2 +1,2 @@
-/* 0.22.0 */
+/* 0.23.0 */
 export declare const DEFINITIONS_STATISTICS: LatexDictionary;

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

@@ -1,3 +1,3 @@
-/* 0.22.0 */
+/* 0.23.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.22.0 */
+/* 0.23.0 */
 export declare const DEFINITIONS_TRIGONOMETRY: LatexDictionary;

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

@@ -1,4 +1,4 @@
-/* 0.22.0 */
+/* 0.23.0 */
 import { WarningSignal } from '../../../common/signals';
 export type CommonEntry = {
     /** Note: a name is required if a serialize handler is provided */
@@ -19,6 +19,7 @@ export type IndexedSymbolEntry = CommonEntry & {
 export declare function isIndexedSymbolEntry(entry: IndexedLatexDictionaryEntry): entry is IndexedSymbolEntry;
 export type IndexedExpressionEntry = CommonEntry & {
     kind: 'expression';
+    precedence: Precedence;
     parse: ExpressionParseHandler;
 };
 /** @internal */

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

@@ -1,4 +1,4 @@
-/* 0.22.0 */
+/* 0.23.0 */
 import { Serializer } from './serializer';
 import { Expression } from '../../math-json/math-json-format';
 import { WarningSignalHandler } from '../../common/signals';

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

@@ -1,4 +1,4 @@
-/* 0.22.0 */
+/* 0.23.0 */
 import { Parser } from './public';
 /** For error handling, if we have a identifier prefix, assume
  * the identifier is invalid (it would have been captured by

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

@@ -1,4 +1,4 @@
-/* 0.22.0 */
+/* 0.23.0 */
 import { IndexedLatexDictionary, IndexedLatexDictionaryEntry, IndexedInfixEntry, IndexedPostfixEntry, IndexedPrefixEntry, IndexedSymbolEntry, IndexedExpressionEntry, IndexedFunctionEntry } from './dictionary/definitions';
 import { IComputeEngine } from '../public';
 import { Expression } from '../../math-json/math-json-format';

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

@@ -1,4 +1,4 @@
-/* 0.22.0 */
+/* 0.23.0 */
 import { Expression } from '../../math-json/math-json-format';
 import type { IComputeEngine } from '../public';
 /**
@@ -163,6 +163,7 @@ export type DefaultEntry = BaseEntry & Trigger & {
 export type ExpressionEntry = BaseEntry & Trigger & {
     kind: 'expression';
     parse: Expression | ExpressionParseHandler;
+    precedence?: Precedence;
 };
 export type MatchfixEntry = BaseEntry & {
     kind: 'matchfix';
@@ -333,6 +334,7 @@ export type ParseLatexOptions = {
      */
     preserveLatex: boolean;
 };
+export type DelimiterScale = 'normal' | 'scaled' | 'big' | 'none';
 export type SerializeLatexOptions = {
     /**
      * LaTeX string used to render an invisible multiply, e.g. in '2x'.
@@ -367,8 +369,8 @@ export type SerializeLatexOptions = {
      * serialize it with this LaTeX string
      */
     missingSymbol: LatexString;
-    applyFunctionStyle: (expr: Expression, level: number) => 'paren' | 'leftright' | 'big' | 'none';
-    groupStyle: (expr: Expression, level: number) => 'paren' | 'leftright' | 'big' | 'none';
+    applyFunctionStyle: (expr: Expression, level: number) => DelimiterScale;
+    groupStyle: (expr: Expression, level: number) => DelimiterScale;
     rootStyle: (expr: Expression, level: number) => 'radical' | 'quotient' | 'solidus';
     fractionStyle: (expr: Expression, level: number) => 'quotient' | 'block-quotient' | 'inline-quotient' | 'inline-solidus' | 'nice-solidus' | 'reciprocal' | 'factor';
     logicStyle: (expr: Expression, level: number) => 'word' | 'boolean' | 'uppercase-word' | 'punctuation';
@@ -473,7 +475,12 @@ export interface Serializer {
     canonical?: boolean;
     /** Output a LaTeX string representing the expression */
     serialize: (expr: Expression | null) => string;
-    wrapString(s: string, style: 'paren' | 'leftright' | 'big' | 'none', fence?: string): string;
+    /** Output `s` surrounded by delimiters.
+     *
+     * If `delimiters` is not specified, use `()`
+     *
+     */
+    wrapString(s: string, style: DelimiterScale, delimiters?: string): string;
     /** A string with the arguments of expr fenced appropriately and separated by
      * commas.
      */
@@ -487,8 +494,8 @@ export interface Serializer {
      */
     wrapShort(expr: Expression | null): string;
     /** Styles */
-    applyFunctionStyle: (expr: Expression, level: number) => 'paren' | 'leftright' | 'big' | 'none';
-    groupStyle: (expr: Expression, level: number) => 'paren' | 'leftright' | 'big' | 'none';
+    applyFunctionStyle: (expr: Expression, level: number) => DelimiterScale;
+    groupStyle: (expr: Expression, level: number) => DelimiterScale;
     rootStyle: (expr: Expression, level: number) => 'radical' | 'quotient' | 'solidus';
     fractionStyle: (expr: Expression, level: number) => 'quotient' | 'block-quotient' | 'inline-quotient' | 'inline-solidus' | 'nice-solidus' | 'reciprocal' | 'factor';
     logicStyle: (expr: Expression, level: number) => 'word' | 'boolean' | 'uppercase-word' | 'punctuation';

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

@@ -1,4 +1,4 @@
-/* 0.22.0 */
+/* 0.23.0 */
 import { NumberFormattingOptions } from './public';
 export declare function serializeNumber(expr: Expression | null, options: NumberFormattingOptions): string;
 /**

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

@@ -1,6 +1,7 @@
-/* 0.22.0 */
-export declare function getApplyFunctionStyle(_expr: Expression, _level: number): 'paren' | 'leftright' | 'big' | 'none';
-export declare function getGroupStyle(_expr: Expression, _level: number): 'paren' | 'leftright' | 'big' | 'none';
+/* 0.23.0 */
+import { DelimiterScale } from './public.js';
+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';
 export declare function getFractionStyle(expr: Expression, level: number): 'quotient' | 'block-quotient' | 'inline-quotient' | 'inline-solidus' | 'nice-solidus' | 'reciprocal' | 'factor';
 export declare function getLogicStyle(_expr: Expression, _level: number): 'word' | 'boolean' | 'uppercase-word' | 'punctuation';

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

@@ -1,6 +1,6 @@
-/* 0.22.0 */
+/* 0.23.0 */
 import { WarningSignalHandler } from '../../common/signals';
-import { NumberFormattingOptions, LatexString, SerializeLatexOptions } from './public';
+import { NumberFormattingOptions, LatexString, SerializeLatexOptions, DelimiterScale } from './public';
 import { IndexedLatexDictionary, IndexedLatexDictionaryEntry } from './dictionary/definitions';
 export declare class Serializer {
     readonly onError: WarningSignalHandler;
@@ -12,7 +12,7 @@ export declare class Serializer {
     updateOptions(opt: Partial<NumberFormattingOptions> & Partial<SerializeLatexOptions>): void;
     /**
      * Serialize the expression, and if the expression is an operator
-     * of precedence less than or equal to prec, wrap it in some paren.
+     * of precedence less than or equal to prec, wrap it in some parens.
      * @todo: don't wrap Abs, Floor, Ceil, Delimiter
      */
     wrap(expr: Expression | null, prec?: number): string;
@@ -24,7 +24,7 @@ export declare class Serializer {
      *
      */
     wrapShort(expr: Expression | null): string;
-    wrapString(s: string, style: 'paren' | 'leftright' | 'big' | 'none', fence?: string): string;
+    wrapString(s: string, style: DelimiterScale, fence?: string): string;
     wrapArguments(expr: Expression): string;
     serializeSymbol(expr: Expression, def?: IndexedLatexDictionaryEntry): LatexString;
     serializeFunction(expr: Expression, def?: IndexedLatexDictionaryEntry): LatexString;
@@ -34,8 +34,8 @@ export declare class Serializer {
     serialize(expr: Expression | null, options?: {
         canonical?: boolean;
     }): LatexString;
-    applyFunctionStyle(expr: Expression, level: number): 'paren' | 'leftright' | 'big' | 'none';
-    groupStyle(expr: Expression, level: number): 'paren' | 'leftright' | 'big' | 'none';
+    applyFunctionStyle(expr: Expression, level: number): DelimiterScale;
+    groupStyle(expr: Expression, level: number): DelimiterScale;
     rootStyle(expr: Expression, level: number): 'radical' | 'quotient' | 'solidus';
     fractionStyle(expr: Expression, level: number): 'quotient' | 'block-quotient' | 'inline-quotient' | 'inline-solidus' | 'nice-solidus' | 'reciprocal' | 'factor';
     logicStyle(expr: Expression, level: number): 'word' | 'boolean' | 'uppercase-word' | 'punctuation';

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

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

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

@@ -1,4 +1,4 @@
-/* 0.22.0 */
+/* 0.23.0 */
 /** The canonical form of `Add`:
  * - removes `0`
  * - capture complex numbers (a + ib or ai +b)
@@ -7,5 +7,15 @@ export declare function canonicalAdd(ce: IComputeEngine, ops: BoxedExpression[])
 export declare function domainAdd(_ce: IComputeEngine, args: (undefined | BoxedDomain)[]): BoxedDomain | null | undefined;
 export declare function simplifyAdd(ce: IComputeEngine, args: BoxedExpression[]): BoxedExpression;
 export declare function evalAdd(ce: IComputeEngine, ops: BoxedExpression[], mode?: 'N' | 'evaluate'): BoxedExpression;
-export declare function canonicalSummation(ce: IComputeEngine, body: BoxedExpression, indexingSet: BoxedExpression | undefined): BoxedExpression;
-export declare function evalSummation(ce: IComputeEngine, expr: BoxedExpression, indexingSet: BoxedExpression | undefined, mode: 'simplify' | 'N' | 'evaluate'): BoxedExpression | undefined;
+export declare function canonicalSummation(ce: IComputeEngine, body: BoxedExpression, indexingSet: BoxedExpression | undefined): BoxedExpression | null;
+export declare function evalSummation(ce: IComputeEngine, summationEquation: BoxedExpression[], mode: 'simplify' | 'N' | 'evaluate'): BoxedExpression | undefined;
+/**
+ * Return a multiple of the imaginary unit, e.g.
+ * - 'ImaginaryUnit'  -> 1
+ * - ['Negate', 'ImaginaryUnit']  -> -1
+ * - ['Negate', ['Multiply', 3, 'ImaginaryUnit']] -> -3
+ * - ['Multiply', 5, 'ImaginaryUnit'] -> 5
+ * - ['Multiply', 'ImaginaryUnit', 5] -> 5
+ * - ['Divide', 'ImaginaryUnit', 2] -> 0.5
+ */
+export declare function getImaginaryCoef(expr: BoxedExpression): number;

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

@@ -1,4 +1,4 @@
-/* 0.22.0 */
+/* 0.23.0 */
 /**
  * Canonical form of 'Divide' (and 'Rational')
  * - remove denominator of 1
@@ -13,3 +13,4 @@ export declare function canonicalDivide(ce: IComputeEngine, op1: BoxedExpression
  * Simplify form of 'Divide' (and 'Rational')
  */
 export declare function simplifyDivide(ce: IComputeEngine, op1: BoxedExpression, op2: BoxedExpression): BoxedExpression | undefined;
+export declare function evalDivide(ce: IComputeEngine, op1: BoxedExpression, op2: BoxedExpression): BoxedExpression;

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

@@ -1,18 +1,16 @@
-/* 0.22.0 */
+/* 0.23.0 */
 /** The canonical form of `Multiply`:
  * - remove `1`
- * - combine literal integers and rationals
- * - any arg is literal 0 -> return 0
- * - combine terms with same base
- *    `a a^3` -> `a^4`
  * - simplify the signs:
  *    - i.e. `-y \times -x` -> `x \times y`
  *    - `2 \times -x` -> `-2 \times x`
+ * - arguments are sorted
+ * - complex numbers promoted (['Multiply', 2, 'ImaginaryUnit'] -> 2i)
  *
  * The ops must be canonical, the result is canonical.
  */
 export declare function canonicalMultiply(ce: IComputeEngine, ops: BoxedExpression[]): BoxedExpression;
 export declare function simplifyMultiply(ce: IComputeEngine, ops: BoxedExpression[]): BoxedExpression;
-export declare function evalMultiply(ce: IComputeEngine, ops: BoxedExpression[], mode?: 'N' | 'evaluate'): BoxedExpression | undefined;
-export declare function canonicalProduct(ce: IComputeEngine, body: BoxedExpression | undefined, indexingSet: BoxedExpression | undefined): BoxedExpression;
-export declare function evalMultiplication(ce: IComputeEngine, expr: BoxedExpression, indexingSet: BoxedExpression | undefined, mode: 'simplify' | 'evaluate' | 'N'): BoxedExpression | undefined;
+export declare function evalMultiply(ce: IComputeEngine, ops: BoxedExpression[], mode?: 'N' | 'evaluate'): BoxedExpression;
+export declare function canonicalProduct(ce: IComputeEngine, body: BoxedExpression | undefined, indexingSet: BoxedExpression | undefined): BoxedExpression | null;
+export declare function evalMultiplication(ce: IComputeEngine, summationEquation: BoxedExpression[], mode: 'simplify' | 'N' | 'evaluate'): BoxedExpression | undefined;

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

@@ -1,4 +1,4 @@
-/* 0.22.0 */
+/* 0.23.0 */
 /**
  *
  */
@@ -6,3 +6,5 @@ export declare function canonicalPower(ce: IComputeEngine, base: BoxedExpression
 export declare function square(ce: IComputeEngine, base: BoxedExpression): BoxedExpression;
 export declare function processPower(ce: IComputeEngine, base: BoxedExpression, exponent: BoxedExpression, mode: 'simplify' | 'evaluate' | 'N'): BoxedExpression | undefined;
 export declare function processSqrt(ce: IComputeEngine, base: BoxedExpression, mode: 'simplify' | 'evaluate' | 'N'): BoxedExpression | undefined;
+export declare function isSqrt(expr: BoxedExpression): boolean;
+export declare function asRationalSqrt(expr: BoxedExpression): Rational | null;

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

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

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

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

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

@@ -1,3 +1,3 @@
-/* 0.22.0 */
+/* 0.23.0 */
 export declare const DEFAULT_LINSPACE_COUNT = 50;
 export declare const COLLECTIONS_LIBRARY: IdentifierDefinitions;

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

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

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

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

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

@@ -1,3 +1,3 @@
-/* 0.22.0 */
+/* 0.23.0 */
 export declare const CORE_LIBRARY: IdentifierDefinitions[];
 export declare function canonicalInvisibleOperator(ce: IComputeEngine, ops: BoxedExpression[]): BoxedExpression | null;

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

@@ -1,4 +1,4 @@
-/* 0.22.0 */
+/* 0.23.0 */
 export declare const DOMAIN_CONSTRUCTORS: string[];
 export declare const DOMAIN_ALIAS: {
     Functions: (string | string[])[];

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

@@ -1,4 +1,4 @@
-/* 0.22.0 */
+/* 0.23.0 */
 import { FunctionDefinition, IComputeEngine, IdentifierDefinitions, SymbolDefinition } from '../public';
 export declare function getStandardLibrary(categories: LibraryCategory[] | LibraryCategory | 'all'): readonly IdentifierDefinitions[];
 export declare const LIBRARIES: {

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

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

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

@@ -1,2 +1,2 @@
-/* 0.22.0 */
+/* 0.23.0 */
 export declare const LOGIC_LIBRARY: IdentifierDefinitions;

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

@@ -1,2 +1,2 @@
-/* 0.22.0 */
+/* 0.23.0 */
 export declare const POLYNOMIALS_LIBRARY: IdentifierDefinitions[];

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

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

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

@@ -1,2 +1,2 @@
-/* 0.22.0 */
+/* 0.23.0 */
 export declare const RELOP_LIBRARY: IdentifierDefinitions;

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

@@ -1,2 +1,2 @@
-/* 0.22.0 */
+/* 0.23.0 */
 export declare const SETS_LIBRARY: IdentifierDefinitions;

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

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

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

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

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

@@ -1,12 +1,32 @@
-/* 0.22.0 */
+/* 0.23.0 */
 /**
  * Assume the caller has setup a scope. The index
  * variable will be declared in that scope.
  *
  * @param indexingSet
+
+ * IndexingSet is an expression describing an index variable
+ * and a range of values for that variable.
+ *
+ * The MultiIndexingSet function takes an expression of the form
+ * \sum_{i=1,j=1}^{10,10} x and returns an array of expressions
+ * ["Sum","x",["Triple","i",1,10],["Triple","j",1,10]
+ */
+export declare function MultiIndexingSet(indexingSet: BoxedExpression | undefined): BoxedExpression[] | undefined;
+/**
+ * Assume the caller has setup a scope. The index
+ * variable will be declared in that scope.
+ *
+ * @param indexingSet
+
+ * IndexingSet is an expression describing an index variable
+ * and a range of values for that variable.
  *
+ * The SingleIndexingSet function takes an expression of the form
+ * \sum_{i=1}^{10} x and returns an array of expressions
+ * ["Sum","x",["Triple","i",1,10]
  */
-export declare function canonicalIndexingSet(indexingSet: BoxedExpression | undefined): BoxedExpression | undefined;
+export declare function SingleIndexingSet(indexingSet: BoxedExpression | undefined): BoxedExpression | undefined;
 /**
  * IndexingSet is an expression describing an index variable
  * and a range of values for that variable.
@@ -27,3 +47,5 @@ export declare function normalizeIndexingSet(limits: BoxedExpression | undefined
     upper: number,
     isFinite: boolean
 ];
+export declare function cartesianProduct(array1: number[], array2: number[]): number[][];
+export declare function range(start: number, end: number): number[];

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

@@ -0,0 +1,27 @@
+/* 0.23.0 */
+import Decimal from 'decimal.js';
+import { BoxedExpression, Rational } from '../public';
+/**
+ * Attempt to factor a numeric coefficient `c` and a `rest` out of a
+ * canonical expression `expr` such that `ce.mul(c, rest)` is equal to `expr`.
+ *
+ * Attempts to make `rest` a positive value (i.e. pulls out negative sign).
+ *
+ * The numeric coefficient could be an expression, for example:
+ * ['Multiply', 2, ['Sqrt', 5], 'x']
+ *    -> [['Multiply', 2, ['Sqrt', 5]], 'x']
+ *
+ * ['Multiply', 2, 'x', 3, 'a']
+ *    -> [6, ['Multiply', 'x', 'a']]
+ *
+ * ['Divide', ['Multiply', 2, 'x'], ['Multiply', 3, 'y', 'a']]
+ *    -> [['Rational', 2, 3], ['Divide', 'x', ['Multiply, 'y', 'a']]]
+ */
+export declare function asCoefficient(expr: BoxedExpression): [coef: Rational, rest: BoxedExpression];
+export declare function applyCoefficient(value: number | Decimal | Complex | Rational | null, coef: Rational): number | Decimal | Complex | Rational | null;
+/** Combine rational expressions into a single fraction */
+export declare function together(op: BoxedExpression): BoxedExpression;
+/**
+ * Return a list of expressions that multiply together to form `expr`.
+ */
+export declare function factor(expr: BoxedExpression): BoxedExpression;