Naive Implementation for computation of HNF