For linear edits, Fourier-Motzkin elimination is applied
  untill either all variables are eliminated or the
  editmatrix becomes obviously infeasible. The check rests
  on the property (Farka's lemma) that a set of linear
  inequalities is infeasible if and only if 0 < -1 can be
  derived from it.

isFeasible

Facilitates reading and manipulating (multivariate) data
        restrictions (edit rules) on numerical and categorical data.
        Rules can be defined with common R syntax and parsed to an
        internal (matrix-like format). Rules can be manipulated with
        variable elimination and value substitution methods, allowing
        for feasibility checks and more. Data can be tested against the
        rules and erroneous fields can be found based on Fellegi and
        Holt's generalized principle and rules can be visualized with
        the igraph package.

Last chance! 50% off unlimited learning

isFeasible: Check consistency of editmatrix or editarray

Description

Usage

Arguments

Value

Details