@cortex-js/compute-engine 0.5.0 → 0.7.0

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

@@ -0,0 +1,19 @@
+/* 0.7.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 simplifyMultiply(ce: IComputeEngine, ops: BoxedExpression[]): BoxedExpression | undefined;
+export declare function evalMultiply(ce: IComputeEngine, ops: BoxedExpression[], mode?: 'N' | 'evaluate'): BoxedExpression | undefined;
+export declare function canonicalMultiplication(ce: IComputeEngine, expr: BoxedExpression, range: BoxedExpression | undefined): BoxedExpression;
+export declare function evalMultiplication(ce: IComputeEngine, expr: BoxedExpression, range: BoxedExpression, mode: 'simplify' | 'evaluate' | 'N'): BoxedExpression | undefined;

package/dist/types/compute-engine/{dictionary → library}/arithmetic-power.d.ts

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

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

@@ -0,0 +1,2 @@
+/* 0.7.0 */
+export declare const ARITHMETIC_LIBRARY: SymbolTable[];

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

@@ -0,0 +1,2 @@
+/* 0.7.0 */
+export declare const CALCULUS_LIBRARY: SymbolTable[];

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

@@ -0,0 +1,2 @@
+/* 0.7.0 */
+export declare const COLLECTIONS_LIBRARY: SymbolTable;

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

@@ -0,0 +1,2 @@
+/* 0.7.0 */
+export declare const CORE_LIBRARY: SymbolTable[];

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

@@ -0,0 +1,15 @@
+/* 0.7.0 */
+export declare const DOMAIN_CONSTRUCTORS: string[];
+export declare const DOMAIN_ALIAS: {
+    NumericFunction: (string | string[])[];
+    RealFunction: (string | string[])[];
+    TrigonometricFunction: string[];
+    LogicOperator: (string | string[])[];
+    Predicate: (string | string[])[];
+    RelationalOperator: string[];
+};
+export declare function isDomainLiteral(s: string | null): s is DomainLiteral;
+export declare function isSubdomainLiteral(lhs: string, rhs: string): boolean;
+/** Return all the domain literals that are an ancestor of `dom`
+ */
+export declare function ancestors(dom: string): string[];

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

@@ -0,0 +1,17 @@
+/* 0.7.0 */
+import { IComputeEngine, SymbolTable } from '../public';
+export declare function getStandardLibrary(categories: LibraryCategory[] | LibraryCategory | 'all'): Readonly<SymbolTable>[];
+export declare const LIBRARIES: {
+    [category in LibraryCategory]?: Readonly<SymbolTable> | Readonly<SymbolTable>[];
+};
+/**
+ * Set the symbol table of the current context (`engine.context`) to `table`
+ *
+ * `table` can be an array of symbol tables, in order to deal with circular
+ * dependencies: it is possible to partition a library into multiple
+ * symbol tables, to control the order in which they are processed and
+ * avoid having expressions in the definition of an entry reference a symbol
+ * or function name that has not yet been added to the symbol table.
+ *
+ */
+export declare function setCurrentContextSymbolTable(engine: IComputeEngine, table: SymbolTable): void;

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

@@ -0,0 +1,2 @@
+/* 0.7.0 */
+export declare const LOGIC_LIBRARY: SymbolTable;

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

@@ -0,0 +1,2 @@
+/* 0.7.0 */
+export declare const POLYNOMIALS_LIBRARY: SymbolTable[];

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

@@ -0,0 +1,2 @@
+/* 0.7.0 */
+export declare const RELOP_LIBRARY: SymbolTable;

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

@@ -0,0 +1,2 @@
+/* 0.7.0 */
+export declare const SETS_LIBRARY: SymbolTable;

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

@@ -0,0 +1,2 @@
+/* 0.7.0 */
+export declare const TRIGONOMETRY_LIBRARY: SymbolTable[];

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

@@ -1,3 +1,3 @@
-/* 0.5.0 */
+/* 0.7.0 */
 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,7 +1,11 @@
-/* 0.5.0 */
+/* 0.7.0 */
 import { IComputeEngine } from '../public';
 export declare function gcd(a: Decimal, b: Decimal): Decimal;
 export declare function lcm(a: Decimal, b: Decimal): Decimal;
+export declare function reducedRational([a, b]: [Decimal, Decimal]): [
+    Decimal,
+    Decimal
+];
 export declare function factorial(ce: IComputeEngine, n: Decimal): Decimal;
 export declare function lngamma(ce: IComputeEngine, z: Decimal): Decimal;
 export declare function gamma(ce: IComputeEngine, z: Decimal): Decimal;

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

@@ -1,9 +1,11 @@
-/* 0.5.0 */
+/* 0.7.0 */
 export declare const MACHINE_PRECISION: number;
 export declare const MACHINE_TOLERANCE_BITS = 7;
 export declare const MACHINE_TOLERANCE: number;
 export declare const NUMERIC_TOLERANCE: number;
-export declare const SMALL_INTEGERS = 1000000;
+export declare const SMALL_INTEGER = 1000000;
+export declare const MAX_ITERATION = 1000000;
+export declare const MAX_SYMBOLIC_TERMS = 200;
 /**
  * Returns the smallest floating-point number greater than x.
  * Denormalized values may not be supported.

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

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