python函数式编程数学数论