JavaScript / TypeScript API

nerdamer/assumptions

Assumptions attached to symbols and helpers for reading or clearing them.

Direct npm import. The items on this page are JavaScript / TypeScript exports from nerdamer/assumptions. For functions used inside nerdamer('...'), see Nerdamer Notation.
10 exports

Functions

assume(expr: string): AssumptionFunction

Registers a numeric interval assumption in Nerdamer's global assumption state.

clearAssumptions(): voidFunction

Clears Nerdamer's process-wide assumption registry. This does not modify expressions that have already been constructed; it only changes the assumptions consulted by later comparison and simplification work.

forgetAssumptionFor(x: string | Expression): voidFunction

Removes the registered assumption for one plain variable.

getAssumptionFor(x: string | Expression): Assumption | undefinedFunction

Function exported by Nerdamer.

getAssumptions(): Map<string, Assumption>Function

Returns a snapshot of all currently registered assumptions. Changing the returned Map does not change Nerdamer's active assumptions.

Class

AssumptionClass

Describes the admissible real values of a symbolic variable as one numeric interval.

APIs

AssumptionComparison: true | false | undefinedAPI

Result of a comparison involving an interval-constrained value. true means the relation holds for every value allowed by the assumption. false means the opposite relation holds for every allowed value. undefined means both outcomes remain possible, so the relation cannot be proved from the available interval information.

AssumptionValue: Decimal | Rational | string | numberAPI

Numeric input accepted when constructing interval assumptions.

Bound: Readonly<{ … }>API

One endpoint of an Assumption interval. Infinity is always represented as an open endpoint because it is not itself a member of a real interval. value remains Decimal-facing for API compatibility; finite bounds also retain an exact rational representation internally.

ParsedAssumption: Readonly<{ … }>API

Result returned by Assumption.parse.