[math-fun] Polynomial names