A navie approach to calculate HNF using FLINT