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.
9 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

Returns the interval currently registered for a plain variable.

Class

Assumption: unknownClass

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.