RE: [math-fun] minimax polynomials