doc
option for HNF to maintain matrix dimensions