[math-fun] more polynomial factor heights