home

$B\in\mathbb{Z}^{n\times n}\rightarrow B'_{HNF}\in\mathbb{Z}^{n\times n}$