deflation.lib
constant getLambda
typematrix(matrixreturntype)
constant process_choice_for_i
typeint(intreturntype)
constant append_var_list
typelist(list(intreturntype))
constant remove_constants
typeidealreturntype
constant exhaust_options
typematrix(matrix(int(idealreturntype)))
constant deflateHMS
typelist(intvec(intvec(idealreturntype)))
constant complementary_ro_co_vecs
typeint(intvecreturntype)
constant certain_submats
typeintvec(intvec(matrixreturntype))
constant det_augment
typeintvec(intvec(idealreturntype))
constant deflateHW1
typeintvec(intvec(idealreturntype))
constant makeB
typeint(intreturntype)
constant makeIX
typeint(intreturntype)
constant deflateHW2
typelist(int(idealreturntype))
constant deflateLVZ
typelist(int(idealreturntype))