Factor division: a useful algorithm in model reduction