@cortex-js/compute-engine 0.6.0 → 0.7.0

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

@@ -1,4 +1,4 @@
-/* 0.6.0 */
+/* 0.7.0 */
 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.6.0 */
+/* 0.7.0 */
 /**
  * A set of simplification rules.
  *

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

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

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

@@ -1,4 +1,4 @@
-/* 0.6.0 */
+/* 0.7.0 */
 /**
  * Flatten the arguments.
  * If `expr` was canonical, the result it canonical.

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

@@ -1,4 +1,4 @@
-/* 0.6.0 */
+/* 0.7.0 */
 /**
  * Distribute `Negate` (multiply by -1) if expr is a number literal, an
  * addition or another `Negate`.

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

@@ -1,4 +1,4 @@
-/* 0.6.0 */
+/* 0.7.0 */
 /**
  * Coefficient of a univariate (single variable) polynomial.
  *

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

@@ -1,4 +1,4 @@
-/* 0.6.0 */
+/* 0.7.0 */
 /**
  * Group terms in a product by common term.
  *

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

@@ -1,4 +1,4 @@
-/* 0.6.0 */
+/* 0.7.0 */
 export declare class Sum {
     private engine;
     private _literal;
@@ -11,7 +11,7 @@ export declare class Sum {
     /**
      * Add a new term to the sum.
      * A term is a rational coefficient and an expression.
-     * Optinally, the term is multiplied by the constant `c` before beind added.
+     * Optionally, the term is multiplied by the constant `c` before being added.
      *
      * If the sum already has this term, the coefficient is added
      * to the previous one. Otherwise, a new entry is added.

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

@@ -1,4 +1,4 @@
-/* 0.6.0 */
+/* 0.7.0 */
 /**
  * If expression is a product or a division, collect all the terms with a
  * negative exponents in the denominator, and all the terms

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

@@ -1,4 +1,4 @@
-/* 0.6.0 */
+/* 0.7.0 */
 export { ComputeEngine } from './compute-engine/compute-engine';
-export declare const version = "0.6.0";
+export declare const version = "0.7.0";
 export { getVars } from './compute-engine/boxed-expression/utils';

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

@@ -1,24 +1,21 @@
-/* 0.6.0 */
-    /** A human readable string to annotate an expression, since JSON does not
+/* 0.7.0 */
+    /** A human readable string to annotate this expression, since JSON does not
      * allow comments in its encoding */
     comment?: string;
     /** A Markdown-encoded string providing documentation about this expression.
      */
     documentation?: string;
-    /** A human readable string to indicate a syntax error or
-     * other problem when parsing or evaluating an expression.
-     */
-    error?: string;
-    /** A visual representation in LaTeX of the expression.
+    /** A visual representation of this expression as a LaTeX string.
      *
      * This can be useful to preserve non-semantic details, for example
-     * parentheses in an expression or styling attributes
+     * parentheses in an expression or styling attributes.
      */
     latex?: string;
     /**
-     * A short string indicating an entry in a wikibase.
+     * A short string referencing an entry in a wikibase.
+     *
+     * For example:
      *
-     * For example
      * `"Q167"` is the [wikidata entry](https://www.wikidata.org/wiki/Q167)
      *  for the `Pi` constant.
      */
@@ -43,36 +40,43 @@
      * The default value is "http://www.openmath.org/cd".
      */
     openmathCd?: string;
-    /**  A url to the source of this expression.
+    /**  A URL to the source code from which this expression was generated.
      */
     sourceUrl?: string;
-    /** The source from which this expression was generated.
+    /** The source code from which this expression was generated.
      *
-     * It could be a LaTeX expression, or some other source language
+     * It could be a LaTeX expression, or some other source language.
      */
     sourceContent?: string;
     /**
      * A character offset in `sourceContent` or `sourceUrl` from which this
-     * expression was generated
+     * expression was generated.
      */
     sourceOffsets?: [start: number, end: number];
 };
 /**
  * A MathJSON numeric quantity.
  *
- * The string is made of:
+ * The `num` string is made of:
  * - an optional `-` minus sign
  * - a string of decimal digits
- * - an optional fraction part (a `.` decimal point followed by decimal digits)
+ * - an optional fraction part (a `.` decimal marker followed by decimal digits)
+ * - an optional repeating decimal pattern: a string of digits enclosed in
+ *    parentheses
  * - an optional exponent part (a `e` or `E` exponent marker followed by an
- *   optional `-` minus sign, followed by a string of digits).
- * - an optional format suffix:
- *    - `n` to indicate the number is a BigInt
- *    - `d` to indicate the number is an arbitrary precision Decimal number
- *      and may contain more digits or exponents with a greater magnitude than
- *      can be represented with a 64-bit floating point number.
+ *   optional `-` minus sign, followed by a string of digits)
+ *
+ * It can also consist of the value `NaN`, `-Infinity` and `+Infinity` to
+ * represent these respective values.
+ *
+ * A MathJSON number may contain more digits or an exponent with a greater
+ * range than can be represented in an IEEE 64-bit floating-point.
  *
- * For example: `-12.34`, `0.234e-56`, `123454e9999d`.
+ * For example:
+ * - `-12.34`
+ * - `0.234e-56`
+ * - `1.(3)`
+ * - `123456789123456789.123(4567)e999`
  */
 export declare type MathJsonNumber = {
     num: 'NaN' | '-Infinity' | '+Infinity' | string;

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

@@ -1,4 +1,4 @@
-/* 0.6.0 */
+/* 0.7.0 */
 /**
  * These constants are the 'primitive' functions and constants that are used
  * for some basic manipulations such as parsing, and transforming to canonical
@@ -32,12 +32,13 @@ export declare function isDictionaryObject(expr: Expression): expr is MathJsonNu
  * (i.e. not a function and not a dictionary)
  */
 export declare function isAtomic(expr: Expression | null): boolean;
+export declare function isValidSymbolName(s: string): boolean;
 /**  If expr is a string literal, return it.
  *
  * A string literal is a JSON string that begins and ends with
  * **U+0027 APOSTROPHE** : **`'`** or an object literal with a `str` key.
  */
-export declare function stringValue(expr: Expression | null): string | null;
+export declare function stringValue(expr: Expression | null | undefined): string | null;
 /**
  * The head of a function can be a string or an expression.
  *
@@ -47,34 +48,38 @@ export declare function stringValue(expr: Expression | null): string | null;
  * * `["Negate", 5]`  -> `"Negate"`
  * * `[["Prime", "f"], "x"]` -> `["Prime", "f"]`
  */
-export declare function head(expr: Expression | null): Expression | null;
+export declare function head(expr: Expression | null | undefined): Expression | null;
 /** Return the head of an expression, only if it's a string */
 export declare function headName(expr: Expression | null): string;
-export declare function op(expr: Expression | null, n: number): Expression | null;
-export declare function nops(expr: Expression): number;
-export declare function symbol(expr: Expression | null): string | null;
-export declare function string(expr: Expression | null): string | null;
+export declare function op(expr: Expression | null | undefined, n: number): Expression | null;
+/**
+ * Return all the elements but the first one, i.e. the arguments of a
+ * function.
+ */
+export declare function ops(expr: Expression | null | undefined): Expression[] | null;
+export declare function op1(expr: Expression | null | undefined): Expression | null;
+export declare function op2(expr: Expression | null | undefined): Expression | null;
+export declare function nops(expr: Expression | null | undefined): number;
+export declare function symbol(expr: Expression | null | undefined): string | null;
 export declare function dictionary(expr: Expression | null): null | Record<string, Expression>;
-export declare function machineValue(expr: Expression | null): number | null;
+export declare function machineValue(expr: Expression | null | undefined): number | null;
 /**
  * Return a rational (numer over denom) representation of the expression,
  * if possible, `[null, null]` otherwise.
  *
  * The expression can be:
- * - Some symbols: "ThreeQuarte", "Half"...
+ * - Some symbols: "Infinity", "Half"...
  * - ["Power", d, -1]
  * - ["Power", n, 1]
  * - ["Divide", n, d]
  *
  * The denominator is always > 0.
  */
-export declare function rationalValue(expr: Expression): [number, number] | [null, null];
-/**
- * Return all the elements but the first one, i.e. the arguments of a
- * function.
- */
-export declare function tail(expr: Expression | null): Expression[];
+export declare function rationalValue(expr: Expression | undefined | null): [number, number] | [null, null];
 export declare function applyRecursively(expr: Expression, fn: (x: Expression) => Expression): Expression;
+export declare function subs(expr: Expression, s: {
+    [symbol: string]: Expression;
+}): Expression;
 /**
  * Apply a function to the arguments of a function and return an array of T
  */
@@ -93,4 +98,5 @@ export declare function asValidJSONNumber(num: string): string | number;
  */
 export declare function applyAssociativeOperator(op: string, lhs: Expression, rhs: Expression, associativity?: 'right' | 'left' | 'non' | 'both'): Expression;
 export declare function getSequence(expr: Expression | null): Expression[] | null;
-export declare function isValidSymbolName(s: string): boolean;
+export declare function isEmptySequence(expr: Expression | null): boolean;
+export declare function missingIfEmpty(expr: Expression | null): Expression;

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

@@ -1,4 +1,4 @@
-/* 0.6.0 */
-export { isAtomic, isSymbolObject, isStringObject, isFunctionObject, isDictionaryObject, stringValue as getStringValue, head, headName, symbol, tail, applyRecursively, mapArgs, op, nops, dictionary as getDictionary, asValidJSONNumber, } from './math-json/utils';
+/* 0.7.0 */
+export { isAtomic, isSymbolObject, isStringObject, isFunctionObject, isDictionaryObject, stringValue as getStringValue, head, headName, symbol, applyRecursively, mapArgs, op, nops, dictionary as getDictionary, asValidJSONNumber, } from './math-json/utils';
 export type { LatexToken, ParseHandler, SerializeHandler, LatexDictionaryEntry, LatexDictionary, ParseLatexOptions, SerializeLatexOptions, NumberFormattingOptions, } from './compute-engine/latex-syntax/public';
-export declare const version = "0.6.0";
+export declare const version = "0.7.0";

package/package.json

@@ -1,5 +1,5 @@
 {
-  "version": "0.6.0",
+  "version": "0.7.0",
   "scripts": {
     "build": "bash ./scripts/build.sh",
     "clean": "bash ./scripts/clean.sh",
@@ -47,41 +47,41 @@
   },
   "devDependencies": {
     "@cortex-js/prettier-config": "^1.1.1",
-    "@jest/console": "^27.5.1",
-    "@rollup/plugin-commonjs": "^21.0.3",
-    "@rollup/plugin-node-resolve": "^13.1.3",
-    "@types/jest": "^27.4.1",
-    "@types/node": "^17.0.23",
-    "@typescript-eslint/eslint-plugin": "^5.18.0",
-    "@typescript-eslint/parser": "^5.18.0",
-    "@typescript-eslint/typescript-estree": "^5.18.0",
+    "@jest/console": "^29.0.3",
+    "@rollup/plugin-commonjs": "^22.0.2",
+    "@rollup/plugin-node-resolve": "^14.0.1",
+    "@types/jest": "^29.0.0",
+    "@types/node": "^18.7.16",
+    "@typescript-eslint/eslint-plugin": "^5.36.2",
+    "@typescript-eslint/parser": "^5.36.2",
+    "@typescript-eslint/typescript-estree": "^5.36.2",
     "chalk": "^5.0.1",
     "check-node-version": "^4.2.1",
     "child_process": "^1.0.2",
     "chokidar": "^3.5.3",
-    "eslint": "^8.12.0",
+    "eslint": "^8.23.0",
     "eslint-config-prettier": "^8.5.0",
     "eslint-plugin-import": "^2.26.0",
     "eslint-plugin-no-unsanitized": "^4.0.1",
-    "eslint-plugin-prettier": "^4.0.0",
+    "eslint-plugin-prettier": "^4.2.1",
     "estrella": "^1.4.1",
-    "jest": "^27.5.1",
+    "jest": "^29.0.3",
     "jest-silent-reporter": "^0.5.0",
     "open": "^8.4.0",
-    "prettier": "^2.6.2",
-    "rollup": "^2.70.1",
+    "prettier": "^2.7.1",
+    "rollup": "^2.79.0",
     "rollup-plugin-copy": "^3.4.0",
     "rollup-plugin-eslint": "^7.0.0",
     "rollup-plugin-terser": "^7.0.2",
     "rollup-plugin-typescript2": "latest",
-    "serve-http": "^1.0.6",
-    "ts-jest": "^27.1.4",
-    "typescript": "^4.6.3",
-    "update-notifier": "^5.1.0"
+    "serve-http": "^1.0.7",
+    "ts-jest": "^29.0.0",
+    "typescript": "^4.8.3",
+    "update-notifier": "^6.0.2"
   },
   "prettier": "@cortex-js/prettier-config",
   "dependencies": {
-    "complex.js": "^2.1.0",
-    "decimal.js": "^10.3.1"
+    "complex.js": "^2.1.1",
+    "decimal.js": "^10.4.0"
   }
 }

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

@@ -1,11 +0,0 @@
-/* 0.6.0 */
-/** The canonical form of `Add`:
- * - removes `0`
- * - adds up small integers and rational numbers
- * - capture complex numbers (a + ib or ai +b)
- * - groups repeated terms (a + a -> 2a)
- * */
-export declare function canonicalAdd(ce: IComputeEngine, ops: BoxedExpression[]): BoxedExpression;
-export declare function domainAdd(_ce: IComputeEngine, args: BoxedExpression[]): Domain | string | null;
-export declare function numEvalAdd(ce: IComputeEngine, args: BoxedExpression[]): BoxedExpression;
-export declare function processAdd(ce: IComputeEngine, args: BoxedExpression[], _mode: 'simplify' | 'evaluate'): BoxedExpression | undefined;

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

@@ -1,9 +0,0 @@
-/* 0.6.0 */
-/**
- * Canonical form of 'Divide' (and 'Rational')
- * - remove denominator of 1
- * - simplify the signs
- * - factor out negate (make the numerator and denominator positive)
- * - if Divide, transform into Multiply/Power
- */
-export declare function canonicalDivide(ce: IComputeEngine, op1: BoxedExpression, op2: BoxedExpression): BoxedExpression;

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

@@ -1,17 +0,0 @@
-/* 0.6.0 */
-/** The canonical form of `Multiply`:
- * - remove `1`
- * - combine literal small integers and rationals
- * - any arg is literal 0 -> return 0
- * - simplify signs
- * - combine terms with same base
- *    `a a^3` -> `a^4`
- * - simplify the signs:
- *    - i.e. `-2 \times -3` -> `2 \times 3`
- *    - `2 \times -x` -> `-2 \times x`
- *
- * The ops must be canonical, the result is canonical.
- */
-export declare function canonicalMultiply(ce: IComputeEngine, ops: BoxedExpression[]): BoxedExpression;
-export declare function processMultiply(ce: IComputeEngine, ops: BoxedExpression[], _mode: 'simplify' | 'evaluate'): BoxedExpression | undefined;
-export declare function numEvalMultiply(ce: IComputeEngine, ops: BoxedExpression[]): BoxedExpression | undefined;

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

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

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

@@ -1,2 +0,0 @@
-/* 0.6.0 */
-export declare const COLLECTIONS_DICTIONARY: Dictionary;

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

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

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

@@ -1,26 +0,0 @@
-/* 0.6.0 */
-import { IComputeEngine, Dictionary } from '../public';
-export declare function getDefaultDictionaries(categories?: DictionaryCategory[] | 'all'): Readonly<Dictionary>[];
-export declare const DICTIONARIES: {
-    [category in DictionaryCategory]?: Readonly<Dictionary> | Readonly<Dictionary>[];
-};
-/**
- * Set the dictionary of the current context (`engine.context`) to `dicts`
- *
- * `dicts` can be an array of dictionaries, in order to deal with circular
- * dependencies: it is possible to partition a dictionary into multiple
- * sub-dictionary, to control the order in which they are processe and
- * avoid having expressions in the definition of an entry reference a symbol
- * or function name that has not yet been added to the dictionary.
- *
- * Specifically:
- * - Expressions (for values, evaluate, domain, isElementOf, etc..) are boxed
- * - The domain of entries is inferred and validated:
- *  - check that domains are in canonical form
- *  - check that domains are consistent with declarations
- *
- */
-export declare function setCurrentContextDictionary(engine: IComputeEngine, dicts: Dictionary | Dictionary[] | undefined): void;
-/**
- * For debugging: a textual representation of the inheritance chain of sets.
- */

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

@@ -1,2 +0,0 @@
-/* 0.6.0 */
-export declare const LOGIC_DICTIONARY: Dictionary;

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

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

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

@@ -1,2 +0,0 @@
-/* 0.6.0 */
-export declare const RELOP_DICTIONARY: Dictionary;

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

@@ -1,2 +0,0 @@
-/* 0.6.0 */
-export declare const SETS_DICTIONARY: Dictionary;

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

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