@cortex-js/compute-engine 0.56.0 → 0.58.0

package/dist/types/compute-engine/symbolic/simplify-trig.d.ts

@@ -1,2 +1,2 @@
-/* 0.56.0 */
+/* 0.58.0 */
 export declare function simplifyTrig(x: Expression): RuleStep | undefined;

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

@@ -1,4 +1,4 @@
-/* 0.56.0 */
+/* 0.58.0 */
 import { Expression, IComputeEngine as ComputeEngine, DataTypeMap, TensorDataType, TensorField } from '../global-types';
 /** @category Tensors */
 export declare function makeTensorField<DT extends keyof DataTypeMap>(ce: ComputeEngine, dtype: DT): TensorField<DataTypeMap[DT]>;

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

@@ -1,4 +1,4 @@
-/* 0.56.0 */
+/* 0.58.0 */
 /** @category Tensors */
 export declare abstract class AbstractTensor<DT extends keyof DataTypeMap> implements Tensor<DT> {
     private ce;

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

@@ -1,4 +1,4 @@
-/* 0.56.0 */
+/* 0.58.0 */
 import type { Type, TypeString } 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-engine.d.ts

@@ -1,4 +1,4 @@
-/* 0.56.0 */
+/* 0.58.0 */
 import type { OneOf } from '../common/one-of';
 import type { MathJsonSymbol, MathJsonNumberObject } from '../math-json';
 import type { Type, TypeString, TypeResolver } from '../common/type/types';
@@ -25,6 +25,14 @@ export interface ILatexSyntax {
     parse(latex: string, options?: Partial<ParseLatexOptions>): import('../math-json/types').MathJsonExpression | null;
     serialize(expr: import('../math-json/types').MathJsonExpression, options?: Record<string, unknown>): string;
 }
+export type OperatorInfo = {
+    kind: 'function' | 'opaque';
+    signature?: BoxedType;
+};
+export type SymbolInfo = {
+    kind: 'constant' | 'variable';
+    type: BoxedType;
+};
 /** @internal */
 export interface IComputeEngine {
     /** The LatexSyntax instance used for LaTeX parsing/serialization.
@@ -75,6 +83,7 @@ export interface IComputeEngine {
     timeLimit: number;
     iterationLimit: number;
     recursionLimit: number;
+    maxCollectionSize: number;
     chop(n: number): number;
     chop(n: BigNum): BigNum | 0;
     chop(n: number | BigNum): number | BigNum;
@@ -360,6 +369,47 @@ export interface IComputeEngine {
     _reset(): void;
     /** @internal */
     listenToConfigurationChange(tracker: ConfigurationChangeListener): () => void;
+    /**
+     * Introspect a registered operator head.
+     *
+     * Returns `undefined` if no definition is registered in this engine.
+     * Otherwise returns `{ kind, signature? }` where `kind` is `'function'`
+     * when the operator has an `evaluate` or `collection` handler, and
+     * `'opaque'` when it is declared as a typed-but-opaque node (e.g.,
+     * `Triangle`, `Sphere`).
+     *
+     * Use this to classify heads encountered in parsed MathJSON without
+     * maintaining a parallel list of "known" operators.
+     */
+    operatorInfo(head: string): OperatorInfo | undefined;
+    /**
+     * Convert a LaTeX identifier string to its canonical MathJSON name without
+     * declaring the symbol in the engine scope.
+     *
+     * Examples:
+     * - `'R_{3}'` → `'R_3'`
+     * - `'\\theta_x'` → `'theta_x'`
+     * - `'\\alpha'` → `'alpha'`
+     * - `'1 + 2'` → `''` (not an identifier)
+     *
+     * Use this instead of `ce.parse(latex).symbol` when you need the canonical
+     * name without the side-effect of auto-declaring the symbol.
+     */
+    normalizeIdentifier(latex: string): string;
+    /**
+     * Return introspection metadata for a symbol (value definition) in the
+     * current scope chain.
+     *
+     * - `kind: 'constant'` when the symbol is a CE-registered constant
+     *   (e.g. `Pi`, `True`, `ExponentialE`).
+     * - `kind: 'variable'` for declared but non-constant value symbols
+     *   (e.g. after `ce.declare('a', 'real')`).
+     *
+     * Returns `undefined` for unknown names and for names that resolve to
+     * operator/function definitions (use `operatorInfo()` for those — the
+     * two methods are non-overlapping).
+     */
+    symbolInfo(name: string): SymbolInfo | undefined;
 }
 declare module './types-expression' {
     interface ExpressionComputeEngine extends IComputeEngine {

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

@@ -1,4 +1,4 @@
-/* 0.56.0 */
+/* 0.58.0 */
 import type { IComputeEngine as ComputeEngine } from './types-engine';
 import type { Expression, ExpressionInput } from './types-expression';
 import type { Assumption as KernelAssumption, AssumeResult, AssignValue as KernelAssignValue, BoxedRule as KernelBoxedRule, BoxedRuleSet as KernelBoxedRuleSet, EvaluateOptions as KernelEvaluateOptions, EvalContext as KernelEvalContext, ExpressionMapInterface as KernelExpressionMapInterface, Rule as KernelRule, RuleConditionFunction as KernelRuleConditionFunction, RuleFunction as KernelRuleFunction, RuleReplaceFunction as KernelRuleReplaceFunction, RuleStep as KernelRuleStep, RuleSteps as KernelRuleSteps, Scope as KernelScope } from './types-kernel-evaluation';

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

@@ -1,4 +1,4 @@
-/* 0.56.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.56.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.56.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.56.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.56.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.56.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.56.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.56.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.56.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.56.0";
+export declare const version = "0.58.0";

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

@@ -1,4 +1,4 @@
-/* 0.56.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.56.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.56.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.56.0 */
+/* 0.58.0 */
 export { isSymbolObject, isStringObject, isFunctionObject, stringValue, operator, operand, symbol, mapArgs, dictionaryFromExpression, } from './math-json/utils';
-export declare const version = "0.56.0";
+export declare const version = "0.58.0";

package/dist/types/numerics.d.ts

@@ -1,4 +1,4 @@
-/* 0.56.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.56.0",
+  "version": "0.58.0",
   "scripts": {
     "doc": "bash ./scripts/doc.sh",
     "build": "bash ./scripts/build.sh",