@cortex-js/compute-engine 0.25.0 → 0.26.0

package/dist/types/compute-engine/{symbolic → boxed-expression}/product.d.ts

@@ -1,18 +1,19 @@
-/* 0.25.0 */
+/* 0.26.0 */
 import { Rational } from '../numerics/rationals';
+import { NumericValue } from '../numeric-value/public';
 /**
  * Group terms in a product by common term.
  *
  * All the terms should be canonical.
  * - the arguments should have been flattened for `Multiply`
  *
- * - any argument of power been factored out, i.e.
+ * - any argument of power been distributed, i.e.
  *      (ab)^2 ->  a^2 b^2
  * *
  * 3 + √5 + √(x+1) + x^2 + (a+b)^2 + d
  *  -> [ [[3, "d"], [1, 1]],
  *       [[5, "x+1"], [1, 2]],
- *       [[x, "a+b"], [2, 1]]
+ *       [[1, "a+b"], [2, 1]]
  *      ]
  *
  */
@@ -21,40 +22,30 @@ export declare class Product {
         canonical?: boolean;
     };
     engine: IComputeEngine;
-    private _sign;
-    private _number;
-    private _complex;
-    private _bignum;
-    private _rational;
-    private _rationalSqrt;
-    private _terms;
-    private _hasInfinity;
-    private _hasZero;
+    coefficient: NumericValue;
+    terms: {
+        term: BoxedExpression;
+        exponent: Rational;
+    }[];
     private _isCanonical;
+    static from(expr: BoxedExpression): Product;
     constructor(ce: IComputeEngine, xs?: ReadonlyArray<BoxedExpression>, options?: {
         canonical?: boolean;
     });
-    get isEmpty(): boolean;
     /**
      * Add a term to the product.
      *
      * If `this._isCanonical` a running product of exact terms is kept.
      * Otherwise, terms and their exponent are tallied.
      */
-    addTerm(term: BoxedExpression): void;
-    /** Return all the terms with an exponent of 1 and
-     * the square root of rationals (which technically have an
-     * exponent of 1/2, but are considered as degree 1 terms)
-     */
-    unitTerms(mode: 'rational' | 'expression' | 'numeric'): {
-        exponent: Rational;
-        terms: BoxedExpression[];
-    }[] | null;
+    mul(term: BoxedExpression, exp?: Rational): void;
+    /** Divide the product by a term of coefficient */
+    div(term: NumericValue | BoxedExpression): void;
     /** The terms of the product, grouped by degrees.
      *
      * If `mode` is `rational`, rationals are split into separate numerator and
      * denominator, so that a rational expression can be created later
-     * If `mode` is `expression`, a regular expression is returned, without
+     * If `mode` is `expression`, a boxed expression is returned, without
      * splitting rationals
      * If `mode` is `numeric`, the literals are combined into one expression
      *
@@ -65,8 +56,11 @@ export declare class Product {
         exponent: Rational;
         terms: BoxedExpression[];
     }[] | null;
-    asExpression(mode?: 'N' | 'evaluate'): BoxedExpression;
+    asExpression(options?: {
+        numericApproximation: boolean;
+    }): BoxedExpression;
     /** The product, expressed as a numerator and denominator */
     asNumeratorDenominator(): [BoxedExpression, BoxedExpression];
     asRationalExpression(): BoxedExpression;
 }
+export declare function commonTerms(lhs: Product, rhs: Product): [NumericValue, BoxedExpression];