@cortex-js/compute-engine 0.57.0 → 0.58.0

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

@@ -1,4 +1,4 @@
-/* 0.57.0 */
+/* 0.58.0 */
 import type { OneOf } from '../common/one-of';
 import type { MathJsonExpression, MathJsonNumberObject, MathJsonStringObject, MathJsonSymbolObject, MathJsonFunctionObject, MathJsonSymbol, MathJsonDictionaryObject } from '../math-json';
 import type { Type, TypeString } from '../common/type/types';
@@ -405,6 +405,20 @@ export interface Tensor<DT extends TensorDataType> extends TensorData<DT> {
  * @category Boxed Expression
  *
  */
+/**
+ * Lower and upper bounds for a symbol extracted from a domain restriction.
+ *
+ * `lowerStrict`/`upperStrict` are `true` for strict (`<`, `>`) bounds and
+ * `false` (or `undefined`) for non-strict (`≤`, `≥`) bounds.
+ *
+ * @category Boxed Expression
+ */
+export type IntervalBounds = {
+    lower?: Expression;
+    lowerStrict?: boolean;
+    upper?: Expression;
+    upperStrict?: boolean;
+};
 export interface Expression {
     /** @internal */
     readonly _kind: string;
@@ -1372,6 +1386,60 @@ export interface Expression {
      *
      */
     simplify(options?: Partial<SimplifyOptions>): Expression;
+    /**
+     * For a relation expression (`Equal`, `Less`, `Greater`, `LessEqual`,
+     * `GreaterEqual`, `NotEqual`), return the "signed function" form
+     * useful for implicit-surface rendering and region classification:
+     *
+     * - `Equal(a, b)` → `a - b` (zero on the surface)
+     * - `Less(a, b)` / `LessEqual(a, b)` → `a - b` (negative when relation holds)
+     * - `Greater(a, b)` / `GreaterEqual(a, b)` → `b - a` (negative when relation holds)
+     * - `NotEqual(a, b)` → `a - b` (caller checks ≠ 0)
+     *
+     * For non-relation expressions, returns `undefined`.
+     *
+     * Strictness (strict vs non-strict inequality) and direction (less vs
+     * greater) are encoded in the original `expr.operator`, not in the
+     * returned expression. Callers handling 3D implicit rendering use
+     * `expr.operator` for the boundary policy and the signed function for
+     * the interior/exterior classification.
+     *
+     * Notes:
+     * - CE canonical form normalizes `GreaterEqual(a, b)` to `LessEqual(b, a)`
+     *   (and similarly `Greater` to `Less`). Callers using `toSignedFunction()`
+     *   on canonicalized parsed expressions will see `LessEqual`/`Less` rather
+     *   than `GreaterEqual`/`Greater`. The signed-function semantics are
+     *   preserved through the normalization. The `GreaterEqual`/`Greater`
+     *   branches handle non-canonical expressions constructed via
+     *   `ce.box(['GreaterEqual', ...])`.
+     * - For chained relations with more than two operands (e.g.
+     *   `Less(a, b, c)` from `a < b < c`), only the first pair is used.
+     *   The result is the signed function for the first sub-relation only;
+     *   3D implicit rendering rarely uses chained relations, but if it
+     *   does, callers should decompose first.
+     */
+    toSignedFunction(): BoxedExpression | undefined;
+    /**
+     * For an expression representing a domain restriction (a `When` whose
+     * condition is a comparison or `And` of comparisons over `symbol`, or
+     * a bare comparison expression), return the lower/upper bounds for
+     * `symbol`. Returns `undefined` if no bounds can be extracted.
+     *
+     * Supported shapes:
+     * - Bare comparisons: `a < x`, `x < b`, etc.
+     * - Chained comparisons: `a < x < b` (parsed as `Less(a, x, b)`)
+     * - `And(c1, c2, ...)` where each `ci` is a supported shape
+     * - `When(e, cond)` — operates on `cond`
+     * - `Multiply(f, When(...), ...)` — the Desmos parse shape for
+     *   `f(x)\{a < x < b\}`; bounds from each `When` factor are merged
+     *
+     * `lowerStrict`/`upperStrict` are `true` for strict (`<`, `>`) bounds
+     * and `false` for non-strict (`≤`, `≥`).
+     *
+     * Returns `undefined` for unsupported shapes (e.g. equations, non-linear
+     * constraints, comparisons over multiple symbols, disjunctions).
+     */
+    getInterval(symbol: string): IntervalBounds | undefined;
     /**
      * Return the value of the canonical form of this expression.
      *

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

@@ -1,4 +1,4 @@
-/* 0.57.0 */
+/* 0.58.0 */
 import type { TypeReference } from '../common/type/types';
 import type { BoxedType } from '../common/type/boxed-type';
 import type { LatexString } from './latex-syntax/types';

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

@@ -1,4 +1,4 @@
-/* 0.57.0 */
+/* 0.58.0 */
 export type Hold = 'none' | 'all' | 'first' | 'rest' | 'last' | 'most';
 /**
  * Options to control serialization to MathJSON when using

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

@@ -1,4 +1,4 @@
-/* 0.57.0 */
+/* 0.58.0 */
 import type { BoxedSubstitution as KernelBoxedSubstitution, CanonicalForm, CanonicalOptions, FormOption, Hold, JsonSerializationOptions, Metadata, PatternMatchOptions as KernelPatternMatchOptions, ReplaceOptions, Substitution as KernelSubstitution } from './types-kernel-serialization';
 export type { Hold, JsonSerializationOptions, ReplaceOptions, CanonicalForm, CanonicalOptions, FormOption, Metadata, };
 /**

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

@@ -1,4 +1,4 @@
-/* 0.57.0 */
+/* 0.58.0 */
 export type { MathJsonExpression, MathJsonAttributes, MathJsonNumberObject, MathJsonSymbolObject, MathJsonStringObject, MathJsonFunctionObject, DictionaryValue, MathJsonDictionaryObject, ExpressionObject, MathJsonSymbol, } from '../math-json/types';
 export * from '../common/type/boxed-type';
 export * from '../common/type/types';

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

@@ -1,4 +1,4 @@
-/* 0.57.0 */
+/* 0.58.0 */
 export { ComputeEngine } from './compute-engine/index';
 export type * from './compute-engine/types';
 export { LatexSyntax, parse as parseLatex, serialize as serializeLatex, } from './compute-engine/latex-syntax/latex-syntax';

package/dist/types/core.d.ts

@@ -1,4 +1,4 @@
-/* 0.57.0 */
+/* 0.58.0 */
 export { ComputeEngine } from './compute-engine/index';
 export type * from './compute-engine/types';
 export type { Interval, IntervalResult, BoolInterval, } from './compute-engine/interval/types';

package/dist/types/interval.d.ts

@@ -1,4 +1,4 @@
-/* 0.57.0 */
+/* 0.58.0 */
 export type { Interval, IntervalResult, BoolInterval, } from './compute-engine/interval/types';
 export { ok, point, containsExtremum, unionResults, mergeDomainClip, isPoint, containsZero, isPositive, isNegative, isNonNegative, isNonPositive, width, midpoint, getValue, unwrap, unwrapOrPropagate, } from './compute-engine/interval/util';
 export { add, sub, mul, div, negate, _mul, } from './compute-engine/interval/arithmetic';

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

@@ -1,4 +1,4 @@
-/* 0.57.0 */
+/* 0.58.0 */
  * Entry point for `@cortex-js/compute-engine/latex-syntax`.
  *
  * Provides standalone LaTeX <-> MathJSON parsing and serialization
@@ -11,4 +11,4 @@ export type { LatexSyntaxOptions } from './compute-engine/latex-syntax/latex-syn
 export { LATEX_DICTIONARY, CORE_DICTIONARY, SYMBOLS_DICTIONARY, ALGEBRA_DICTIONARY, ARITHMETIC_DICTIONARY, COMPLEX_DICTIONARY, TRIGONOMETRY_DICTIONARY, CALCULUS_DICTIONARY, LINEAR_ALGEBRA_DICTIONARY, STATISTICS_DICTIONARY, LOGIC_DICTIONARY, SETS_DICTIONARY, INEQUALITIES_DICTIONARY, UNITS_DICTIONARY, OTHERS_DICTIONARY, PHYSICS_DICTIONARY, } from './compute-engine/latex-syntax/dictionary/default-dictionary';
 export type { LatexDictionaryEntry, LatexDictionary, SerializeLatexOptions, ParseLatexOptions, LatexString, } from './compute-engine/latex-syntax/types';
 export type { MathJsonExpression } from './math-json/types';
-export declare const version = "0.57.0";
+export declare const version = "0.58.0";

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

@@ -1,4 +1,4 @@
-/* 0.57.0 */
+/* 0.58.0 */
  * Return true if the string is a valid symbol.
  *
  * Check for symbols matching a profile of [Unicode UAX31](https://unicode.org/reports/tr31/)

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

@@ -1,4 +1,4 @@
-/* 0.57.0 */
+/* 0.58.0 */
  * The following properties can be added to any MathJSON expression
  * to provide additional information about the expression.
  *

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

@@ -1,4 +1,4 @@
-/* 0.57.0 */
+/* 0.58.0 */
 export declare const MISSING: MathJsonExpression;
 export declare function isNumberExpression(expr: MathJsonExpression | null): expr is number | string | MathJsonNumberObject;
 export declare function isNumberObject(expr: MathJsonExpression | null): expr is MathJsonNumberObject;

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

@@ -1,3 +1,3 @@
-/* 0.57.0 */
+/* 0.58.0 */
 export { isSymbolObject, isStringObject, isFunctionObject, stringValue, operator, operand, symbol, mapArgs, dictionaryFromExpression, } from './math-json/utils';
-export declare const version = "0.57.0";
+export declare const version = "0.58.0";

package/dist/types/numerics.d.ts

@@ -1,4 +1,4 @@
-/* 0.57.0 */
+/* 0.58.0 */
 export type { SmallInteger, Rational, BigNum, } from './compute-engine/numerics/types';
 export type { ExactNumericValueData, NumericValueData, NumericValueFactory, } from './compute-engine/numeric-value/types';
 export { NumericValue } from './compute-engine/numeric-value/types';

package/package.json

@@ -1,5 +1,5 @@
 {
-  "version": "0.57.0",
+  "version": "0.58.0",
   "scripts": {
     "doc": "bash ./scripts/doc.sh",
     "build": "bash ./scripts/build.sh",