deflation.lib
constant getLambda
constant process_choice_for_i
constant append_var_list
constant remove_constants
constant exhaust_options
constant deflateHMS
constant complementary_ro_co_vecs
constant certain_submats
constant det_augment
constant deflateHW1
constant makeB
constant makeIX
constant deflateHW2
constant deflateLVZ