Edwin de Jonge

We have a slight semantic name clash with validate::errors. In `validate`, `errors` is a generic function for detecting rule evaluation errors. In `locate_errors` the term "error" is used for invalid...

```R v = 0, lin = x + y == 20 ) v$linear_coefficients() ``` generates the following: ``` $A variable validator pos x y pos -1 0 0 lin 0...

the following conditional is not simplified ```r if (x > 0 & x > 1) y > 0 ``` but can be simplified into ```r if (x > 0) y...

```r rules 0 , if (A == "a2") x > 0 ) ``` could be simplified into ```r rules 0 ) ```

add an argument to `detect_redundancy` to return the same rules as `simplify_redundancy`.

Currently all `simplify_` functions create a new validator object in which origin, description and creation time is renewed. This should be improved into: - non-changed rules should retain original meta...

Add a `scan_rules`/detect_rules function that reports on possible improvements on the rule set. This includes: - feasiblity - contradictory rules and their couterparts - redundant rules and their implicators -...