compact {lintools} | R Documentation |
A system of linear (in)equations can be compactified by removing
zero-rows and zero-columns (=variables). Such rows and columns may
arise after substitution (see subst_value
) or eliminaton
of a variable (see eliminate
).
compact(
A,
b,
x = NULL,
neq = nrow(A),
nleq = 0,
eps = 1e-08,
remove_columns = TRUE,
remove_rows = TRUE,
deduplicate = TRUE,
implied_equations = TRUE
)
A |
[ |
b |
[ |
x |
[ |
neq |
[ |
nleq |
[ |
eps |
[ |
remove_columns |
[ |
remove_rows |
[ |
deduplicate |
[ |
implied_equations |
[ |
A list
with the following elements.
A
: The compactified version of input A
b
: The compactified version of input b
x
: The compactified version of input x
neq
: number of equations in new system
nleq
: number of inequations of the form a.x<=b
in the new system
cols_removed
: [logical
] indicates what elements of x
(columns of A
) have been removed
It is assumend that the system of equations is in normalized form (see link{normalize}
).