sesaparcours
    Preparing search index...

    Type Alias SymbolDefinition

    SymbolDefinition: BaseDefinition & Partial<SymbolAttributes> & {
        domain?: DomainLiteral | BoxedDomain;
        flags?: Partial<NumericFlags>;
        inferred?: boolean;
        value?:
            | LatexString
            | SemiBoxedExpression
            | ((ce: IComputeEngine) => SemiBoxedExpression | null);
    }

    A bound symbol (i.e. one with an associated definition) has either a domain (e.g. ∀ x ∈ ℝ), a value (x = 5) or both (π: value = 3.14... domain = TranscendentalNumbers)

    Type Declaration

    • Optionaldomain?: DomainLiteral | BoxedDomain
    • Optionalflags?: Partial<NumericFlags>
    • Optionalinferred?: boolean

      If true, the domain is inferred, and could be adjusted later as more information becomes available or if the symbol is explicitly declared.

    • Optionalvalue?:
          | LatexString
          | SemiBoxedExpression
          | ((ce: IComputeEngine) => SemiBoxedExpression | null)

      value can be a JS function since for some constants, such as Pi, the actual value depends on the precision setting of the ComputeEngine and possible other environment settings

    Settings

    Member Visibility