Re: [math-fun] more polynomial factor heights