Update 2013-08-13-取整截断函数及其在PBC中的使用.md