strongly_unimodular (315B)
1 # Strongly unimodular 2 3 Matrix which is [totally_unimodular] and any matrix obtained by setting +/-1 entries to 0 is also [totally_unimodular], cf [crama1992decomposition] 4 5 equivalent notion in terms of [matrix_base] 6 7 ensures that [matrix_ilp] is [integral] and can be solved with [linear_programming] 8 9 Up: [matrix]