Documentation moved.
This entry is now part of the unified function reference. Open the unified page →
Function
src/index.ts:872nerdamer.assume
nerdamer.assume(expr: string): Assumptionnerdamer.assume(symbol: string, exprOrAssumption: string | Assumption): AssumptionRegisters a process-wide numeric interval assumption.
remarks
Repeated constraints for a variable are intersected. Assumptions are consulted by symbolic comparisons and by algorithms that depend on those comparisons. The root compatibility API intentionally uses global state in 2.0; callers that need to clear or inspect it directly can use the documented assumption-domain functions.
Parameters
| Name | Type | Description |
|---|---|---|
expr | string | Complete constraint in the supported assumption grammar. |
Returns
Assumption — The registered interval after intersection with any existing constraint.