Function

forgetAssumptionFor

forgetAssumptionFor(x: string | Expression): void

Removes the registered assumption for one plain variable.

remarks

Passing an expression that is not a plain variable, or a name with no registered assumption, is a no-op. Other assumptions are left unchanged.

Parameters

Name	Type	Description
`x`	`string \| Expression`	Plain variable expression or variable name to forget.

void