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.
impliedValues(E, ...)# S3 method for editmatrix
impliedValues(E, tol = sqrt(.Machine$double.eps), ...)
Numeric vector, whose names are variable names and values are unique values implied by the rules.
editmatrix
Currently unused
Maximum deviation for two values to be considered equal.
reduce
, substValue
, eliminate