no, no infinite loop in Sage HNF