Method constructor

src/compute-engine/index.ts:503–578

* Construct a new `ComputeEngine` instance. * * Symbols tables define functions, constants and variables (in `options.ids`). * If no table is provided the MathJSON Standard Library is used (`ComputeEngine.getStandardLibrary()`) * * @param options.precision Specific how many digits of

(options?: {
    libraries?: readonly (string | LibraryDefinition)[];
    precision?: number | 'machine';
    tolerance?: number | 'auto';
    latexSyntax?: ILatexSyntax;
    latexOptions?: Partial<ParseLatexOptions & SerializeLatexOptions>;
  })

    11: null,
    12: null,
    36: null,
  };

  /** @internal Interned `BoxedType`s for primitive type names (P-BOX).
   * Primitive names can never be shadowed by a user-declared type, so a
   * per-engine singleton is safe — and identity-stable, which keeps caches
   * keyed on `BoxedType` identity (e.g. the R-D5 display projection) from
   * missing on every `engine.type('number')`. */
  private _commonTypes = new Map<string, BoxedType>();

  /**
   * The stack of evaluation contexts.
   *
   * An **evaluation context** tracks the current lexical scope and
   * assumptions. Symbol values are stored in their definitions, not here.
   */
  _evalContextStack: EvalContext[] = [];

  /** The current evaluation context */
  get context(): EvalContext {
    return this._evalContextStack[this._evalContextStack.length - 1];
  }

  get contextStack(): ReadonlyArray<EvalContext> {
    return [...this._evalContextStack];
  }

  set contextStack(stack: ReadonlyArray<EvalContext>) {
    this._evalContextStack = [...stack];
  }

  /** The engine-level type registry: one namespace of declared types per
   * engine, world state alongside symbol assignment. Types are NOT lexically
   * scoped (`docs/TYPE-SYSTEM.md`).
   * @internal */
  readonly _typeRegistry: Record<string, TypeReference> = Object.create(null);

  /** The engine-level PROTOCOL registry — the second kind of registry entry
   * (`docs/TYPE-SYSTEM.md`), engine-global for the
   * same reason types are: a conformance is a fact about a TYPE, not about a
   * position in a scope chain. Protocol names are NOT types (P8).
   * @internal */
  readonly _protocolRegistry: Record<string, ProtocolRecord> =
    Object.create(null);

  /** Backing store for {@link _conformanceVersion}. */
  private _conformanceVersionCounter = 0;

  /** See `IComputeEngine._conformanceVersion`. @internal */
  get _conformanceVersion(): number {
    return this._conformanceVersionCounter;
  }

  /** See `IComputeEngine._noteConformanceRegistryChange`. @internal */
  _noteConformanceRegistryChange(): void {
    this._conformanceVersionCounter += 1;
  }