impliedValues {editrules}

Retrieve values stricktly implied by rules

Description

Retrieve values stricktly implied by rules

Detects cases where two inequalities imply an equality, e.g. x\leq 0 and x\geq0 implies x=0. Also detects straight equalities, e.g. x==0 implies x=0. Such cases arise frequently when manipulating edits by value subsitution or variable elimination. The function recursively detects equalities and combined inequalities that imply fixed values, substitutes those fixed values and looks for new implied values until no new values are found.

Usage

impliedValues(E, ...)

## S3 method for class 'editmatrix'
impliedValues(E, tol = sqrt(.Machine$double.eps), ...)

Arguments

E

editmatrix

...

Currently unused

tol

Maximum deviation for two values to be considered equal.

Value

Numeric vector, whose names are variable names and values are unique values implied by the rules.

See Also

reduce, substValue, eliminate